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」當作在繼續往下讀之前複習主要定義和方法的地方，前提是手頭的版本以這種形式包含它們。