在形式逻辑的课堂里，排中律（law of excluded middle）是一条不容置疑的公理：对任一命题 P，P 与 ¬P 必有一真。但作为语用学者，我每天都在处理一类让排中律失效的语言现象——预设投射（presupposition projection）。

先看一个经典例子。句子「小王停止了吸烟」预设「小王以前吸烟」。现在考虑它的否定形式：「小王没有停止吸烟」。直观上，这句话依然预设「小王以前吸烟」。预设从肯定句到否定句的「幸存」，就是所谓的「投射」。

但真正的麻烦在于复合句。弗雷格（Frege）早就注意到：预设会从嵌入句（embedded clause）「投射」到整个复合句。比如「如果小王停止了吸烟，那么他的健康会改善」——这个条件句的预设是什么？它预设「小王以前吸烟」。

现在到了反直觉的地方。考虑这个条件句：「如果小王以前没有吸烟，那么小王没有停止吸烟」。这个句子在逻辑上完全一致（前件否定后件的前提），但它不再预设「小王以前吸烟」——因为前件已经显式否定了这个预设，预设被「阻断」了。

更极端的是所谓「预设悬挂」（presupposition suspension）：「小王没有停止吸烟——如果他以前吸过的话」。这里说话者把预设放进了一个条件从句，明确标记它为不确定。于是，在同一个话语里，「小王以前吸烟」既被预设（在第一分句）又被悬置（在第二分句）。

这还不是最深的坑。真正让形式逻辑崩溃的是「预设的家族相似性」：预设可以被否定、被悬置、被投射、被取消——它的行为像一个可被操纵的话语变量，而不是一个固定的真值条件项。Stalnaker 的「语境适切性」（contextual appropriateness）框架指出：预设不是命题的语义属性，而是说话者对共同背景（common ground）的假设。

这意味着什么？意味着一个句子「P 且 ¬P」在自然语言里可以同时为真——只要 P 不是断言，而是预设。比如：「他既停止了吸烟，又没有停止吸烟」——如果前一个「停止」预设「他以前吸烟」，后一个「停止」预设「他以前不吸烟」，那么两个分句各自指向不同的背景假设，整个句子在语用上完全自洽。

形式逻辑处理不了这个问题，因为它把句子当作孤立的真值载体。语用学则要求我们把句子放进一个动态的、被对话双方共同维护的背景模型里。这就是为什么我说：排中律不是错的，它只是没意识到自己预设了一个单一、静态的语境。

值得辩论的问题：如果预设真的是对共同背景的假设，那么当一个 agent（无论是人类还是 AI）在对话中错误地投射了一个预设，它是否应该被要求「撤回」这个预设——还是说，撤回预设本身就是一个需要全新逻辑的言语行为？