普通高等教育十二五规划教材 逻辑学教程 第3版PDF电子书下载

前言 1

第一章 导论 1

1逻辑学的研究对象 1

一、逻辑与逻辑学 1

二、思维的形式结构 3

三、逻辑方法 4

2学习逻辑学的意义 5

一、增强人们的推理能力，提高人们的思维素质 5

二、帮助人们学会“讲道理”，培养人们“言之成理、持之有故”的文明习惯 6

三、帮助人们掌握辨谬的工具，提高人们识别真假对错的能力 7

3逻辑学简史 8

思考题 16

第二章 传统命题逻辑 17

1传统命题逻辑概述 17

一、命题及其分类 17

二、推理及其分类 19

2联言命题及其推理 22

一、联言命题及其逻辑定义 22

二、联言推理 23

3选言命题及其推理 25

一、选言命题及其逻辑定义 25

二、选言推理 27

4假言命题及其推理 30

一、假言命题及其逻辑定义 30

二、假言推理 34

5负命题及其推理 37

一、负命题及其逻辑定义 37

二、复合命题的负命题及其具有范式意义的等值命题 38

三、负命题的等值推理 40

6其他关于复合命题的推理 41

一、假言易位推理 41

二、假言三段论 42

三、归谬推理 43

四、反三段论 44

五、二难推理 44

7传统命题逻辑的应用及案例分析 49

练习题 54

第三章 基于真值表的命题逻辑 64

1真值联结词及真值表 64

一、真值联结词及其逻辑定义 64

二、复合命题的真值表 68

三、真值函数 71

2联结词的性质 72

一、联结词的可定义性 72

二、联结词的完全性 73

3重言式的逻辑分析 75

一、常用的逻辑规律 75

二、重言式的逻辑性质 76

4推理的有效性及判定方法 78

一、什么是有效推理 79

二、用完全真值表判定有效推理 79

三、用简化真值表判定有效推理 80

四、用真值树判定有效推理 81

五、逻辑后承 84

5范式 86

一、范式的定义 87

二、范式存在定理及求范式方法 88

三、完全析取范式与完全合取范式 91

练习题 95

第四章 命题演算形式系统 99

1形式系统概述 99

一、公理化和公理系统 99

二、形式化和形式系统 100

三、形式系统的其他重要概念 102

2命题演算系统P的结构 103

一、P的形式语法 103

二、P的公理模式 105

三、P的推理规则 105

3P的内定理及其证明 105

一、P的定理的严格证明 106

二、应用导出规则证明P的定理 108

三、应用演绎定理证明P的定理 110

四、P的定义式定理及其证明 117

4P的元理论 125

一、P的语义解释与真值赋值 126

二、P的可靠性 128

三、P的一致性 129

四、P的完全性 130

练习题 132

第五章 传统谓词逻辑 136

1关于概念的逻辑 136

一、什么是概念 137

二、概念的内涵与外延 137

三、概念的分类 138

四、概念的外延关系 140

2直言命题的逻辑分析 144

一、什么是直言命题 144

二、直言命题的种类 144

三、直言命题形式的欧拉图示 146

四、词项的周延性 147

五、直言命题之间的对当关系 149

3直言命题直接推理 151

一、对当关系推理 151

二、直言命题变形推理 153

4三段论 155

一、三段论的基本概念 156

二、三段论的一般规则 157

三、三段论的格 160

四、三段论的式 161

5传统谓词逻辑的应用及案例分析 163

练习题 169

第六章 一阶谓词逻辑 177

1从传统谓词逻辑到现代谓词逻辑 177

2命题的一阶谓词逻辑分析 179

一、个体词、个体函数词、谓词 180

二、量词 181

三、原子命题的符号化 181

四、量化命题的符号化 182

3一阶谓词语言的语法和语义 188

一、L1的语法 188

二、L1的语义 191

4一阶谓词逻辑的语义推理 195

一、代入 195

二、字母变易 197

5前束范式 198

6一阶谓词演算系统LNP 201

一、量词销去与引入的规则 201

二、量词互换规则 208

三、引进主项假设的规则 210

四、关于量词的推理规则在带量词的关系命题推理中的应用 212

练习题 217

第七章 模态逻辑 221

1模态逻辑概述 221

一、什么是模态逻辑 221

二、模态逻辑发展简史 222

三、学习模态逻辑的意义 224

2传统模态逻辑 224

一、基本模态命题及其推理 224

二、复合模态命题 227

三、叠置模态命题 228

四、规范命题 228

五、规范命题的对当关系及其推理 229

3模态命题演算 231

一、模态命题演算公理系统的构成 232

二、模态命题演算公理系统T 234

4可能世界语义学 239

一、模态词的语义解释和模型 239

二、模态命题公式的赋值定义及有效性 240

5模态命题逻辑元理论 243

一、可靠性 243

二、一致性 245

三、完全性 245

6模态谓词演算 246

练习题 251

第八章 逻辑基本规律 256

1逻辑基本规律概述 256

2同一律 258

3矛盾律 262

4排中律 267

练习题 268

第九章 归纳逻辑 278

1归纳逻辑概述 278

一、什么是归纳逻辑 278

二、归纳逻辑发展史 279

三、研究归纳逻辑的意义 281

2枚举归纳推理 282

3科学归纳推理与典型归纳推理 285

一、科学归纳推理 286

二、典型归纳推理 287

4求因果联系归纳推理 288

一、因果联系的一般特点 288

二、求因果联系的推理 289

5类比推理 296

6概率推理与统计推理 298

一、随机事件与概率 298

二、概率推理 301

三、统计推理 302

练习题 304

第十章 语用逻辑 312

1语境 312

一、概念的提出 312

二、语境的分类 315

三、语境的功能 316

2言语行为 317

一、理论的形成和发展 317

二、语旨行为的分类 319

三、语旨行为的恰当性条件 321

3隐涵 322

一、合作原则与准则 322

二、谈话隐涵 323

三、扩展了的合作准则 325

4预设 327

一、预设的语用特征 327

二、预设的种类 328

三、预设的应用 330

练习题 332

主要参考文献 339