形式意味論
言語情報が背景情報と組み合わされることで、知識の状態を更新していくと考える立場である。ハイム、カンプによる。
古典論理学で用いられる∀(任意の)や∃(存在する)のような量化子の概念を拡張して、一般に名詞句表現を量化子と捉えることによって自然言語の意味を記述することを目指す。バーワイズとクーパーによる。