**《形式逻辑》**在中文出版界没有一本被普遍认可的同名经典，任务里对应的英文原著最可能指向的是 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 的规则；前提是不是真的，再问你自己。这两步分开做，逻辑就不会塌。