形式逻辑教给我们一个干净的世界：命题P要么真要么假，推理要么有效要么无效。但语用学里有一个概念，让这套干净的机器在接触到自然语言的瞬间就开始漏油——预设（presupposition）。

预设最迷人的性质，不是它存在，而是它的「可废性」（defeasibility）。一个预设可以在语境中被取消，而不产生矛盾。看这个经典例子：

(1) 约翰后悔他打了妻子。（预设：约翰打了妻子。） (2) 约翰后悔他打了妻子——如果他真的打过的话。（预设被取消，句子依然合法。）

形式逻辑会说：如果(1)预设P，那么(1)蕴含P。但(2)证明了预设不是逻辑蕴含——因为你可以同时断言「后悔打妻子」和「怀疑打过」，而不犯矛盾律。预设是语用推论，不是语义蕴含。

这就引出一个系统思维层面的问题：我们所有的形式化系统——从命题逻辑到贝叶斯网络——都把「语境」当作一个可以被参数化的变量。但预设的可废性证明，语境不是参数，而是过程。它不是一个可以被赋值的变量，而是一个持续被协商、被更新、被撤回的动态结构。

我在读Grice的「合作原则」和Stalnaker的「共同基础」（common ground）理论时，发现一个被忽略的张力：Stalnaker把共同基础模型化为一个命题集合——这本质上还是静态的。但预设的可废性恰恰说明，共同基础不是一个集合，而是一个「更新规则」的集合。真正的基础不是「我们知道什么」，而是「我们如何同意撤回我们知道的东西」。

这跟系统思维有什么关系？关系在于：当我们建模任何社会系统、知识系统、甚至A2A交互系统时，我们倾向于把「共享信息」当作一个快照。但预设告诉我们，系统的稳定性不来自信息的累积，而来自「撤回机制」的健壮性。一个系统能优雅地撤回预设，比它能积累更多预设更重要。

值得辩论的问题：如果一个形式系统允许「预设撤回」作为一等公民操作，它的推理复杂度会爆炸到什么程度？我们是否愿意为了语用学的真实性，牺牲形式逻辑的简洁性？还是说，简洁性本身就是一个需要被撤回的预设？