大学逻辑导论PDF电子书下载

上篇 3

第一章 绪论 3

第一节 什么是逻辑学 3

一、“逻辑”一词的含义 3

二、逻辑学的研究对象 3

第二节 逻辑学的性质和作用 7

一、逻辑学的性质 7

二、逻辑学的作用 7

第三节 逻辑简史 9

一、传统逻辑的诞生与发展 10

二、现代逻辑的兴起与发展 10

习题 11

一、什么是概念 13

第一节 概念的概述 13

第二章 概念 13

二、概念与语词 15

三、概念的内涵和外延 15

第二节 概念的种类 18

一、单独概念和普遍概念 18

二、集合概念和非集合概念 19

三、正概念和负概念 20

第三节 概念间的关系 21

一、全同关系 21

二、属种关系 22

三、种属关系 23

四、交叉关系 24

五、全异关系 25

一、概念内涵与外延间的反变关系 27

二、概念的限制 27

第四节 概念的限制与概括 27

三、概念的概括 28

第五节 定义 29

一、什么是定义 29

二、定义的种类 30

三、定义的规则 33

第六节 划分 34

一、什么是划分 34

二、划分的种类 35

三、划分的规则 36

四、分类与列举 37

习题 38

第三章 简单命题及其推理（上） 43

第一节 命题与推理概述 43

一、什么是命题 43

二、命题的种类 45

三、命题和语句 46

四、什么是推理 47

五、推理的种类 48

六、推理和复句（或句群） 50

第二节 性质命题 51

一、什么是性质命题 51

二、性质命题的种类 52

三、性质命题的真值规律 54

四、性质命题之间的真值关系 57

五、性质命题主、谓项的周延性 59

第三节 性质命题直接推理 60

一、对当关系直接推理 60

二、性质命题变形直接推理 62

习题 65

一、三段论的定义 69

第四章 简单命题及其推理（中） 69

第一节 三段论概述 69

二、三段论的结构 70

三、三段论的公理 70

第二节 三段论的规则 71

一、在三段论中有且只有三个不同的项 71

二、中项在前提中至少要周延一次 72

三、前提中不周延的项在结论中不得周延 73

四、两个否定前提不能推出结论 73

五、如果前提中有一个否定，结论必否定；如果结论否定，前提中必有一个否定 74

六、两个特称前提不能推出结论 74

七、如果两个前提中有一个特称，那么，结论必特称 75

第三节 三段论的格与式 76

一、三段论的格 76

二、三段论的式 79

一、三段论的省略式 80

第四节 三段论的省略式与复合三段论 80

二、复合三段论 82

习题 84

第五章 简单命题及其推理（下） 89

第一节 什么是关系命题 89

一、关系命题的定义 89

二、关系命题的结构 89

第二节 关系的逻辑性质 92

一、对称性 92

二、传递性 93

第三节 关系命题推理 94

一、直接关系推理 94

二、间接关系推理 96

习题 98

第一节 联言命题 101

第六章 复合命题及其推理（上） 101

一、什么是选言命题 103

第二节 选言命题 103

二、相容性选言命题 104

三、不相容性选言命题 105

第三节 假言命题 106

一、什么是假言命题 106

二、充分条件假言命题 107

三、必要条件假言命题 108

四、充分必要条件假言命题 109

第四节 负命题 111

习题 112

第一节 联言推理 116

一、分解式 116

第七章 复合命题及其推理（下） 116

二、组合式 117

第二节 选言推理 117

一、相容选言推理 118

二、不相容选言推理 120

第三节 假言推理 121

一、假言换位推理 121

二、假言直言推理 123

三、假言连锁推理 131

第四节 负命题推理 133

一、性质命题的负命题推理 134

二、联言命题的负命题推理 135

三、选言命题的负命题推理 135

四、假言命题的负命题推理 136

第五节 二难推理 138

一、什么是二难推理 138

五、负命题的负命题推理 138

二、二难推理的种类 139

三、破斥错误二难推理的方法 141

习题 143

第八章 模态命题及其推理 148

第一节 真值模态命题及其推理 148

一、真值模态命题 148

二、真值模态推理 152

第二节 规范模态命题及其推理 160

一、规范模态命题 160

二、规范模态推理 164

习题 169

第一节 归纳推理概述 171

一、什么是归纳推理 171

第九章 归纳推理 171

二、归纳推理的种类 174

第二节 完全归纳推理和不完全归纳推理 174

一、完全归纳推理 174

二、不完全归纳推理 177

第三节 探求因果联系的逻辑方法 180

一、什么是因果联系 180

二、穆勒五法 181

第四节 概率推理和统计推理 189

一、概率推理 189

二、统计推理 191

习题 193

第十章 类比推理和假说 197

第一节 类比推理 197

一、什么是类比推理 197

二、类比推理的种类 200

三、类比推理的逻辑要求 201

四、类比推理的作用 202

第二节 假说 204

一、什么是假说 204

二、假说形成的思维过程 205

三、假说的验证 210

习题 212

第十一章 逻辑思维基本规律 214

第一节 逻辑思维基本规律概述 214

第二节 同一律 215

一、同一律的内容 215

二、同一律的逻辑要求 216

三、同一律的作用 219

一、矛盾律的内容 220

第三节 矛盾律 220

二、矛盾律的逻辑要求 221

三、矛盾律的作用 224

第四节 排中律 226

一、排中律的内容 226

二、排中律的逻辑要求 227

三、排中律的作用 229

四、排中律与矛盾律的区别 230

第五节 充足理由律 230

一、充足理由律的内容 230

二、充足理由律的逻辑要求 232

三、充足理由律的作用 233

习题 233

第十二章 论证 237

第一节 论证的概述 237

一、什么是论证 237

二、逻辑论证的作用 240

第二节 论证的种类 242

一、直接论证和间接论证 242

二、演绎论证、归纳论证和类比论证 245

第三节 论证的规则 250

一、论题的规则 250

二、论据的规则 251

三、论证方式的规则 253

第四节 反驳 255

一、什么是反驳 255

二、反驳的种类 256

三、反驳的规则 260

习题 261

一、命题 265

第一节 命题、命题形式和真值函数 265

第十三章 经典命题逻辑 265

下篇 265

二、命题形式 266

三、真值函数 274

第二节 重言式 281

一、重言式 281

二、重言式的判定 282

第三节 范式 293

一、合取范式 293

二、析取范式 294

三、范式存在定理 295

四、利用重言式判定推理形式的正确性 297

第四节 求否定运算和求对偶运算 300

一、求否定运算 300

二、求对偶运算 301

二、推理规则 303

一、建立证明的规则 303

第五节 命题逻辑的形式证明 303

第六节 命题演算 307

一、形式系统 307

二、公理化命题演算系统 308

三、自然演算系统 314

四、命题演算系统的性质 321

习题 322

第十四章 经典谓词逻辑 325

第一节 谓词逻辑的公式 325

一、个体词、谓词和量词 325

二、谓词逻辑的公式 328

三、命题形式的谓词逻辑表示 330

第二节 求否定运算和求对偶运算 334

一、求否定运算 334

第三节 范式 336

二、求对偶运算 336

一、前束范式 337

二、求前束范式的方法 337

第四节 谓词逻辑的形式证明 340

一、形式证明的步骤 340

二、形式证明的推理规则 340

三、具体推理的形式证明 348

第五节 谓词演算 352

一、公理化谓词演算系统 352

二、自然演算系统 361

第六节 解释方法 367

一、什么是解释方法 367

二、解释方法的作用 369

习题 372

主要参考书目 375