模型论语义学（model-theoretic semantics），文学-语言文字-语义学，一种基于模型论的语义学理论。德裔美籍哲学家A.塔斯基最早把形式化的模型论纳入集合理论，并为逻辑语言提供了形式化的模型论语义分析，是为模型论语义学的肇始。根据这一理论，句子的真值和句子中非逻辑表达式的语义指称都依赖于某种抽象物体，即模型。模型本身是一种数学结构，是基于集合论构建的语言所涉及的外部世界，它将外部世界的个体和关系转换为模型中的个体、集合及各种集合关系。因为语言和世界及世界和模型之间存在对应关系，所以语言和模型之间也就建立起了对应关系。从而，模型可以为语言表达提供解读，决定句子的真值和非逻辑表达式的语义指称。模型论语义学最早用于数理逻辑中的语义分析。20世纪70年代，美国语言学家R.蒙塔古在他的三篇论文中提出，自然语言和形式语言之间具有相似性，自然语言的语义也可以应用模型论语义学进行分析。由此，模型论语义学与自然语言研究结合产生了蒙塔古语法，并成为自然语言语义研究中的一种普遍理论。蒙塔古语法最重要的三个方面是真值条件意义、语义的模型论解读、组合性原则。