近傍意味論のソースを表示


'''近傍意味論'''、もしくは'''スコット゠モンタギュー意味論'''は、[[様相論理]]の形式意味論である。この意味論は、様相論理に対するクリプキ意味論の一般化であり、[[デイナ・スコット]]と[[リチャード・モンタギュー]]によって独立に開発された。クリプキフレーム<math>\langle W,R\rangle</math>は[[可能世界]]（ないし状態）の集合''W''および到達可能関係''R''とから成るが、'''近傍フレーム'''<math>\langle W,N\rangle</math>は、可能世界の集合''W''と次のような近傍関数''N''とから成る。

: <math> N : W \to 2^{2^W} </math>

''N''は、''W''の要素を取って''W''の部分集合の集合を返す関数である。直観的には、''N(w)''は''w''において必然的であるような命題の集合を表す（ただし''w''∈''W''とする）。ここで命題は''W''の部分集合として定義されるものとする（すなわち命題は、その命題がそこで真となるような可能世界の集合として定義される）。

□''A''の真理条件は、次のように定義される。

: <math> M,w\models\square A \Longleftrightarrow (A)^M \in N(w)</math>

ただし、''M''は近傍フレーム上のモデルであり、また、

: <math>(A)^M = \{u\in W \mid M,u\models A \}</math>

とする。

近傍意味論は、正規様相論理'''K'''よりも弱い古典様相論理のために用いられる。

== クリプキモデルと近傍モデルの対応関係 ==

どのクリプキモデル M = (W,R,V) に対しても、次のように定義することで、同等な近傍モデル M' = (W,N,V) が作れる。

: <math> N(w) = \{(A)^M: M,w\models\Box A\}</math>

しかし逆は成り立たない。すなわち、どの近傍モデルに対してもそれに対応するクリプキモデルが作れる、ということはない。この事実は、近傍モデルがクリプキモデルの一般化であるという指摘に正確な意味を与える。別の（おそらくより自然な）クリプキモデルの一般化は、{{仮リンク|一般フレーム|en|General frame}}である。

== 参考文献 ==

* Scott, D.  "Advice on modal logic", in ''Philosophical Problems in Logic'', ed. Karel Lambert.  Reidel, 1970.
* Montague, R. "Universal Grammar", ''Theoria'' 36, 373–98, 1970.
* Chellas, B.F.  ''Modal Logic''.  Cambridge University Press, 1980.

{{デフォルトソート:きんほういみろん}}
[[Category:論理学]]
[[Category:様相論理]]
[[Category:数学に関する記事]]
[[Category:哲学的論理学]]

{{logic-stub}}