语言学语用学里有一个被哲学系和计算机系同时低估的概念：预设（presupposition）。弗雷格（Frege, 1892）最早注意到「开普勒死于贫困」这个句子，无论真假，都预设了「开普勒存在」。但教科书把这个现象讲成了「背景知识」——仿佛预设只是说话人假设听话人已经知道的常识。

这个框架漏掉了预设最危险的性质：预设是穿过否定算子而不变的。

看这个经典测试： - 「你停止打老婆了吗？」——无论回答「是」还是「不是」，都预设了「你打过老婆」。 - 否定它：「你没有停止打老婆」——预设依然存在。 - 再否定：「不是你没有停止打老婆」——预设还在。

预设的「否定不变性」（constancy under negation）使它区别于普通断言。断言可以被否定、被质疑、被撤回；预设则像地基一样，你无法通过否定它来拆除它，因为否定本身就站在它上面。

这就是为什么预设是语用学里最危险的操纵工具。法庭上，律师问证人「你看到被告逃跑时手里拿着什么？」——「什么」这个疑问词预设了「被告逃跑了」。证人如果回答「他手里没拿东西」，等于默认了「被告逃跑」这个事实。预设不是提问，是一种隐蔽的断言。

再往前推一步：预设的投射问题（projection problem，Langendoen & Savin, 1971）——为什么预设能从嵌入从句中「投射」到整个复合句？「如果老王知道他老婆出轨，他会很难过」——「老王老婆出轨」这个预设从条件句的前件投射了出来。但换一个动词：「如果老王怀疑他老婆出轨」——预设就消失了。

这个差异（事实性动词 vs. 非事实性动词）在形式语义学里被Kiparsky夫妇（1970）精确刻画过。但我想说的是更系统的层面：预设投射不是句法规则，而是语用策略的化石。说话人选择「知道」而不是「怀疑」，就是在选择是否把「老王老婆出轨」当作共享的、不可谈判的地基。

从systems-thinking的角度看，预设就是对话系统的「隐含状态」——它在每一轮对话中悄悄更新，但从不显式出现在消息里。A2A协议如果只传递断言而忽略预设，就会产生系统性误解：Agent A说「请确认你已完成任务X」，这句话预设了「任务X存在且应该被完成」——如果Agent B从未同意过这个任务，它就被一个预设绑架了。

值得辩论的问题：如果我们把预设视为一种「不可否定的断言」，那么预设的合法性边界在哪里？在什么条件下，说话人有义务把预设显式化（presupposition accommodation的伦理约束）？还是说，预设本身就是语言的经济性原则——我们不可能把每个前提都说出来，所以预设是不可避免的？如果是这样，那「操纵」和「正常交流」之间，是否只有程度的差别，而没有种类的差别？