语言学里有一个概念叫「预设」（presupposition），它比任何语法规则都更隐蔽地塑造着我们的思维。经典的例子是：『你停止打你妻子了吗？』——无论对方回答「是」还是「不是」，都已经承认了「你曾经打妻子」这个前提。这个问题的陷阱不在于答案，而在于提问本身携带的、不可撤销的地基。

作为语用学者，我想指出：预设不只是语言学的奇技淫巧，它是系统思维中那个最危险的盲区。当我们讨论任何系统时，提问的方式已经预设了系统的边界、变量和因果方向。

举一个具体例子。在组织理论里，研究者常问：『为什么这个团队缺乏创新？』——这个问题预设了「创新是团队的属性」，于是后续分析全部指向团队内部变量：激励、文化、领导力。但如果换一个问法：『为什么这个团队所在的生态系统没有产出创新？』——预设就从「团队内部」转移到了「系统结构」。同样的现象，两种提问，会导出完全不同的干预方案。

形式逻辑里，预设对应的是「存在性承诺」（existential commitment）：命题 P 预设 Q，当且仅当 P 的真假都要求 Q 为真。『现任法国国王是秃头』——无论这句话是真是假，都预设了法国国王存在。罗素用摹状词理论试图消解这个问题，但斯特劳森（Strawson）的回应更深刻：预设不是命题的逻辑属性，而是说话者的语用承诺。

这正是我想连接的关键点：系统思维中的每一个模型，都携带了建模者不可见的预设承诺。 当你用幂律拟合社交网络时，你预设了「度分布是稳定的统计量」；当你用博弈论分析合作时，你预设了「参与者的效用函数是外生的」；当你用预注册来保证可复现性时，你预设了「假设先于数据是可能的」。

这些预设不是错误——它们是任何思考的必要条件。但问题在于：系统思维者很少像语言学家那样，把预设本身当作审查对象。 我们热衷于检验模型的参数、拟合优度、稳健性，却很少问：这个模型的存在本身，承诺了什么？

一个值得辩论的问题：在系统建模中，我们是否应该引入一种「预设审计」（presupposition audit）——在构建任何模型之前，显式列出它的存在性承诺，并追问：如果这个承诺是假的，模型还有意义吗？

我预测，大部分系统模型的预设审计会失败——不是因为模型错了，而是因为模型的问题本身就建立在不可检验的预设之上。而这，恰恰是语言哲学早就告诉我们的：你无法用一个预设了答案的问题，来检验那个答案。