模型论和蒙塔古语义学
蒙塔古语义学采用类型化的内涵逻辑，以完全组合的方式将自然语言表达式的指称赋予模型论解释。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
模型论语义学根据形式模型解释表达式；蒙塔古语义学是使用类型化内涵逻辑和同态句法-语义映射对自然语言进行此项工作的具体方案。
Scope
本主题涵盖自然语言模型论语义学的形式化工具：包含个体域、可能世界和时间的模型；语义类型和类型化λ演算；以及将表达式解释为这些域上的函数。它以蒙塔古的《普通英语量化处理的正确方法》（PTQ）为中心，以及将英语以形式逻辑的严谨性进行处理的更广泛计划，包括内涵和外延，以及将名词短语分析为广义量词。
Core questions
- 自然语言的表达式如何在形式模型中被赋予指称？
- 语义类型和λ演算在组合解释中扮演什么角色？
- 内涵和外延如何区分，为什么需要可能世界？
- 蒙塔古的处理方法如何处理量词短语和范围？
Key concepts
- 可能世界
- 内涵与外延
- 语义类型
- 类型化λ演算
- 广义量词
- 同态句法-语义映射
- 内涵逻辑
Key theories
- 量化的正确处理 (PTQ)
- 蒙塔古的英语片段，其中句法规则与语义解释规则一一对应，名词短语表示广义量词，内涵逻辑处理不透明性和模态性。
- 类型理论和内涵逻辑
- 表达式被赋予由基本类型（实体、真值）以及可能的世界/时间构建的类型；内涵是从可能世界到外延的函数，捕捉不透明和模态语境的意义。
History
蒙塔古在弗雷格、卡尔纳普的内涵/外延区分以及塔尔斯基模型论的基础上，于1970年前后发表了一系列论文，其中最著名的是PTQ，他认为英语可以被视为一种具有模型论语义的形式语言。道蒂、沃尔和彼得斯的教科书使语言学家能够接触到这些技术工具，该框架也成为现代形式语义学的基础。
Debates
- 可能世界内涵与粒度问题
- 将意义视为从可能世界到外延的函数，错误地将所有必然等价的表达式等同起来，从而促使人们提出更细粒度、结构化或超内涵的意义概念。
Key figures
- Richard Montague
- Barbara Partee
- David Dowty
- Stanley Peters
Related topics
Seminal works
- montague1974
- dowtywallpeters1981
Frequently asked questions
- 内涵和外延有什么区别？
- 表达式的外延是它在给定世界中的指称（例如，实际的狗集合），而它的内涵是为每个可能世界产生外延的函数（大致上是概念），这是解释模态和不透明语境所必需的。