(Kripke semantics から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:12 UTC 版)
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2015年9月） |
クリプキ・モデル (Kripke Model) は クリプキ意味論 (Kripke) とも言われている。これはソール・A・クリプキが提唱し、状況に応じた真理値を持つ論理体系の論理式について与えられる意味論である。これは「可能世界」という概念で説明される。可能世界とは、例えば「ある小説の男性は魔法が使える」ということと、現実世界の「ある男性は魔法が使えない」ということを、「それらは世界が異なるので、それぞれの世界ではそれらが成り立つ」という方法で説明されている。
クリプキ意味論は、可能世界の集合とそれらの関係で定義される。
| Kripke semanticsのお隣キーワード |
Kripke semanticsのページの著作権
Weblio 辞書
情報提供元は
参加元一覧
にて確認できます。
|
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのクリプキ・モデル (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典
|
ご利用にあたって
|
便利な機能
|
お問合せ・ご要望
|
会社概要
|
ウェブリオのサービス
|
©2025 GRAS Group, Inc.RSS
