邏輯要義（第2版）

簡目
致中國讀者　001
前　言　006 第1 章　基本的邏輯概念　001
第2 章　非形式謬誤　031
第3 章　直言命題　063
第4 章　直言三段論　093
第5 章　日常語言中的論證　115
第6 章　符號邏輯　135
第7 章　演繹方法　173
第8 章　量詞理論　209
第9 章　歸納　235 重要詞匯　273
譯后記　291
出版后記　292
細目 致中國讀者　001
前　言　006
第1 章　基本的邏輯概念　001
1.1　什么是邏輯？　002
1.2　命題和語句　002
1.3　論證、前提和結(jié)論　003
1.4　論證和說明　006
1.5　論證的辨識　008
A.前提指示詞和結(jié)論指示詞　008
B. 語境中的論證　011
C. 非陳述形式的前提　011
D.未陳述的命題　012
1.6　演繹和有效性　015
1.7　有效性和真假　017
1.8　歸納與概率　020
1.9　論證的分析　021
A. 解析論證　021
B. 圖解論證　022
C. 交織的論證　023
1.10　復雜的論證性語段 024
第2 章　非形式謬誤　031
2.1　什么是謬誤？　032
2.2　相干性謬誤　033
R1. 訴諸無知　033
R2. 訴諸不當權(quán)威　035
R3. 人身攻擊　038
R4. 訴諸情感　039
R5. 訴諸憐憫　040
R6. 訴諸威力　041
R7. 結(jié)論不相干　042
2.3　預設(shè)性謬誤　045
P1. 復雜問語　045
P2. 虛假原因　046
P3. 竊取論題　047
P4. 偶性　047
P5. 輕率概括（逆偶性）　048
P6. 隱藏證據(jù)　049
P7. 假二分法　050
2.4　歧義性謬誤　052
A1. 一詞多義　052
A2. 歧讀　053
A3. 重讀　054
A4. 合舉　055
A5. 分舉　056
第3 章　直言命題　063
3.1　直言邏輯　064
3.2　直言命題與類　064
3.3　直言命題的符號表示和文恩圖　068
3.4　周延性　071
3.5　存在含義　073
3.6　亞里士多德型對當方陣和
　　 直接推論　075
A. 矛盾關(guān)系　075
B. 反對關(guān)系　076
C. 下反對關(guān)系　076
D. 差等關(guān)系　077
3.7　布爾型對當方陣　080
004
3.8　邏輯等值和直接推論　081
A. 換位　081
B. 換質(zhì)　083
C. 換質(zhì)位　085
第4 章　直言三段論　093
4.1　標準形式直言三段論　094
A.大項、小項和中項　094
B. 式　095
C. 格　095
4.2　三段論論證的性質(zhì)　097
4.3　用于檢驗三段論的文恩圖方法　099
4.4　三段論規(guī)則和三段論謬誤　105
規(guī)則1：避免四詞項　105
規(guī)則2：中項必須至少在一個前提
　　 　中周延　106
規(guī)則3：在結(jié)論中周延的詞項必須
　　 　在相關(guān)的前提中周延　107
規(guī)則4：避免兩個否定前提　108
規(guī)則5：如果有一個前提是否定的，
　　 　那么結(jié)論必須是否定的　108
規(guī)則6：從兩個全稱前提得不出特
　　 　稱結(jié)論　109
第5 章　日常語言中的論證　115
5.1　日常語言中的三段論論證　116
5.2　三段論論證中詞項數(shù)量的歸約　116
5.3　直言命題的標準化　119
A.單稱命題　119
B. 謂項是形容詞或形容詞短語的
　直言命題　120
C. 動詞不是標準形式聯(lián)項“是”
　的直言命題　121
D.語詞不按標準順序排列的直言
　命題　122
E. 量詞不標準的直言命題　122
F. 區(qū)別命題　123
G.不帶量詞的命題　124
H. 不具有標準形式但有邏輯等值
　的標準形式供選的命題　124
I.除外命題　125
J. 另外的復雜量詞　125
5.4　統(tǒng)一翻譯　127
5.5　省略三段論　129
第6 章　符號邏輯　135
6.1　現(xiàn)代邏輯的符號語言　136
6.2　符號語101：命題邏輯的語言　136
A.否定　138
B. 合取　138
C. 析取　139
D.實質(zhì)蘊涵（實質(zhì)條件句）　139
E. 雙條件句（實質(zhì)等值）　140
F. 分組記號　140
6.3　作為復合命題分析工具的
　　 真值表　146
6.4　重言的、矛盾的和偶真的陳述
　　 形式　151
6.5　檢驗論證有效性之真值表　156
A.若干常見的有效論證形式　159
B. 常見的無效論證形式　161
C. 較復雜的論證　162
6.6　不完全真值表和逆向真值表　165
A.不完全真值表　165
B. 逆向真值表　167
6.7　論證、條件句和重言式　170
第7 章　演繹方法　173
7.1　與真值表相對的自然推演　174
7.2　有效性的形式證明　174
7.3　替換規(guī)則（1）　182
7.4　替換規(guī)則（2）　188
拇指規(guī)則：進行演繹證明的策略　193
7.5　條件證明　198
7.6　間接證明　202
005
第8 章　量詞理論　209
8.1　命題邏輯不夠用　210
8.2　符號語102：量詞邏輯的語言　210
A.單稱命題、主項和謂項　210
B. 全稱命題和特稱命題　212
C. 有時陳述更復雜　213
8.3　有效性證明　218
8.4　條件證明與間接證明　225
構(gòu)造量化條件證明和間接證明的
拇指規(guī)則　227
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
量詞否定　266
存在示例　266
全稱示例　267
重要詞匯　273
譯后記　291
出版后記　292