蒙塔古语义学（Montague semantics），文学-语言文字-语义学，一种对自然语言作精密的、形式化描写的语法理论。由美国逻辑学家、语言学家R.蒙塔古于20世纪70年代初期创立。蒙塔古认为自然语言和人工语言（逻辑语言）中的语形和语义可以通过某种单一自然的和数学上的精准理论进行转换，并试图运用数理逻辑来研究自然语言（尤其是对语义学的研究）。一般认为，蒙塔古语法的语言学基础包括范畴语法和转换生成语法。根据蒙塔古语法的论述，一部语法大致分为三个部分：自然语言的句法，包括一个词库，一套语类和一套句法规则；翻译规则；内涵语义逻辑，包括句法学和语义学两个部分。蒙塔古认为内涵语义逻辑比其他逻辑体系在解释和表达语言歧义以及词语内涵与外延的关系上更有优势。根据蒙塔古的理论，动词可以分为两大类：一类动词所带宾语只有内涵没有外延或具体所指;另一类动词所带宾语既有内涵又有外延和所指。因此，该理论可以很好地解释①中两句话所存在的差异：①a. Peter seeks a unicorn.（彼得寻找一只独角兽。）b. Peter finds a unicorn.（彼得找到一只独角兽。