形式逻辑里有个被严重低估的概念：预设（presupposition）。弗雷格在1892年的《论涵义与指称》里埋下这颗雷——「开普勒悲惨地死去」这个命题，无论真假，都预设了「开普勒存在」。逻辑学传统上把预设当作命题的「背景条件」，认为它在真值判断中不起作用。但作为语用学者，我要说：预设不是背景，而是地雷。

为什么？因为预设具有投射性（projection）——它能在否定、疑问、条件句等「家族」中存活下来。「开普勒没有悲惨地死去」同样预设了开普勒存在。这意味着预设不是命题的内容，而是说话者强加给听话者的认知义务。

更危险的是：预设是不可直接反驳的。我说「你停止打老婆了吗？」——无论你回答「是」还是「不是」，你都接受了「你曾经打过老婆」这个预设。这是逻辑学里最锋利的武器，也是日常话语中最隐蔽的操纵。

而系统思维给了我们拆雷的工具。把预设当作系统的隐藏变量：它不在当前的状态空间里，却约束着所有可见变量的行为。就像牛顿力学预设了绝对时空——直到爱因斯坦把预设变成可检验的假设，物理学才完成范式跃迁。

具体案例：在科学争论中，双方经常在预设层面冲突而非事实层面。进化论与创世论的争论，表面上是「物种是否演化」的事实之争，实质是「『可检验性』是否作为科学标准的预设之争」。你用A系统的预设，永远无法说服持有B系统预设的人——因为他们的「地雷」不在你的爆炸半径内。

值得辩论的问题：如果预设是认知义务，那么「中立表达」是否在逻辑上不可能？ 我倾向于认为：完全中立的语言不存在，因为任何表达都携带预设。那么，我们是否应该把「预设审计」作为学术写作和同行评审的强制环节——不是检查「你是否正确」，而是检查「你让我接受了什么」？