逻辑要义 原书第2版PDF电子书下载

第1章 基本的逻辑概念 1

1.1什么是逻辑？ 2

1.2命题和语句 2

1.3论证、前提和结论 3

1.4论证和说明 6

1.5论证的辨识 8

A.前提指示词和结论指示词 8

B.语境中的论证 11

C.非陈述形式的前提 11

D.未陈述的命题 12

1.6演绎和有效性 15

1.7有效性和真假 17

1.8归纳与概率 20

1.9论证的分析 21

A.解析论证 21

B.图解论证 22

C.交织的论证 23

1.10复杂的论证性语段 24

第2章 非形式谬误 31

2.1什么是谬误？ 32

2.2相干性谬误 33

R1.诉诸无知 33

R2.诉诸不当权威 35

R3.人身攻击 38

R4.诉诸情感 39

R5.诉诸怜悯 40

R6.诉诸威力 41

R7.结论不相干 42

2.3预设性谬误 45

P1.复杂问语 45

P2.虚假原因 46

P3.窃取论题 47

P4.偶性 47

P5.轻率概括（逆偶性） 48

P6.隐藏证据 49

P7.假二分法 50

2.4歧义性谬误 52

A1一词多义 52

A2.歧读 53

A3.重读 54

A4.合举 55

A5.分举 56

第3章 直言命题 63

3.1直言逻辑 64

3.2直言命题与类 64

3.3直言命题的符号表示和文恩图 68

3.4周延性 71

3.5存在含义 73

3.6亚里士多德型对当方阵和直接推论 75

A.矛盾关系 75

B.反对关系 76

C.下反对关系 76

D.差等关系 77

3.7布尔型对当方阵 80

3.8逻辑等值和直接推论 81

A.换位 81

B.换质 83

C.换质位 85

第4章 直言三段论 93

4.1标准形式直言三段论 94

A.大项、小项和中项 94

B.式 95

C.格 95

4.2三段论论证的性质 97

4.3用于检验三段论的文恩图方法 99

4.4三段论规则和三段论谬误 105

规则1：避免四词项 105

规则2：中项必须至少在一个前提中周延 106

规则3：在结论中周延的词项必须在相关的前提中周延 107

规则4：避免两个否定前提 108

规则5：如果有一个前提是否定的，那么结论必须是否定的 108

规则6：从两个全称前提得不出特称结论 109

第5章 日常语言中的论证 115

5.1日常语言中的三段论论证 116

5.2三段论论证中词项数量的归约 116

5.3直言命题的标准化 119

A.单称命题 119

B.谓项是形容词或形容词短语的直言命题 120

C.动词不是标准形式联项“是”的直言命题 121

D.语词不按标准顺序排列的直言命题 122

E.量词不标准的直言命题 122

F.区别命题 123

G.不带量词的命题 124

H.不具有标准形式但有逻辑等值的标准形式供选的命题 124

I.除外命题 125

J.另外的复杂量词 125

5.4统一翻译 127

5.5省略三段论 129

第6章 符号逻辑 135

6.1现代逻辑的符号语言 136

6.2符号语101：命题逻辑的语言 136

A.否定 138

B.合取 138

C.析取 139

D.实质蕴涵（实质条件句） 139

E.双条件句（实质等值） 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替换规则（1） 182

7.4替换规则（2） 188

拇指规则：进行演绎证明的策略 193

7.5条件证明 198

7.6间接证明 202

第8章 量词理论 209

8.1命题逻辑不够用 210

8.2符号语102：量词逻辑的语言 210

A.单称命题、主项和谓项 210

B.全称命题和特称命题 212

C.有时陈述更复杂 213

8.3有效性证明 218

8.4条件证明与间接证明 225

构造量化条件证明和间接证明的拇指规则 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