大学逻辑教程PDF电子书下载

前言 1

第一章 绪论 1

第一节 什么是逻辑学 1

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

二、逻辑学的研究对象 1

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

一、逻辑学的性质 5

二、逻辑学的作用 5

第三节 逻辑简史 7

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

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

习题 9

第二章 概念 11

第一节 概念的概述 11

一、什么是概念 11

二、概念与语词 12

三、概念的内涵和外延 13

第二节 概念的种类 15

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

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

三、正概念和负概念 18

第三节 概念间的关系 19

一、全同关系 19

二、属种关系 20

三、种属关系 21

四、交叉关系 22

五、全异关系 23

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

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

二、概念的限制 26

三、概念的概括 27

第五节 定义 28

一、什么是定义 28

二、定义的种类 29

三、定义的规则 31

第六节 划分 33

一、什么是划分 33

二、划分的种类 34

三、划分的规则 35

四、分类与列举 36

习题 37

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

第一节 命题与推理概述 44

一、什么是命题 44

二、命题的种类 46

三、命题和语句 47

四、什么是推理 48

五、推理的种类 49

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

第二节 性质命题 52

一、什么是性质命题 52

二、性质命题的种类 53

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

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

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

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

一、对当关系直接推理 61

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

习题 66

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

第一节 三段论概述 71

一、三段论的定义 71

二、三段论的结构 72

三、三段论的公理 72

第二节 三段论的规则 73

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

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

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

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

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

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

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

第三节 三段论的格与式 77

一、三段论的格 77

二、三段论的式 80

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

一、三段论的省略式 82

二、复合三段论 84

习题 86

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

第一节 什么是关系命题 91

一、关系命题的定义 91

二、关系命题的结构 91

第二节 关系的逻辑性质 94

一、对称性 94

二、传递性 95

第三节 关系命题推理 96

一、直接关系推理 96

二、间接关系推理 97

习题 100

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

第一节 联言命题 104

第二节 选言命题 106

一、什么是选言命题 106

二、相容选言命题 107

三、不相容选言命题 108

第三节 假言命题 109

一、什么是假言命题 109

二、充分条件假言命题 110

三、必要条件假言命题 111

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

第四节 负命题 113

习题 115

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

第一节 联言推理 121

一、分解式 121

二、组合式 122

第二节 选言推理 122

一、相容选言推理 123

二、不相容选言推理 125

第三节 假言推理 126

一、假言换位推理 126

二、假言直言推理 128

三、假言连锁推理 135

第四节 负命题推理 138

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

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

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

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

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

第五节 二难推理 143

一、什么是二难推理 143

二、二难推理的种类 143

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

习题 147

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

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

一、真值模态命题 153

二、真值模态推理 157

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

一、规范模态命题 165

二、规范模态推理 170

习题 174

第九章 归纳推理 177

第一节 归纳推理概述 177

一、什么是归纳推理 177

二、归纳推理的种类 180

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

一、完全归纳推理 180

二、不完全归纳推理 183

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

一、什么是因果联系 186

二、穆勒五法 187

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

一、概率推理 194

二、统计推理 197

习题 199

第十章 类比推理和假说 205

第一节 类比推理 205

一、什么是类比推理 205

二、类比推理的种类 208

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

四、类比推理的作用 210

第二节 假说 212

一、什么是假说 212

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

三、假说的验证 218

习题 220

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

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

第二节 同一律 225

一、同一律的内容 225

二、同一律的逻辑要求 226

三、同一律的作用 229

第三节 矛盾律 230

一、矛盾律的内容 230

二、矛盾律的逻辑要求 232

三、矛盾律的作用 234

第四节 排中律 236

一、排中律的内容 236

二、排中律的逻辑要求 237

三、排中律的作用 239

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

第五节 充足理由律 240

一、充足理由律的内容 240

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

三、充足理由律的作用 242

习题 243

第十二章 预设 248

第一节 语义预设 248

一、什么是语义预设 248

二、语义预设的真值定义 249

三、命题的预设和非命题的预设 250

第二节 语用预设 255

一、语用预设的定义 255

二、潜在的预设和实际的预设 258

第三节 预设的运用 260

一、预设的析出 260

二、预设的真实性或合适性 262

三、有目的地设置预设 263

习题 266

第十三章 论证 269

第一节 论证的概述 269

一、什么是论证 269

二、逻辑论证的作用 272

第二节 论证的种类 274

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

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

第三节 论证的规则 282

一、论题的规则 282

二、论据的规则 283

三、论证方式的规则 285

第四节 反驳 287

一、什么是反驳 287

二、反驳的种类 288

三、反驳的规则 292

习题 293

第十四章 经典命题逻辑 297

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

一、命题 297

二、命题形式 298

三、真值函数 306

第二节 重言式 312

一、重言式 312

二、重言式的判定 313

第三节 范式 325

一、合取范式 325

二、析取范式 326

三、范式存在定理 327

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

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

一、求否定运算 332

二、求对偶运算 333

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

一、建立证明的规则 335

二、推理规则 335

第六节 命题演算 339

一、形式系统 339

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

三、自然演算系统 346

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

习题 353

第十五章 经典谓词逻辑 356

第一节 谓词逻辑的公式 356

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

二、谓词逻辑的公式 360

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

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

一、求否定运算 366

二、求对偶运算 367

第三节 范式 368

一、前束范式 368

二、求前束范式的方法 368

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

一、形式证明的步骤 371

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

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

第五节 谓词演算 383

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

二、自然演算系统 392

第六节 解释方法 398

一、什么是解释方法 398

二、解释方法的作用 400

习题 403

主要参考书目 406