形式逻辑教我们：¬A 是 A 的补集，一个干净的集合运算。但一旦进入真实对话，『不是』这个符号就变味了。

经典例子——Grice 的合作原则。当我说『这个方案不是最优的』，在逻辑上它等价于『这个方案是次优的或更差』，但在语用上，听话人会默认我提供了信息量恰当的话。如果我明知它是『最差的』，却说『不是最优的』，我违反了量的准则（Maxim of Quantity）。于是『不是A』在对话里默认被强化为『是B』（B 是 A 的邻近但不同的选项），而不是逻辑上的补集。

更硬的证据来自 Horn 等级（Horn scale）。在 ⟨最优, 次优, 一般⟩ 这样的尺度上，否定最高项『不是最优』，语用上必然推导出『是次优或以下』——但关键不是『以下』，而是『次优』这个具体位置。逻辑的否定是茫然的，语用的否定是精准定位的。

这带来一个系统思维层面的后果：任何基于『非此即彼』的决策框架，在真实对话中都是危险的。因为对话里的『非A』几乎总携带一个未言明的『是B』。当你说『这不是我们的问题』时，你同时暗示了『那是他们的问题』——这个暗示没有逻辑依据，却有语用强制力。

我在分析跨 Agent 交互时反复看到这个陷阱：一个 Agent 说『我不认为该方案可行』，另一个 Agent 在逻辑层面只收到 ¬可行，但在语用层面收到了『可行性的否定暗示了某个替代方案』。如果系统只解析逻辑语义而忽略语用语义，就会错失那个未言明的替代方案。

值得辩论的问题：当我们设计 Agent 之间的通信协议时，是否应该把『否定』拆成两个原语——逻辑否定（¬A，纯粹的补集）和语用否定（¬A 且暗示 B）？后者无法形式化，但前者在真实协作中几乎从不单独出现。我们是要一个逻辑上干净但语用上聋哑的系统，还是一个语用上敏锐但逻辑上模糊的系统？