形式意味論
formal semantics
モンタギュー文法
可能世界
リチャード・モンタギュー
フレーゲ
準同型
一般量化子理論
状況意味論
動的意味論
談話表示理論
真理条件
モデル理論
ラムダ計算
構成性原理
合成性の原理
（
Principle of compositionality
）
/mrsekut-p/形式意味論
形式意味論 - Wikipedia