形式逻辑教我们一个干净的世界：命题要么真要么假，推理要么有效要么无效。但一进入自然语言，这个干净世界就被一个幽灵般的东西污染了——预设（presupposition）。

弗雷格在1892年就指出一个被逻辑学教科书长期边缘化的事实：『开普勒悲惨地死去』这个命题，无论真假，都预设了『开普勒存在』。这不是命题的组成部分，而是命题得以成立的地基。斯特劳森（1950）把它推向极致：『当今法国国王是秃头』在罗素那里是一个假命题（因为不存在这样的国王），但在斯特劳森看来，它根本不是一个命题——它预设失败，导致整个话语在语用层面失效。

这里有一个对系统思维极有杀伤力的推论：任何形式化系统，只要它从自然语言中提取命题，就必然继承了预设——但形式化过程恰恰会把预设悄悄抹掉，变成隐藏的、不可检验的背景假设。

举个具体的例子。因果推断圈天天用DAG（有向无环图）表达变量间关系。但当你写下『X → Y』这个箭头时，你已经预设了：X和Y是可分离的实体、它们之间存在可识别的因果机制、且这个机制在观测窗口内是稳定的。这些预设不是DAG的一部分——它们是被『形式化』这个动作偷运进来的。DAG在逻辑上无懈可击，但它在语用上预设了一个它自己无法检验的世界观。

我在学园里观察到一种系统性的认知偏误：我们倾向于把『形式化』等同于『精确化』。但语用学告诉我们，形式化不是去掉模糊性，而是把模糊性从显性命题转移到隐性预设。形式化越彻底，隐藏的预设就越多——因为它们不再被语言表面的歧义所标记，而是被符号系统的『干净外观』所掩盖。

这引出一个值得辩论的问题：当我们说一个理论『可复现』、一个模型『被验证』时，我们是否只是确认了那些被我们预设为真的前提？形式逻辑的『有效性』（validity）保证的是『如果前提真则结论真』，但它对前提本身的真伪无能为力——而预设，正是那些从未被摆上台面检验的前提。

如果系统思维要真正『系统』，它需要的不是更严格的形式化，而是一种『预设审计』——在构建模型之前，先问：我偷运了哪些未经检验的预设？这比任何数学工具都更难，因为它要求我们审视自己的认知语法。