简明逻辑学导论

译　序　陈波　1

前　言　５

第一编　非形式逻辑

第1章　基本概念　3

1.1 论证、前提和结论　5

杰出的逻辑学家 亚里士多德　9

逻辑史注记　10

练习题1.1　12

1.2 论证之认证　13

简单的非推理的话语段落　15

说明性话语段落　17

例　解　18

解　说　19

条件陈述　20

小　结　23

练习题1.2　23

1.3 演绎与归纳　25

演绎论证形式　26

归纳论证形式　28

另外的考虑　29

小　结　30

练习题1.3　31

1.4 有效性、真实性、可靠性、力度、恰当性　32

演绎论证　32

归纳论证　35

杰出的逻辑学家 克吕西波　39

小　结　40

练习题1.4　40

1.5 论证形式：非有效性之证实　41

反例方法　44

练习题1.5　47

1.6 扩展的论证　48

练习题1.6　52

第2章　语言：意义与定义　55

2.1 意义的多样性　57

练习题2.1　61

2.2 词项的内涵与外延　63

练习题2.2　66

2.3 定义及其目的　66

约定定义　67

词典定义　68

限定定义　69

杰出的逻辑学家 彼得·阿伯拉尔　70

理论定义　71

诱导定义　71

练习题2.3　72

2.4 定义的技术　73

外延（指称）定义　73

内涵（涵义）定义　75

练习题2.4 　79

2.5 词典定义的准则　79

练习题2.5　83

第3章　非形式谬误　85

3.1 谬误概述　87

练习题3.1　 89

3.2 关联性谬误　89

1. 诉诸强力　90

2. 诉诸怜悯　91

3. 诉诸公众　92

4. 人身攻击　93

5. 偶性的谬误　96

6. 稻草人　97

7. 错失主旨　98

8. 熏　鲱　99

练习题3.2 　100

3.3 弱归纳谬误　101

9. 诉诸不胜任的权威　101

10. 诉诸无知　103

11. 轻率概括　105

12. 假因果　106

13. 滑坡的谬误　109

14. 弱类比　110

杰出的逻辑学家 奥康的威廉　111

练习题3.3 　112

3.4 预先假设、含糊不清和语法类比的谬误　113

15. 乞求论题　114

16. 复杂问语　117

17. 假二择一　119

18. 遮盖论据　120

19. 歧　义　121

20. 含　糊　122

21. 合　成　124

22. 分　解　126

练习题3.4 　129

3.5 日常语言中的谬误　131

谬误之洞察　131

谬误之避免　132

练习题3.5　137

第二编　形式逻辑

第4章　直言命题　143

4.1 直言命题的组成　145

练习题4.1　 147

4.2 质、量和周延　147

练习题4.2 　151

4.3 文恩图与现代的对当方阵　151

亚里士多德与布尔　151

杰出的逻辑学家 乔治·布尔　152

文恩图　154

现代的对当方阵　156

直接推理之检验　156

练习题4.3 　159

4.4 换位、换质和换质位　160

换　位　160

换　质　162

换质位　164

练习题4.4　167

4.5 传统的对当方阵　168

直接推理之检验　170

练习题4.5　173

4.6 文恩图与传统的观点　174

传统的对当方阵之证明　176

直接推理之检验　177

练习题4.6　180

4.7 把日常语言的陈述翻译成直言形式 180

1. 没有名词的词项　181

2. 非标准的动词　181

3. 单称命题　181

4. 副词和代词　183

5. 未表达的量词　183

6. 非标准的量词　184

7. 条件陈述　184

8. 区别命题　185

9. “那（些）仅有的”　186

10. 除外命题　187

练习题4.7 　188

第5章　直言三段论　189

5.1 标准形式、式和格　191

练习题5.1　195

5.2 文恩图　196

杰出的逻辑学家 约翰·文恩　198

布尔的观点　199

亚里士多德的观点　203

练习题5.2　206

5.3 规则和谬误　207

布尔的观点　207

亚里士多德的观点　210

规则之证明　211

练习题5.3　213

5.4 减少词项的数目　214

练习题5.4　215

5.5 日常语言的论证　216

练习题5.5　218

5.6 省略三段论　219

练习题5.6　221

5.7 连锁推理　221

练习题5.7　225

