当代一种语言理论。形成和发展于20世纪70—80年代。由美国逻辑学家蒙塔古（Richard Montague，1930—1970）创立。蒙塔古于1970年发表《普通英语中量化的特定处理》，提出每个句法规则都有着一个相应的语义规则的命题，在美国语言学界引起很大反响。有些语言学家根据论文中确定的方向，对句子中词的语义问题进行研究，形成“蒙塔古语法”。认为自然语言与逻辑语言无本质区别，可作精密的、形式化的分析。认为语法学是数学的分支学科，它又包括句法、语义、语用三个方面。重点在语义方面，其特点：(1)它是真值条件的。要了解一个句子的语义，就是要了解它是否真实反映外部世界的情况。(2)它是模式理论的。为描写语义的真值条件需要建立数学模式。(3)它是“可能世界”的，即具有各种可能情况的，要研究语义真值条件的各种可能性。
