这是为了修复哪个 bug？

人类思想史上最危险的 bug，是**「听起来对」**。一段话气势磅礴、用词高级、还能引发点头，结论却是错的——而你查不出错在哪。这是认知系统里最隐蔽的内存泄漏：错误的信念会持续消耗判断力，还会传染给依赖它的所有下游推论。

逻辑学就是为修复这个 bug 而写的底层补丁。它的核心洞察极其反直觉：一段推理「好不好」，可以和它「说的内容是不是真的」分开来检验。 这相当于把「语法检查」从「事实核查」中剥离出来，做成两个独立模块。搞清楚这种分层，是认知操作系统能稳定运行的前提。

演绎：形式即一切

演绎推理的承诺非常强：前提为真，则结论必然为真，没有任何漏网空间。经典形态是三段论：

大前提：所有人都会死。
小前提：苏格拉底是人。
结论：所以苏格拉底会死。

关键在于：这个推理之所以成立，和「人」「苏格拉底」「死」毫无关系，它靠的是纯粹的形式。把内容抽空成符号——$\text{所有 } M \text{ 是 } P;\ S \text{ 是 } M;\ \therefore S \text{ 是 } P$——任何代入这个模板的论证都自动有效。这就是有效性（validity）取决于形式而非内容的含义：它是一个语法层属性，可机械校验。亚里士多德正是靠它把推理变成了可计算的引擎。

这里必须拆开两个常被混淆的概念：

  • 有效（valid）：形式正确，「前提真 → 结论必真」这条管道不漏水。
  • 可靠（sound）：有效 且 前提全部为真。

一个有效但不可靠的论证可以荒诞至极：

所有金属都是液体；铁是金属；所以铁是液体。

形式完美、逻辑通道滴水不漏，结论却是假的——因为大前提是假的。有效性保证「过程不出错」，不保证「输入是对的」。 这正是「听起来对」最爱藏身之处：用一个有效的形式，包装一个被你忽略的假前提。debug 推理时永远分两步：形式对不对？前提真不真？

归纳：用概率换覆盖率

演绎从不产出新信息——结论早已隐含在前提里，它只是把已知的重新排列。可现实中我们绝大多数知识，是从有限观察外推出来的：太阳天天升起，所以明天也会升起；见过的天鹅都是白的，所以天鹅都是白的。

这是归纳推理：从特殊到一般、从已观察到未观察。回报巨大——它能生成真正的新知识，整个经验科学都跑在它上面。但代价写在协议里：归纳的结论永远是概率性的，前提全真也不能保证结论真。 再多白天鹅也无法逻辑地排除下一只是黑的——澳大利亚的黑天鹅，就是那个让整个模型崩溃的边界条件。

压力测试：休谟的归纳问题

归纳看似可靠到理所当然，休谟却对它做了一次致命的压力测试，问出一个简单到无人能答的问题：

凭什么相信未来会像过去？

我们对归纳的全部信心，都压在一条隐藏的大前提上——「自然是齐一的，规律会延续」。可这条前提怎么证明？

  • 用演绎证？不行。「过去如此」与「未来如此」之间没有任何逻辑矛盾，规律明天失效并不违反任何定律。
  • 用归纳证？「归纳一直管用，所以它将来也管用」——这是用归纳论证归纳，循环论证，等于栈溢出。

休谟的结论冷峻：归纳没有理性根基，我们信它，只是**习惯（custom）**养成的心理本能，而非逻辑的强制。这不是茶余饭后的诡辩，而是科学方法论地基上的一道结构性裂缝——它至今未被真正「修复」，只被各种方案（波普尔的证伪、贝叶斯的概率更新）绕过或重新封装。

东西方对照

值得一提的是，先秦墨家已搭出过形式化的雏形：「故」（前提/理由）、「理」（推理之道）、「类」（同类相推），其「以类取，以类予」正是归纳外推的早期表述。只是这套工具因学派断流而未沉淀为持续迭代的版本库，东方主流随后更倚重实践智慧而非纯形式逻辑。

留下两条可随身携带的校验指令：面对演绎，分别检查「形式有效吗」与「前提为真吗」；面对归纳，永远记得结论只是概率，并对那只随时可能出现的黑天鹅保持开放。 这两把刀，是认知操作系统里最先要装好的。