第一部分 · 怀疑的起点

推理的工具：有效不等于真

在抡起"要理由"这把武器一路砍下去之前，先把刀看清楚：一个理由凭什么能撑住一个结论？你会发现一个让人不安的事——一段推理可以完美无缺，结论却是假的。

一段推理，拆开来看

"要理由"听着简单，但理由是怎么撑住结论的？拿一段最朴素的推理来看：

横线上面两句叫前提 (premises)，下面一句叫结论 (conclusion)。这就是亚里士多德 (Aristotle) 两千多年前定下的三段论 (syllogism)。注意一件事：你之所以接受"苏格拉底会死"，不是因为你亲眼见他死了，而是因为前提一旦摆好，结论就被"逼"了出来——你想否认它都不行，否则就自相矛盾。这种"被逼出来"的力量，就是逻辑要研究的"推出"。

这里有个关键的拆分。一段推理可以从两个完全不同的角度被审问：

核心炸弹：有效 ≠ 真

先把"有效"的定义钉死，逐字读，每个词都要紧：一个论证是有效的，当且仅当"前提全真"不可能配上"结论为假"。换句话说，有效性只管一件事——前提到结论的传递靠不靠谱。它完全不关心前提实际上是真是假。

这个定义一旦认真对待，就会冒出两种把人吓一跳的情形。

情形 A：形式完美有效，前提却假，结论也假

这段推理的形式和"苏格拉底会死"一模一样——它是有效的！因为"假如所有鸟都会飞，假如企鹅是鸟，那企鹅就必然会飞"，这个传递没毛病。可现实里企鹅不会飞。问题出在哪？出在第一个前提"所有鸟都会飞"是假的。逻辑这台机器忠实地把一个假前提里的内容传了下来，于是吐出一个假结论。机器没坏，喂进去的料是坏的。

情形 B：句句都是真话，推理却无效

停一下：这三句话每一句单独看都可能是真的——确实在下雨、地面确实湿、"下雨地就湿"也确实成立。可这段推理是无效的。为什么？因为地面湿不止下雨一个原因：洒水车刚过、邻居浇花、水管爆了，都能让地湿。"地湿"为真，挡不住"在下雨"为假。前提没能逼出结论，你只是碰巧蒙对了。

这是一个经典谬误，叫肯定后件 (affirming the consequent)：从"P → Q"和"Q"去推"P"。它和有效形式"P → Q，P，所以 Q"（肯定前件）长得很像，一不留神就上当。

把 A 和 B 摆在一起，那个反直觉的结论就藏不住了：

"有效"和"真"是两根独立的旋钮，可以任意组合。有效却结论假（A），全真却无效（B），都真实存在。把它们当成一回事，是日常争论里最常见的滑坡。

我们真正想要的：可靠 (sound)

那到底什么样的推理才值得信？把两根旋钮同时拧到位就行。逻辑学给这个组合起了名字——可靠 (sound)：

"苏格拉底会死"是可靠的：形式有效，且两个前提都真，所以结论板上钉钉地真。这才是论证的终点。每次有人向你证明什么，你心里要拆成两问：(1) 形式有效吗？(2) 前提我都接受吗？两个都"是"，你才必须接受结论；只要有一个"否"，你就有权拒绝——而且你能指着说出问题在哪一根旋钮上。这是哲学训练给你的第一件、也是最实用的本事。

两种推理：演绎保真，归纳冒险

上面讲的全是演绎 (deduction)：前提若真，结论必然真，没有缝隙。但演绎有个代价——它从不带来新信息。"苏格拉底会死"这个结论，其实早就藏在"所有人都会死"里了；演绎只是把它抽出来给你看。它绝对保真，但永远在原地打转。

可我们大量的知识根本不长这样。"太阳每天都升起，所以明天它也会升"——这是从有限的观察跳到普遍/未见的结论，叫归纳 (induction)。归纳的好处正是演绎的短板：它带来新信息，让你预言没见过的事。但代价也正好对调——它没有逻辑保证。你见过一万只白天鹅，也逼不出"下一只必定是白的"；那一跳，逻辑上没有桥。

这道"归纳的缝"不是小事——它是科学全部知识的命门，也是第 05 课休谟 (Hume) 的归纳问题、第 06 课科学哲学要正面硬碰的难关。本课先把它标记在这里：演绎保真不增信息，归纳增信息不保真，鱼与熊掌不可兼得。

顺手认几个谬误

除了刚才的"肯定后件"，还有两个谬误后面会反复出现，先打个照面：

• 循环论证 (circular reasoning)：用结论本身去当它的前提（"圣经是真的，因为圣经说它是神写的"）。它在形式上甚至可能"有效"，却什么也没证明——因为你得先信结论，才肯接受前提。（它正是第 04 课"明希豪森三难"里的一只角，到时再细看。）
• 偷换概念 (equivocation)：一个词在前提里是一个意思，到结论里悄悄换成另一个意思。"羽毛是轻 (light) 的；轻 (light) 的东西不暗；所以羽毛不暗"——"light"前指重量轻，后指明亮，被偷换了。（第 12 课摩尔 (Moore) 对"善 (good)"的"开放问题论证"，要对付的正是这类概念偷渡。）

动手：推理检验台

下面这台"检验台"把全课的核心做成可玩的。切换三个预置案例，界面上有两盏独立的灯：一盏标"形式有效吗"，一盏标"前提全真吗"。请重点盯着——这两盏灯会各自独立地亮灭，谁也不绑着谁。看完你就再也不会把"有效"和"真"混为一谈了。底部还有个"谬误画廊"小标签，点亮你撞见的谬误类型。

玩完你撞上的，正是本课要钉死的直觉：那两盏灯从不联动。案例①有效灯绿、真值灯红——形式完美却前提为假，结论不可信；案例②真值灯绿、有效灯红——句句真却推理无效，结论是侥幸蒙的；只有案例③两盏全绿，才换来一句"可靠：结论必然可信"。逻辑这台机器，从不凭空制造真，它只把真从前提传递到结论——所以它是一根"真理之管"，不是"真理之泵"。

常见误解

• 误解："这推理很有逻辑/很有效"就等于"它说的是对的"。 （澄清：有效只保证"前提真就结论真"。前提若假，有效的推理照样吐假结论——企鹅会飞就是有效的。"有效"是空头支票，兑现要靠前提为真。）
• 误解：前提和结论都是真话，推理就成立。 （澄清：句句真也能是无效推理——"地湿了所以在下雨"。结论碰巧真，不等于被前提逼出来；那只是侥幸，换个前提为真的情形它就崩。）
• 误解：演绎比归纳"更高级"，科学应该都用演绎。 （澄清：两者各有命门。演绎保真但不增新知；归纳增新知但不保真。科学的预言力恰恰来自归纳那一跳——也因此背着"没有逻辑保证"的原罪，第 05、06 课会算这笔账。）
• 误解：逻辑能告诉我世界是什么样。 （澄清：逻辑只管"从这些前提能不能推出那个结论"，它不告诉你前提真不真——那要靠观察、靠经验。逻辑是真理之管，不是真理之泵。）