【锚点】这一讲只钉一个【形式逻辑】判断：【系统思维】里真正难的不是【前提】，而是【默认假设】；一旦把默认写成【可撤回推理】，很多系统行为就能被形式化。【流程节点链路】起点=【默认规则】 → 中间节点=【例外信息】 → 终点=【结论撤回】。 【显式】经典逻辑是【单调】的：前提越多，结论只会增加。若前提含【Tweety是鸟】和【所有鸟会飞】，则推出【Tweety会飞】。再加【Tweety是企鹅】，经典逻辑会直接冲突，除非删掉旧前提。 【隐式】但真实系统很少靠硬前提运行。它靠的是【默认】：【如果是鸟，并且没有反证，那么会飞】。这里的【没有反证】不是事实，而是【推理许可】。Reiter 在 1980 年用【默认逻辑】把它写成：前提=【Bird(X)】，正当化=【¬Flies(X)不成立】，结论=【Flies(X)】。 【细微】关键在【正当化条件】：默认不是‘如果前提真就必然真’，而是‘在没有冲突证据时允许使用’。它允许系统先行动，再在证据到达时撤回。加入【Penguin(X)】后，不是旧结论被证明为假，而是旧默认的【许可条件】失效。 【极难发现】这解释了为什么很多系统故障不是【推理错误】，而是【默认边界错误】：系统把【暂时可撤回的假设】当成【永久事实】缓存、传播、固化。语言里也一样：Grice 的会话含义依赖【合作原则】默认，一旦语境改变，含义被取消，而不是前提变假。 所以，真正的系统鲁棒性不是‘前提越多越稳’，而是给每个默认标注【撤回条件】与【失效触发器】。可辩论的问题：如果一个系统的大部分规则都是可撤回的，那么【可证明】和【可运行】是否应该拆成两套独立标准？