目
錄
推薦序
譯者序
前言
**篇　 日常語言中的邏輯
第1章　　命題和真假3
第2章　　推理和演繹7
第3章　　否定16
3.1　雙重否定16
3.2　矛盾律與排中律18
3.3　否定和反對20
第4章　　我們接下來要學什么24
第５章　　聯(lián)言、選言和德·摩根定律27
5.1　聯(lián)言和選言27
5.2　聯(lián)言的否定即否定的選言，選言的
否定即否定的聯(lián)言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　全稱類似聯(lián)言，存在類似選言81
13.3　即使野槌蛇不存在，也可以說
“所有的野槌蛇”83
13.4　“也存在”比“存在”包含的意義
更多87
第14章　　將全稱和存在相結合90
14.1　將全稱和存在相結合這類命題
的意義90
14.2　把德·摩根定律運用于全稱和存在
相結合的命題98
第15章　　**篇的復習101
第二篇　創(chuàng)制出表述邏輯的符號語言
第16章　　邏輯學是怎樣的學問106
16.1　演繹重在形式106
16.2　“邏輯常項”是理解邏輯學
*重要的概念109
16.3　邏輯的本質(zhì)在于語言的意義114
16.4　邏輯常項決定邏輯學的涵蓋范圍116
第17章　　否定的意義119
17.1　二值原理120
17.2　否定的定義121
17.3　雙重否定律122
第18章　　聯(lián)言和選言的意義125
18.1　聯(lián)言的定義125
18.2　選言的定義126
18.3　使用符號的原因127
第19章　　邏輯公式130
第20章　　命題邏輯的邏輯定律（1）：關于否定、
聯(lián)言、選言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章　　現(xiàn)在我們正在做什么153
23.1　回顧之前的內(nèi)容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章　　公理系統(tǒng)209
31.1　公理和定理210
31.2　命題邏輯的公理系統(tǒng)219
31.3　不完全性定理225
練習問題的解答228