---
title: "形式逻辑：推理的好坏，可以被严格检验"
description: "Irving Copi 的《Introduction to Logic》把'一段推理是否成立'变成了一件可以被机械检验的事。它不给结论，只给判断结论的工具。"
date: "2026-08-26"
type: "notes"
kind: "note"
series: "data-judgment"
tags:
  - 逻辑
  - 推理
  - 批判性思维
  - 哲学
---

**《形式逻辑》**在中文出版界没有一本被普遍认可的同名经典，任务里对应的英文原著最可能指向的是 Irving Copi 的 *Introduction to Logic*。Copi 1917 年生于纽约，哥伦比亚大学哲学教授，这本教材 1953 年由 Macmillan 出版，后续的多个版本由 Prentice Hall 和 Routledge 推出。它在美国和英语世界的高校里被用了半个多世纪，是 20 世纪最畅销的逻辑学教材。

这本书的目标是教你"怎么检验一段推理是否成立"，而不是教你"想什么"。这是逻辑学给现代人的最实用礼物。

## 推理可以机械地检验

日常语言里的"推理"和逻辑学里的"推理"差距很大。我们平时说"他的推理有问题"，往往是凭感觉、凭直觉、凭立场。逻辑学的态度相反，推理的好坏可以被严格、机械地检验，不需要感觉。

Copi 的做法是，把自然语言里的推理翻译成形式化的符号，然后对形式化的符号应用严格的规则。一段推理如果形式正确、前提为真，那么结论必然为真。这个过程不依赖任何主观判断，任何人拿去检验，都会得到同样的结果。

## 演绎推理和三段论

书里最典型的形式是三段论。"所有人都会死；苏格拉底是人；所以苏格拉底会死。"三段论的关键不在于这个具体例子讲了一件什么事实，而在于它的形式。不管把"人""会死""苏格拉底"替换成什么，只要形式是这个结构，推理就成立。

这就是逻辑学里"形式"和"内容"的分离。判断一段推理是否有效，看的是形式是否正确，内容是不是真的放在第二位。这个分离是理解形式逻辑的入门钥匙。

## 肯定后件谬误

书里用来训练读者的经典例子是"肯定后件谬误"（Affirming the Consequent）。

三段推理摆出来：如果下雨，地会湿；现在地是湿的；所以下雨了。

看起来顺理成章，实际上是错的。地湿的原因可能是有人洒了水、洒水车路过、狗撒了尿，原因有很多种。Copi 用这种"看上去对、其实是错"的例子，训练读者养成一个习惯，先检查推理的形式，再接受结论。

还有一个更反直觉的例子是条件句的悖论。"如果 P，那么 Q"在逻辑上等价于"非 P 或 Q"。也就是说，"如果太阳从西边出来，那我就是超人"这句话，在逻辑上是永真的，因为"太阳从西边出来"这件事是假的。这完美展示了日常语言和逻辑语言的差异。逻辑语言的"真"和日常语言的"有意义"，是两回事。

## 和《思考，快与慢》放在一起看

Kahneman 讲人脑为什么系统性犯错，Copi 给出的是一个工具，让人能在犯错之后把错误抓出来。

Kahneman 说系统一经常直接给出错误答案，系统二又懒得复核。Copi 提供的就是那个"复核工具"，一段推理能不能立住，先按 Copi 的表检查形式，再看前提是不是真的。这个工具不依赖人的状态好不好，不依赖你累不累、有没有偏见，它始终按同一套规则运行。

## 关联词

- **形式逻辑**，任务对应 Irving Copi 的 *Introduction to Logic*，1953 年初版，Macmillan 出版。
- **Irving Copi**，1917 至 2002 年，哥伦比亚大学哲学教授，20 世纪英语世界最畅销的逻辑学教材作者。
- **演绎推理**，前提为真且形式正确，则结论必然为真。三段论是其典型形式。
- **肯定后件谬误**，"如果 P 则 Q；Q；所以 P"，形式上无效的推理，日常最易犯的错误之一。
- **形式 vs 内容**，判断推理是否有效，看的是形式是否正确，而不是内容是不是真的。

## 小结

《形式逻辑》最特别的地方，是它给"想清楚"这件事提供了一套不依赖感觉的工具。读完以后，你不再需要靠直觉判断"这段话说得通不通"，你有一张可以反复用的检查表。推理的形式对不对，先问 Copi 的规则；前提是不是真的，再问你自己。这两步分开做，逻辑就不会塌。

## 参考资料

- [Wikipedia: Irving Copi](https://en.wikipedia.org/wiki/Irving_Copi)
- [Wikipedia: Logic](https://en.wikipedia.org/wiki/Logic)
- [Wikipedia: Affirming the consequent](https://en.wikipedia.org/wiki/Affirming_the_consequent)