Introduction to Logic（逻辑学导论）

引用

Copi, I. M., Cohen, C., & Rodych, V. (2019). Introduction to Logic (15th ed.). Routledge.

章节概要

第十五版共722页，分为三个部分、十四章，其后是附录、术语表兼索引，以及“Logic Overviews”。出版社的目录还列出了第一部分之前的前言（Foreword）、序言（Preface）和一篇题为“A Very Brief History of Logic”的短文。原作者欧文·柯匹（Irving Copi）师从伯特兰·罗素，卡尔·科恩和维克多·罗迪奇为本版作了修订。以下描述依据各章标题和出版社对本版变化的说明。

第一部分　逻辑与语言（第1–4章）

• 第1章：Basic Logical Concepts（基本逻辑概念）。 开篇一章。出版社说，本章现在对演绎有效性采用了更简单也更好的定义，全书其余部分，尤其是第8–10章，都依赖这一定义。
• 第2–4章：Analyzing Arguments（分析论证）；Language and Definitions（语言与定义）；Fallacies（谬误）。 这几章在任何形式系统出现之前处理日常论证：如何分析论证、语言和定义如何影响论证，以及谬误。

第二部分　演绎（第5–10章）

• 第5–7章：Categorical Propositions（直言命题）；Categorical Syllogisms（直言三段论）；Syllogisms in Ordinary Language（日常语言中的三段论）。 直言陈述和三段论的传统逻辑，包括如何在日常语言中识别三段论。配套网站提供用文氏图检验三段论的功能。
• 第8章：Propositional Logic I: Truth-Functional Statements and Arguments（命题逻辑I：真值函项语句与论证）。 本版对简单语句和复合语句给出了更简单的定义，并增加了更多、更详细的完全真值表法示例。
• 第9章：Propositional Logic II: Methods of Deduction（命题逻辑II：演绎方法）。 修订最多的一章。出版社列出的内容有：对简化真值表法的逐步说明，并附有针对不同类型结论的示例；对间接证明更完整的说明，以及基于论证有效的三种方式对其所作的证成；在19条推理规则和间接证明之外新增的条件证明一节；重言式的证明；以及结尾一节，说明可靠论证与证明性论证之间的区别。
• 第10章：Predicate Logic: Quantification Theory（谓词逻辑：量化理论）。 从命题逻辑扩展到量化语句。

第三部分　归纳（第11–14章）

• 第11–14章：Analogical Reasoning（类比推理）；Causal Reasoning（因果推理）；Science and Hypothesis（科学与假说）；Probability（概率）。 本书的归纳部分，从类比推理和关于原因的推理，进展到科学假说的逻辑与概率。

附录与书末

本版新增三个附录：一个讲如何通过选择最有效的步骤顺序使简化真值表技术更高效，一个讲多行简化真值表的第1步计算，一个讲非强制的真值指派、无效论证以及准则III–V。其他列出本书目录的资料还显示有一个关于研究生入学考试的附录和部分习题的答案，请核对手头的版本是否包含这些内容。

核心概念

第一部分：逻辑与语言

• 演绎有效性：第1章的核心概念，本版对其作了更简单的界定。
• 谬误：错误推理的模式，单独成章。

第二部分：演绎

• 直言命题与直言三段论：传统逻辑的语句形式和由三个语句构成的论证。
• 真值函项语句与完全真值表法：通过列出所有可能的真值指派来检验论证。
• 简化真值表法：假设结论为假、从结论倒推的更快的有效性检验。
• 推理规则、间接证明与条件证明：第9章的形式证明方法。
• 量化理论：谓词逻辑中“所有”与“有些”的逻辑。

第三部分：归纳

• 类比推理与因果推理：通过相似性或确定原因来支持结论的论证。
• 假说与概率：检验科学主张的逻辑，以及可能性的度量。

评析

优点

• 一卷之内范围广泛。 目录从非形式的论证分析和谬误，经过传统三段论逻辑和符号逻辑，一直到归纳推理。一部教材既可以支撑批判性思维课程，也可以支撑形式逻辑的第一门课。
• 循序渐进。 出版社说，对第1、8、9章的修订保留了本书清晰而循序渐进的教学方式，而对简化真值表法和间接证明新增的逐步讲解，在学生通常感到吃力的地方补充了具体的步骤。
• 配套练习资源。 出版社的配套网站列出了证明检查器、完全真值表和简化真值表练习、真值表视频、三段论的文氏图检验，以及数百道判断题和选择题，适合自学；教师则有教师手册和解答手册。
• 对证明方法的细致处理。 出版社说，对间接证明的说明现在针对论证有效的三种方式分别加以证成，并增加了条件证明，使学生既知道如何应用这些方法，也明白它们为什么成立。
• 历史悠久的教材。 出版社称本书六十多年来已为数千名学生所用，第十五版是反复修订的产物。

局限

• 篇幅。 722页的篇幅超出了大多数单门课程所能涵盖的范围，教师必须在第一至第三部分中取舍。
• 没有元理论或非经典逻辑。 章节目录中没有关于可靠性与完全性、模态逻辑或其他扩展的章节；想继续学习这些内容的学生必须转向更高阶的教材。
• 量化出现较晚。 谓词逻辑直到第10章才出现，之前已有九章内容，因此，想要早点讲授量词的现代逻辑课程需要调整顺序。

在课程中的定位

柯匹是逻辑学书单中范围广泛的第一门课教材：它在一卷之内涵盖非形式推理、传统三段论逻辑、符号逻辑和归纳。巴克-普拉默（Barker-Plummer）、巴怀斯（Barwise）和埃切门迪（Etchemendy）的 Language, Proof and Logic 是另一种选择，适合以软件辅助讲授真值表、证明和模型的一阶逻辑课程，其后面的章节涉及可靠性、完全性以及哥德尔第一不完全性定理的概述，这些主题在柯匹的章节目录中并不出现。

西德（Theodore Sider）的 Logic for Philosophy 是以柯匹所教的基础为前提的第二门课，进入模态逻辑以及关于逻辑系统的严格证明。布洛斯（Boolos）、伯吉斯（Burgess）和杰弗里（Jeffrey）的 Computability and Logic 是一部数学上严格的教材，讲授可计算性和一阶逻辑的元理论，适合后期学习。

如何使用本书

本书面向哲学、法学、计算机科学等领域没有学过逻辑的本科生，中学数学水平就足够了。

实用的阅读安排如下：

• 批判性思维课程： 第一部分（第1–4章）、第5–7章的传统逻辑，然后是第三部分（第11–14章）。
• 形式逻辑第一门课： 先读第1章了解核心定义，然后以第8–10章为核心。先把第8章练到真值表成为例行操作，再进入第9章的演绎方法，把其余时间留给第10章。
• 主动练习： 使用配套网站的证明检查器和真值表练习，以及（若所用版本提供的话）部分习题的答案。关于简化真值表技术效率的附录，是为想要提高速度的读者准备的。
• 使用“Logic Overviews”。 把书末列出的“Logic Overviews”当作在继续往下读之前复习主要定义和方法的地方，前提是手头的版本以这种形式包含它们。