量化与辖域

量化研究“每个”、“一些”和“大多数”等表达的语义，而辖域则关注它们的相对顺序如何产生不同的解释。

Definition

量化是量化限定词和名词短语的语义；辖域是量词、否定词和情态词等算子的相对语义顺序，它决定了一个句子的解读。

Scope

本主题涵盖广义量词理论，该理论将限定词短语视为表示集合之间或集合的集合之间的关系，以及自然语言量词所表现出的形式属性（单调性、保守性）。它还涵盖辖域歧义，即包含多个量词（或一个量词和否定词）的句子具有多种解读，以及为推导这些歧义而提出的句法和语义机制（如量词提升）。

Core questions

• 量化限定词表示什么，它们遵循哪些语义普遍性？
• 为什么包含多个量词的句子会有多种解读？
• 什么机制从句法结构中推导出辖域关系？
• 为什么某些逻辑上可能的辖域解读不可用？

Key concepts

• 广义量词
• 保守性
• 单调性（向上/向下蕴涵）
• 辖域歧义
• 量词提升
• 逻辑形式

Key theories

广义量词理论

限定词表示集合之间的关系（或名词短语表示集合的集合），从而允许对“每个”、“一些”、“大多数”和“少数”进行统一处理，并揭示了保守性等普遍性。

量词提升和逻辑形式

辖域歧义是通过将量词短语隐性地移动到逻辑形式层面的位置来推导的，其相对辖域从所得结构中读取。

History

将名词短语视为广义量词的处理方法，在数理逻辑中由Mostowski和Lindstrom预示，并由Barwise和Cooper在1981年有影响力的论文中应用于自然语言，该论文揭示了保守性等语义普遍性。关于辖域的研究，借鉴了May的量词提升概念，将这些语义见解与句法理论联系起来，并在Heim和Kratzer的教科书中得到了巩固。

Debates

辖域的句法与类型转换解释

辖域歧义是最好通过隐性句法移动（量词提升）还是通过原位语义机制（如类型转换和延续）来推导。

Key figures

• Jon Barwise
• Robin Cooper
• Edward Keenan
• Irene Heim
• Angelika Kratzer

Seminal works

• barwisecooper1981
• heimkratzer1998

Frequently asked questions

什么是辖域歧义？

这是一个句子，根据哪个算子具有更广的辖域而有多种解读，例如“每个学生都读了一些书”，这可能意味着每个学生读了一本可能不同的书，或者有一本书是所有学生都读过的。