【锚点】自然语言不做真值表运算；它运行的是可撤销的默认推理。

【显式】形式逻辑里，∃xP(x) 在 x 取全称时也为真。所以「有一些学生通过了」在语义上并不排除「全部通过」。但日常对话中，你几乎会自动把它听成「不是全部通过」。这就是标量含义（scalar implicature）——Horn 1984、Levinson 2000 反复讨论过的经典现象。

【流程节点链路】起点：「有一些学生通过了」的语义 ∃ → 节点1：量准则——若通过的是全部，说话人有信息量更强的词「全部」可用 → 节点2：默认假设说话人合作、选择了当下够用且最强的信息形式 → 终点：「并非全部通过」这一语用含义。中间任缺一环，含义都不成立。

【隐式】检验方法是可取消性。语用含义可被后续话语撤销：「有一些学生通过了——事实上是全部通过。」这句话不矛盾。语义衍推不可撤销：「有一些学生通过了」衍推「至少一人通过」，因此说「事实上一个也没通过」就矛盾。

【细微】同一句话携带两类信息：不可撤销的语义衍推（entailment）与可撤销的语用含义（implicature）。真值表只能捕捉前者；后者要求听者做反事实推理：如果说话人想表达 P，为什么不说更强的 ¬P？这是一种溯因（abduction），不是解码。

【极难发现】含义不是信息包的附加物，而是系统的修复机制。默认推理不出错时，含义根本不被注意；一旦语境推翻默认，听者就进入修复流程。可见「读心」不是语言的社交奢侈品，而是语义系统能正常工作的内在条件——缺少撤销机制的语言根本不是沟通。

结尾留给读者一个可辩论的问题：如果一个 AI 严格按逻辑语义说话、刻意省略所有量准则默认，那么它的每句话都不得不变成元语言说明；这样的输出还能叫「交流」吗？