渠海霞

推薦序
譯者序
前言

第一篇　 日常語言中的邏輯
第1章　　命題和真假3
第2章　　推理和演繹7
第3章　　否定16
3.1　雙重否定16
3.2　矛盾律與排中律18
3.3　否定和反對20
第4章　　我們接下來要學什麼24
第５章　　聯言、選言和德·摩根定律27
5.1　聯言和選言27
5.2　聯言的否定即否定的選言，選言的
否定即否定的聯言30
第6章　　排除法35
第7章　　假言和相反、倒換、對偶38
7.1　“如果”的意思38
7.2　“如果P則Q”的相反、倒換、對偶41
7.3　“F是G”的相反、倒換、對偶47
7.4　將德·摩根定律和對偶相結合50
第8章　　對偶論證法53
第９章　　推移律58
第10章　　歸謬法61
第11章　　全稱命題、存在命題、單稱命題67
第12章　　運用“所有”和“有的”的演繹71
第13章　　全稱和存在的德·摩根定律79
13.1　全稱的否定即否定的存在，存在
的否定即否定的全稱79
13.2　全稱類似聯言，存在類似選言81
13.3　即使野槌蛇不存在，也可以說
“所有的野槌蛇”83
13.4　“也存在”比“存在”包含的意義
更多87
第14章　　將全稱和存在相結合90
14.1　將全稱和存在相結合這類命題
的意義90
14.2　把德·摩根定律運用於全稱和存在
相結合的命題98
第15章　　第一篇的複習101

第二篇　創制出表述邏輯的符號語言
第16章　　邏輯學是怎樣的學問106
16.1　演繹重在形式106
16.2　“邏輯常項”是理解邏輯學
最重要的概念109
16.3　邏輯的本質在於語言的意義114
16.4　邏輯常項決定邏輯學的涵蓋範圍116
第17章　　否定的意義119
17.1　二值原理120
17.2　否定的定義121
17.3　雙重否定律122
第18章　　聯言和選言的意義125
18.1　聯言的定義125
18.2　選言的定義126
18.3　使用符號的原因127
第19章　　邏輯公式130
第20章　　命題邏輯的邏輯定律（1）：關於否定、
聯言、選言134
20.1　矛盾律134
20.2　排中律137
20.3　命題邏輯的德·摩根定律138
第21章　　假言的意義141
21.1　假言的定義141
21.2　電腦和邏輯電路144
21.3　邏輯公式的定義145
第22章　　命題邏輯的邏輯定律（2）：加上假言149
22.1　確認A和A的對偶為等值149
22.2　前件肯定式與後件否定式
（對偶論證法）151
第23章　　現在我們正在做什麼153
23.1　回顧之前的內容153
23.2　假言的恒真式和演繹154
第24章　　製作各種邏輯公式的真值表162
24.1　P≡Q的真值表162
24.2　從矛盾中可以得出任何結論163
24.3　製作真值表很有趣嗎164
第25章　　將“所有”和“有的（存在）”加進
邏輯常項168
25.1　單稱命題、個體變項、論域169
25.2　全稱命題和存在命題的符號化170
第26章　　謂詞邏輯的邏輯公式176
第27章　　謂詞邏輯的德·摩根定律181
第28章　　所有的哲學家都是懶漢，有的
哲學家是懶漢183
第29章　　有效式188
29.1　如果否定“有的哲學家是懶漢”會怎樣188
29.2　怎麼解釋都為真的邏輯公式190
29.3　如何表示是否為有效式195
第30章　　多重量化198
第31章　　公理系統209
31.1　公理和定理210
31.2　命題邏輯的公理系統219
31.3　不完全性定理225
練習問題的解答228