状況理論

状況理論は状況意味論に数学的基礎を与えるもので、1980年代にジョン・バーワイズやキース・デブリンなどの著者によって発展させられました。特定の基礎的問題のため、数学は非基礎集合論の枠組みで組み立てられました。状況理論と状況意味論の関係は、型理論とモンタギュー意味論の関係に似ていると考えることができます。

理論における型は、基本型の初期コレクションから始めて、2 つの形式の型抽象化を適用することによって定義されます。

基本タイプ:

• TIM: 時間的場所のタイプ
• LOC: 空間的な場所の種類
• IND: 個人のタイプ
• RELn: n 個の場所の関係のタイプ
• SIT: 状況の種類
• INF: インフォンのタイプ
• TYP: 型の型
• PAR: パラメータの型
• POL: 極性のタイプ (0 または 1)

インフォンは基本型で構成されています。たとえば、l が場所である場合、l は LOC 型であり、インフォン <<of-type, l, LOC, 1>> は事実です。

• 情勢（哲学）

• ジョン・バーワイズ、「状況と小さな世界」、『論理における状況』、CSLI 講義ノート第 17 号、79 ～ 92 ページ、1987 年。
• キース・デブリン著『論理と情報』49～51頁、1991年。

• エドワード・N・ザルタ「状況と世界理論における25の基本定理」『哲学論理学ジャーナル』 22（1993年）：385-428。