邏輯要義（第2版）

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