普通高等教育十二五规划教材 逻辑学教程 第3版2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

普通高等教育十二五规划教材 逻辑学教程 第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一阶谓词演算系统LNP201

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

二、量词互换规则208

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

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

练习题217

第七章 模态逻辑221

1模态逻辑概述221

一、什么是模态逻辑221

二、模态逻辑发展简史222

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

2传统模态逻辑224

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

二、复合模态命题227

三、叠置模态命题228

四、规范命题228

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

3模态命题演算231

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

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

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