内涵照应

# 内涵回指

来源：https://arxiv.org/abs/2608.12598
查看 PDF（https://arxiv.org/pdf/2608.12598）

> 摘要：内涵算子通常被视为可能世界上的量词，这与把限定词视为个体上的量词的处理方式并行。然而，在内涵语境中引入的个体，并不像在纯粹量化语境中引入的个体那样容易充当后续代词的先行语。例如，“每个人都在吃芝士汉堡”（Everyone is eating a cheeseburger）后面可以接“它们很大”（They are large），其中“它们”指代正在被吃的芝士汉堡。然而，正如Stone（1999）所指出的，类似的表达“Andrea可能正在吃芝士汉堡”（Andrea might be eating a cheeseburger）并不支持“它很大”（It is large）或“它们很大”（They are large）等后续回指。Stone（1999）、Stone和Hardt（1999）以及Brasoveanu（2010）通过要求代词的值（其指称对象）存在于评价世界中来解决这一问题，从而排除了来自非真实性内涵语境回指的可能性。然而，我们展示了两种情形：一种是即使代词的指称对象明确存在，此类回指仍不被允许；另一种是即使指称对象可能不存在，回指却被允许。我们认为，内涵回指最好用基于描述而非基于值的理论来刻画。代词预设其对应的先行语描述在语境集中的每个世界中都被实例化。因此，要使“它很大”在“Andrea可能正在吃芝士汉堡”之后显得自然，每个候选世界中都必须存在一个正被Andrea吃的芝士汉堡。我们通过一种新的逻辑来实现我们的提议，该逻辑建立在Keshet（2018）以及Abney和Keshet（2022）的基础上，称为复数内涵预设谓词演算（PIP）。每个PIP公式都直接翻译为带集合抽象的标准一阶谓词演算，为这项工作提供了经典逻辑基础。

## 提交历史

来自：Ezra Keshet [查看电子邮件（https://arxiv.org/show-email/b2548c9c/2608.12598）] **\[v1\]** 2026年8月12日星期三 21:11:59 UTC（72 KB）