第6章　命题逻辑　227

6.1 符号和翻译　229

杰出的逻辑学家 哥特弗里德·

威廉·莱布尼茨　236

练习题6.1　237

6.2 真值函数　238

逻辑算子之定义　238

较长陈述的真值之计算　242

与日常语言的进一步比较　243

练习题6.2　247

6.3 陈述的真值表　247

陈述之分类　250

陈述之比较　251

练习题6.3　253

6.4 论证的真值表　254

练习题6.4　256

6.5 间接真值表　257

论证有效性之检验　257

陈述一致性之检验　260

杰出的逻辑学家 奥古斯特·德摩根 261

练习题6.5　262

6.6 论证形式和谬误　263

常见论证形式　263

构造式二难推理和破斥式二难推理之反驳　267

关于非有效形式的注记　268

小结和应用　269

练习题6.6　273

第7章　命题逻辑的自然推演　277

7.1 蕴涵规则（一）　279

练习题7.1　284

7.2 蕴涵规则（二）　286

练习题7.2　291

7.3 置换规则（一）　293

练习题7.3　298

7.4 置换规则（二）　299

练习题7.4　304

7.5 条件证明　306

杰出的逻辑学家 哥特洛布·

弗雷格　308

练习题7.5　309

7.6 间接证明　310

练习题7.6　313

7.7 逻辑真理之证明　314

练习题7.7　315

第8章　谓词逻辑　317

8.1 符号与翻译　319

练习题8.1　325

8.2 推理规则之运用　326

练习题8.2　334

8.3 量词转换规则　334

杰出的逻辑学家 阿尔弗雷德·诺思·怀特海　伯特兰·罗素　335

练习题8.3　337

8.4 条件证明和间接证明　338

练习题8.4　341

8.5 无效性之证明　342

反例法　342

有限域法　343

练习题8.5　346

8.6 关系谓词和重叠量词　347

关系陈述之翻译　347

推理规则之运用　350

练习题8.6　354

8.7 同一性　355

简单同一性陈述　355

杰出的逻辑学家 库尔特·哥德尔 356

“仅仅”、“唯一的”、“没有……除了”　357

“除了”　357

最高级　358

数值陈述　358

限定摹状词　359

推理规则之运用　360

练习题8.7　363

第三编　归纳逻辑

第9章　类比与法律推理和道德推理 369

9.1 类比推理　371

9.2 法律推理　374

9.3 道德推理　378

练习题9　382

第10章　因果性和密尔方法　385

10.1 “原因”、 必要条件和充分条件　387

10.2 密尔五法　388

契合法　389

差异法　390

杰出的逻辑学家 约翰·斯图亚特·密尔　391

契合差异并用法　393

剩余法　395

共变法　396

10.3 密尔方法和科学　397

练习题10　402

第11章　概　率　405

11.1 概率论　407

11.2 概率演算　410

1. 限制的合取规则　411

2. 一般的合取规则　411

3. 限制的析取规则　412

4. 一般的析取规则　413

5. 否定规则　415

6. 贝叶斯定理　416

练习题11　420

第12章　统计推理　421

12.1 评价统计学　423

12.2 样　本　423

12.3 “平均数”的含义　427

12.4 离散度　429

12.5 图表和象形统计图　434

12.6 百分比　436

练习题12　438

第13章　假说/科学推理　441

13.1 假说方法　443

13.2 假说推理：来自科学的四个例子 445

镭　445

海王星　446

大气压力　447

自然发生说　449

13.3 假说的证明　450

杰出的逻辑学家 查尔斯·桑德尔·皮尔士　451

13.4 假说的试验性接受　453

练习题13　455

第14章　科学与迷信　457

14.1 科学和迷信的区别　459

14.2 证据支持　460

14.3 客观性　464

14.4 完整性　468

14.5 结论性评述　473

参考文献　474

附录：逻辑学与研究生层次的入学考试

一、 有关省略结论的问题　476

二、 有关省略前提的问题　478

三、 有关加强的问题　479

四、 有关削弱的问题　481

五、有关谬误的问题　482

六、有关自然演绎的问题　483

七、有关类似推理的问题　484

八、 有关论证形式或推理方法的问题　486

答　案　487

练习题答案　491

重要词汇　549

出版后记　569

......(更多)