归谬法 Reductio ad Absurdum
年级：8年级起 分类：论证结构 年级入口：七至九年级 关联：演绎与归纳 Deduction and Induction | 三段论 Syllogism | 滑坡谬误 Slippery Slope Fallacy
30 秒版本
- 一句话：假设对方命题为真 → 推出荒谬结论 → 反过来否定原命题
- 举个例子：要证明”√2 不是分数”——先假设它是分数 m/n，推出 m 和 n 必须同时是偶数（矛盾）→ 所以假设不成立 → √2 不是分数
- 判断方法：看推理是否”先假设对方对，再用对方自己的话推出荒谬”——是 → 归谬法；如果只是”再走下去会很可怕”且每一步没必然性 → 滑坡谬误
核心概念
归谬法（Reductio ad Absurdum, RAA）：要证明命题 P，先假设非 P 为真，然后从非 P 出发推出矛盾（自相矛盾，或与已知事实矛盾），从而证明非 P 不成立 → P 必然成立。
拉丁文 Reductio ad Absurdum = “归结到荒谬” 中文别名：反证法（数学中常用）
标准结构
要证明：P
1. 假设非 P 为真 ← 先"让步"给对手
2. 由非 P 推出 Q ← 严密演绎，每步都成立
3. 而 Q 是荒谬的 ← 与已知事实矛盾，或自相矛盾
4. 所以非 P 不成立 ← 假设站不住
5. 所以 P 成立 ← 结论必然
信号词速查
| 信号词 | 用法 | 例子 |
|---|---|---|
| ”假设……为真” | 引入归谬的起点 | ”假设 √2 = m/n……" |
| "那么必然……” | 严密推导 | ”那么 m² = 2n²……" |
| "但这与……矛盾” | 收口 | ”但这与 m/n 已经化到最简矛盾" |
| "所以假设不成立” | 结论收尾 | ”所以 √2 不是有理数" |
| "以子之矛攻子之盾” | 日常版本 | ”用对方的逻辑反驳对方” |
👉 看到”如果……为真，那么……”且后面推出矛盾——这就是归谬法的信号。
🔍 思维透镜
归谬法 vs 滑坡谬误：核心区分（重点）
归谬法和滑坡谬误形式上很像——都从”假设对方对”出发，推到一个糟糕的终点。关键区别在于每一步是否必然。
| 归谬法（有效论证） | 滑坡谬误（无效论证） | |
|---|---|---|
| 推理性质 | 演绎——每步必然 | 修辞——每步只是”可能” |
| 中间步骤 | 由逻辑规则或数学定理保证 | 由”会导致""可能引起”暗示 |
| 终点 | 数学矛盾、自相矛盾、违反公理 | 想象出来的”灾难性后果” |
| 例子 | ”假设 √2 = m/n → 必然 m² = 2n² → 必然 m 是偶数……" | "如果允许学生用手机，他们就会上课玩 → 然后成绩下降 → 然后人生失败” |
| 反驳方式 | 找出推理链中的某步不成立 | 指出从一步到下一步没有必然性 |
辨析口诀：
- 如果你能在数学课或逻辑课上用符号写出每一步的推理依据 → 这是归谬法
- 如果你只能用”可能""恐怕""一旦……就……”来描述 → 这是滑坡谬误
详见 滑坡谬误 Slippery Slope Fallacy。
归谬法 vs 直接证明
| 归谬法（间接） | 直接证明 | |
|---|---|---|
| 起点 | 假设结论的反面 | 从已知出发 |
| 路径 | 推出矛盾 | 一步步向结论推进 |
| 适用 | 当结论难以正面构造时（“不存在""无理”等否定性命题） | 当结论可以正面构造时 |
| 例子 | ”不存在最大质数""√2 不是有理数" | "三角形内角和等于 180°” |
🎭 成语解剖
以子之矛攻子之盾
出自《韩非子·难一》。卖矛和盾的人吹嘘：“我的矛能刺穿任何盾，我的盾能挡住任何矛。” 旁人问：“用你的矛刺你的盾，会怎样？” 他答不出来。
| 拆解 | |
|---|---|
| 字面意思 | 用你自己的矛，去刺你自己的盾 |
| 逻辑结构 | 假设对方两个命题都为真 → 让两者碰撞 → 推出矛盾 → 至少一个命题必然为假 |
| 逻辑映射 | 归谬法的日常版本——不用从外部找证据，用对方自己的话推出自相矛盾 |
| 力度 | 极强——对方无法靠”你不了解我”或”你立场偏颇”反驳，因为你完全在用他的话 |
现实映射：
| 对方观点 | 自相矛盾的推论 | 归谬效果 |
|---|---|---|
| ”我从不相信任何权威说的话” | 那你为什么相信你自己（也是一个权威）说的这句话？ | 命题自我推翻 |
| ”所有规则都该打破” | 那”所有规则都该打破”这条规则也该被打破——意味着应该遵守规则？ | 自指悖论 |
| ”绝对真理不存在" | "绝对真理不存在”这句话本身是绝对真理吗？ | 自反矛盾 |
👉 以子之矛攻子之盾是归谬法在日常论辩中最锋利的形态：不带外部预设，纯用对方的逻辑自我瓦解。这也是苏格拉底辩证法（Socratic Method）的核心招式。
💡 思想史光点
| 人物 | 年代 | 关键词 |
|---|---|---|
| 毕达哥拉斯学派 | ~500 BCE | 第一次用归谬法证明 √2 不是有理数——发现”无理数”，传说震惊学派 |
| 芝诺（Zeno of Elea） | ~450 BCE | 阿基里斯追龟、二分悖论——用归谬法挑战常识 |
| 苏格拉底（Socrates） | ~430 BCE | 辩证法（Elenchus）：用追问推出对方自相矛盾——“以子之矛攻子之盾”的西方版 |
| 欧几里得（Euclid） | ~300 BCE | 《原本》：用归谬法证明”质数有无穷多个”——经典数学应用 |
| 韩非（Han Fei） | ~250 BCE | 《难一》“矛与盾”——中国古代归谬法的日常案例 |
| 哥德尔（Kurt Gödel） | 1931 | 不完备定理：用归谬法证明”任何足够强的形式系统必然不完备” |
→ 延伸阅读：思想史光点 Logic Origins
📰 案例精讲
📘 日常：兄妹之争
小妹：“哥，你借的书必须今天还。” 哥哥：“为什么？” 小妹：“因为所有借的东西都该当天归还。” 哥哥：“那你昨天借了我的笔，今天还没还，按你的规则你也违规了。” 小妹：”……”
分析：
- 小妹的主张：“所有借的东西都该当天归还”
- 哥哥的归谬：假设小妹的规则为真 → 推出”小妹自己也违规了” → 矛盾
- 结果：小妹要么承认规则有例外，要么也认下自己违规——逻辑被瓦解
- 这就是日常版的归谬法（以子之矛攻子之盾）
📙 数学：√2 不是有理数（最经典案例）
命题：√2 是无理数（即不存在两个整数 m, n 使得 √2 = m/n）。
归谬证明：
1. 假设 √2 = m/n，且 m/n 已经化到最简（m 与 n 互质）
2. 两边平方：2 = m²/n²，所以 m² = 2n²
3. 这说明 m² 是偶数 → m 也是偶数（因为奇数的平方是奇数）
4. 设 m = 2k，代入：(2k)² = 2n² → 4k² = 2n² → n² = 2k²
5. 这说明 n² 是偶数 → n 也是偶数
6. 但第 1 步已设 m 与 n 互质——两者都是偶数与互质矛盾！
7. 所以假设"√2 = m/n"不成立
8. 所以 √2 不是有理数 ✓
为什么这是经典：每一步都是严密的数学推论，没有任何”可能""大概”。这就是归谬法的标准范例，也是与滑坡谬误的决定性区分。
📕 法律辩护：归谬瓦解检方推论
检察官：“被告下午 3 点在 A 城犯案，应判刑。” 辩护律师：“假设检方推论为真——被告下午 3 点在 A 城。但根据这张机场记录，被告下午 3 点正在 B 城登机；监控、登机牌、空乘证词三方互证。假设成立 → 被告同时出现在两地 → 物理上不可能。所以检方的指控不能成立。”
分析：
- 律师没有正面去”证明被告无罪”——这往往很难
- 而是假设对方为真，然后推出与物理事实矛盾的结论
- 归谬法在司法中称为”不在场证明”（alibi）的逻辑形式
- 力度：检方必须重新检查时间认定或撤回指控
法律启示：归谬法在辩护中比正面论证更有效——因为辩方不需要证明所有事实，只需要让检方的故事在内部不自洽就够了。
📖 真实阅读
📰 一场关于”无神论也是一种信仰”的争论
甲：“无神论也是一种信仰，因为它相信’神不存在’。” 乙：“假设你说的对——‘相信什么都不存在’也是一种信仰。那么，‘不相信圣诞老人’也是一种信仰？‘不相信地球是平的’也是一种信仰？按你的定义，所有’不相信’都是’信仰’——‘信仰’这个词就完全失去了意义。” 甲：“呃……”
逻辑分析：
- 乙用了什么论证方法？
- 矛盾的具体位置在哪里？
- 这种论证为什么比”直接证明无神论不是信仰”更有力？
- 这与稻草人谬误有什么区别？
📝 参考分析（先自己想再展开）
乙使用了归谬法：假设甲的定义为真（“不相信 X 也是信仰”）→ 推出荒谬结论（任何”不相信”都是信仰，“信仰”一词失去意义）→ 否定原定义。矛盾位置：在”任何不相信都是信仰”和”信仰应该是有特定意义的概念”之间——甲的定义过于宽泛以至于自我消解。比正面论证更有力的原因：乙没有需要先建立”信仰”的标准定义（这本身有争议），只需要让甲的定义自己崩溃。与稻草人谬误的关键区别：乙没有歪曲甲的观点——他完全采用甲的定义，每一步推论都是从甲的定义直接得出的。稻草人是”歪曲后攻击”，归谬法是”忠实采用后让其自溃”。两者的诚信度天差地别。详见 稻草人谬误 Straw Man Fallacy。
⚠️ 使用归谬法的注意事项
- 每一步必须严密——任何”很可能""大概会”的步骤都让归谬退化成滑坡谬误
- 矛盾必须是真矛盾——是数学矛盾、事实矛盾、或自指矛盾，不是”感觉不舒服”
- 不可挪用对方观点——必须忠实采用对方的原话/原定义，否则就是稻草人
- 承认极端情况的存在——有些命题在数学上不能用归谬证明（直觉主义数学拒绝归谬法），但在中学和日常逻辑里归谬完全合法
🧪 练习
📘 识别题（3 题）
判断以下论证是 归谬法 还是 滑坡谬误：
- “假设小数也算整数。那么 0.5 + 0.5 = 1 应该等于’两个整数相加’——但是 0.5 不在整数列表里。所以小数不算整数。”
- “如果允许孩子今天看电视一小时，明天他就会看两小时，后天三小时，最终他会完全不学习。所以不能让他看电视。”
- “假设有最大的质数 N。那么 N!+1 要么是质数（比 N 大，矛盾），要么有比 N 大的质因子（也比 N 大，矛盾）。所以不存在最大的质数。”
📙 分析题（2 题）
-
以下论证用了”以子之矛攻子之盾”——找出对方的两个命题，并指出矛盾点：
朋友说：“我从来不接受未经证实的观点。” 你回：“你这句话本身经过验证了吗？” 朋友：“这是我的人生原则。” 你：“那这就是一个未经证实的观点，按你自己的原则你不该接受它。”
-
苏格拉底常用”反诘法”——通过不断追问让对方推出自相矛盾的结论。请说明苏格拉底的方法与归谬法的关系，并指出它的局限性（什么场合不适用？）
📕 构建题（1 题）
- 选一个你身边常见的”看起来不可反驳的绝对论断”（如”努力一定有回报""年轻人就该多吃苦""规则是死的，灵活点就行”），用归谬法构建一个反驳：
原命题 P：______
反命题（假设其为真）非 P：______
由非 P 出发：
推论 1：______
推论 2：______
推论 3：______
→ 推出的荒谬/矛盾：______
所以原命题 P 必然为假，或至少需要修补条件：______
📝 练习参考答案
第 1 题：归谬法。假设”小数算整数”为真 → 0.5 应在整数列表里 → 但事实上不在 → 矛盾 → 假设不成立。每一步严密。
第 2 题：滑坡谬误。“今天 1 小时→明天 2 小时→后天 3 小时→完全不学习”每一步没有必然性，只是用”会""就会”暗示连锁——这不是数学或逻辑必然，是修辞性恐吓。详见 滑坡谬误 Slippery Slope Fallacy。
第 3 题：归谬法。这是欧几里得证明”质数有无穷多个”的经典归谬。每一步（N! 的性质、N!+1 的因子分析）都是严密数论推理，得到的”比 N 大的质数”是真矛盾。
第 4 题：朋友的两个命题——P1：“我不接受未经证实的观点”；P2：“P1 本身是我的人生原则（即不需要被验证）“。矛盾点：P1 把”未经证实”作为拒绝的理由，P2 又把 P1 自己豁免于这个要求——P1 自己应用到自己时崩溃。这就是”以子之矛攻子之盾”的标准形态：自指悖论。
第 5 题：苏格拉底的反诘法（Elenchus）是归谬法在伦理与认识论领域的应用——通过追问让对方暴露隐含矛盾。局限：① 它只能证明对方的定义/立场不自洽，不能证明对方的结论一定错；② 在没有公认前提的领域（审美、价值观），归出的”矛盾”可能被对方接受为”我就是这样的人”——归谬法需要双方共享某些底线判断（“自相矛盾是不好的”）；③ 用在辩论而非真理探索时，容易退化成羞辱对方而非寻求真相——苏格拉底本人就因这种方式被雅典处死。
第 6 题：开放题。关键检查：① 你假设的”非 P”是否就是 P 的严格否定（而不是稻草人版本）？② 每一步推论是否必然，还是只是”可能”（如果是”可能”，你写的是滑坡谬误而非归谬）？③ 你推出的”矛盾”是真矛盾，还是只是你不喜欢？示例：原命题”努力一定有回报”。假设其为真 → 那么所有努力的人都有回报 → 但现实有大量努力却没回报的案例（农民工辛劳一生、运动员伤病退役、创业者破产）→ 矛盾。所以原命题需要修补为”努力通常有回报”或”努力在合适的方向上有回报”——归谬不一定否定整句话，常常是逼出更精确的版本。
🔗 节点关系
演绎与归纳
（演绎推理）
↓
三段论
（正向构造结论）
↓ 间接证明
归谬法
（反向假设 → 矛盾 → 否定）
┌───────┼───────┐
数学反证 苏格拉底辩证 以子之矛攻子之盾
│
滑坡谬误（形似而非）
⚠️ 每步必然 → 归谬法
⚠️ 每步仅"可能" → 滑坡谬误
双链跳转： 演绎与归纳 Deduction and Induction | 三段论 Syllogism | 滑坡谬误 Slippery Slope Fallacy | 稻草人谬误 Straw Man Fallacy
R. S. Ang · K12 Notes · 8年级起, 2026