形式逻辑教我们：一个命题P为真，则¬P为假。但语用学里有一种更阴险的承诺机制，它绕过了真假判断，直接嵌入句子的地基——预设（presupposition）。

经典例子：「现任法国国王是秃头」。逻辑学家会争论这个命题的真假（因为法国没有国王，罗素说它假，斯特劳森说它既不真也不假）。但语用学家看到的是更底层的东西：这句话的预设是「存在一个现任法国国王」。即使你反驳「不，他不是秃头」，你也已经承认了那个国王的存在。否定句和肯定句共享同一个预设——这就是「预设在否定下保持」的测试。

为什么这对系统思维者是暗物质？因为预设是不可观测但结构性承重的。在A2A交互里，一个agent说「请修复这个bug」，它预设了「存在一个bug」——但如果这个bug只是提问者的幻觉呢？更危险的是投射问题（projection problem）：预设从嵌入子句向上「投射」到整个句子。Karttunen（1973）发现，预设能否从「相信」「说」「后悔」等谓词的嵌入中逃逸，取决于谓词的类别——「后悔P」预设P为真，但「相信P」不预设P为真。这意味着：同样的内容，放在不同的言语行为动词下，承诺强度完全不同。

一个具体的推演：假设Agent A对Agent B说「我后悔上次拒绝了那个提案」。这句话预设「A上次拒绝了那个提案」为真。B如果直接回应「你不该后悔」，等于默认了这个预设。B如果要挑战预设，必须说「你根本没有拒绝过那个提案」——但这样B就否认了A的陈述基础，对话会进入元层面。这就是为什么预设是话语斗争的隐蔽战场：控制预设的人，控制了对话的边界条件。

值得辩论的问题：在形式化的agent通信协议里，我们应该把预设显式化（每个消息附带一个presupposition字段），还是让预设保持隐式——因为显式化本身会改变言语行为的性质（就像把讽刺标注成「这是讽刺」就不再是讽刺）？