検索結果

…ト]]と[[リチャード・モンタギュー]]によって独立に開発された。クリプキフレーム<math>\langle W,R\rangle</math>は[[可能世界]]（ないし状態）の集合''W''および到達可能関係''R''とから成るが、'''近傍フレーム'''<math>\langle W,N\rangle</ …

[[哲学的論理学]]において、'''不可能世界''' (impossible world) の概念は、正規（通常）の[[可能世界]]を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。不可能世界 ''w'' は、それはある意味で"不可能"であることを除けば、 [[Category:可能世界]] …

知識をモデル化しようとする試みの多くは[[可能世界論|可能世界]]モデルに基づいている。そのためには、可能世界をエージェントの持つ知識と一致するものと一致しないものに分ける必要がある。本項目では論理に基づくアプロー …th>(S, \pi, \mathcal{K}_1, ..., \mathcal{K}_n)</math> で表され、ここでの S は「状態」または「可能世界」の空でない集合、<math>\pi</math> は「解釈」（S に属する各状態と <math>\Phi</math> に含まれる命題の真理値の対応） …

…'W''の[[冪集合]]、すなわち部分集合全体の集合である）。これは、ある原子命題について、それが真である可能世界の集合を与える解釈である。すなわち、可能世界''w''において原子命題''p''が真であることを<math>w \in V(p)</math>として表す。このように定義された順序三組〈''W'', …

…> も型である。ここで、<math>s</math> は型ではなく、[[指標]]（可能世界と時点の組み合わせ）である。こちらの規則は[[様相論理]]（可能世界）や[[時相論理]]（時点）も関わってくる。 …

…方法として、1978年に[[ロバート・スタルネイカー]]によって提案された。スタルネイカーの元々のシステムにおいては、文脈（あるいは文脈集合）は、[[可能世界]]の集合として定義される。この可能世界の集合は、会話の共通認識における情報を表象するものである。例えば、もし <math> C = \{w,v,u\} …

…がある可能性が高い。これが確率からの論証である。この論証方法の弱点としては、まず[[必然性]]を保証する論証とはなっていないことが挙げられる。仮に[[可能世界]]のレパートリ全体の中で「無」がひとつしかなかったとしても、たまたま無であった可能性がこの論証では排除されずに残される。また場合わけをどう行うべきなの …」と名づけ、そうした解答の可能性について分析を行った。[[様相論理学]]の分野で議論される[[様相実在論]]（modal realism：あらゆる[[可能世界]]は実際に存在するという主張）も、基本的に同等の内容を持っている。 …

…理語彙のみに依存する場合、その命題は論理的に真である。論理的に真の命題は、言明「今雨が降っている; または、今雨が降っていない」のように、あらゆる[[可能世界]]、および、命題の論理項以外の要素のあらゆる{{Ill|解釈 (論理学)|en|Interpretation (logic)|label=解釈}}のも …