邏輯要義（第2版）

本書對邏輯基本概念和推理規則做了清晰簡潔的介紹，並將這些規則融於各種時新實例中，以培養學生邏輯思考和推理能力，進而建立起在日常生活中分析、解決問題的能力，真正發現生活世界中的邏輯。

對於一些較難理解或在學習和應用過程中可能會遇到的問題，都給出了「重要提示」。章末更有「章節摘要」對整章內容做一整體歸納和總結， 方便學生掌握邏輯學基本規則。不管是教師教學還是初學入門者，都可從中獲益，走出邏輯學無實際功用的誤區，最終發現生活世界中存在的生動鮮活的邏輯。

歐文•M•柯匹（Irving M. Copi，1917—2002）， 美國著名邏輯教育家，曾先后執教於美國伊利諾伊大學、密歇根大學、普林斯頓大學和夏威夷大學。主要著作有：《符號邏輯》（Symbolic Logic，1954） 《邏輯類型論》（The Theory of Logical Types，1971) 《當代哲學邏輯》（Contemporary Philosophical Logic， 1978）《非形式邏輯》（Informal Logic，1992）等。

卡爾•科恩（Carl Cohen，1931— ），美國密歇根大學邏輯與哲學教授。科恩教授的著作被翻譯成多種語言，其中，政治哲學著作《論民主》中譯本於1988 年出版。

丹尼爾•E•弗萊格（Daniel E. Flage），詹姆斯•麥迪遜大學哲學教授，主攻現代哲學史、邏輯和批判性思維。

胡澤洪，華南師范大學政治與行政學院教授，博士生導師。主要從事邏輯哲學與語言邏輯研究。主要著作有《邏輯的哲學反思——邏輯哲學專題研究》《語言邏輯與言語交際》等，主要譯著有《知識之樹》（合譯）等。

趙藝，華南師范大學政治與行政學院副教授， 碩士生導師。主要研究方向為邏輯與認知、論辯理論。發表學術論文十余篇，譯著有《論辯巧 智——有理說得清的技術》等。

致中國讀者 001
前 言 006

第1章 基本的邏輯概念 001
1.1 什麼是邏輯？ 002
1.2 命題和語句 002
1.3 論證、前提和結論 003
1.4 論證和說明 006
1.5 論證的辨識 008
1.6 演繹和有效性 015
1.7 有效性和真假 017
1.8 歸納與概率 020
1.9 論證的分析 021
1.10 復雜的論證性語段 024
第2章 非形式謬誤 031
2.1 什麼是謬誤？ 032
2.2 相干性謬誤 033
2.3 預設性謬誤 045
2.4 歧義性謬誤 052
第3章 直言命題 063
3.1 直言邏輯 064
3.2 直言命題與類 064
3.3 直言命題的符號表示和文恩圖 068
3.4 周延性 071
3.5 存在含義 073
3.6 亞里士多德型對當方陣和直接推論 075
3.7 布爾型對當方陣 080
3.8 邏輯等值和直接推論 081
第4章 直言三段論 093
4.1 標准形式直言三段論 094
4.2 三段論論證的性質 097
4.3 用於檢驗三段論的文恩圖方法 099
4.4 三段論規則和三段論謬誤 105
第5章 日常語言中的論證 115
5.1 日常語言中的三段論論證 116
5.2 三段論論證中詞項數量的歸約 116
5.3 直言命題的標准化 119
5.4 統一翻譯 127
5.5 省略三段論 129
第6章 符號邏輯 135
6.1 現代邏輯的符號語言 136
6.2 符號語101：命題邏輯的語言 136
6.3 作為復合命題分析工具的真值表 146
6.4 重言的、矛盾的和偶真的陳述形式 151
6.5 檢驗論證有效性之真值表 156
6.6 不完全真值表和逆向真值表 165
6.7 論證、條件句和重言式 170
第7章 演繹方法 173
7.1 與真值表相對的自然推演 174
7.2 有效性的形式證明 174
7.3 替換規則（1） 182
7.4 替換規則（2） 188
7.5 條件證明 198
7.6 間接證明 202
第8章 量詞理論 209
8.1 命題邏輯不夠用 210
8.2 符號語102：量詞邏輯的語言 210
8.3 有效性證明 218
8.4 條件證明與間接證明 225
8.5 無效性的證明 228
第9章 歸納 235
9.1 歸納概述 236
9.2 類比論證 239
9.3 類比論證的評價 241
9.4 說明與假說 246
9.5 對最佳說明的論證 250
附錄 真值樹 259
A.1 命題邏輯 260
A.2 量詞邏輯 266