逻辑学教程PDF电子书下载

第一章 绪论 1

第一节 逻辑学的对象 1

一、思维、语言与逻辑 1

二、逻辑学的对象 3

三、逻辑的类型 6

第二节 逻辑学的性质、作用及体系 9

一、逻辑学的性质 9

二、逻辑学的作用 11

三、逻辑学的体系 12

一、形式化方法和非形式化方法 13

第三节 逻辑学的研究方法 13

二、公理化方法和自然演绎方法 14

第四节 逻辑学的发展简史 16

一、逻辑学的历史发展 16

二、逻辑学的现代概况 18

第二章 普通逻辑思维的基本规律 20

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

一、逻辑思维基本规律的普遍性 20

二、逻辑思维基本规律的确定性 21

三、逻辑思维基本规律的客观性 21

一、同一律的基本内容 22

第二节 同一律 22

二、同一律的逻辑要求和违反它的逻辑错误 23

三、同一律的作用 25

第三节 矛盾律 26

一、矛盾律的基本内容 26

二、矛盾律的逻辑要求和违反它的逻辑错误 27

三、矛盾律的作用 29

第四节 排中律 30

一、排中律的基本内容 30

二、排中律的要求和违反它的逻辑错误 31

一、三条逻辑规律之间的联系 32

三、排中律的作用 32

第五节 逻辑思维基本规律之间的关系 32

二、三条逻辑思维规律之间的区别 33

第三章 命题逻辑 37

第一节 命题逻辑概述 37

一、命题、语句和判断 37

二、复合命题推理概述 39

第二节 常见的复合命题及其推理 42

一、负命题及其推理 42

二、联言命题及其推理 44

三、选言命题及其推理 46

四、假言命题及其推理 50

五、其他常见的关于联结词的推理 55

第三节 命题逻辑的自然演绎系统NP 56

一、形式语言？ 56

二、推导规则 58

三、NP系统中的语法推出关系 59

※命题逻辑的一个公理系统PC 69

第四节 命题逻辑语义有效性的判定 71

一、真值函数和重言式 71

二、NP系统语义有效性的判定 74

三、NP系统的可靠性和完全性 80

第四章 传统词项逻辑 86

第一节 传统词项逻辑概述 86

一、简单命题和词项 86

二、传统词项逻辑与现代谓词逻辑 86

第二节 词项 87

一、词项的定义及特征 87

二、词项的种类 89

三、词项外延间的关系 91

四、明确词项的逻辑方法 93

一、直言命题的结构 99

第三节 直言命题概述 99

二、直言命题的种类 100

三、直言命题形式的文恩图示 100

四、直言命题主、谓项的周延性 101

第四节 直言命题的直接推理 102

一、直言命题对当关系推理 102

二、直言命题的变形推理 105

第五节 三段论 106

一、三段论的定义 106

二、判定三段论式有效性的方法 107

三、三段论的规则 108

四、三段论的导出规则 110

第五章 现代谓词逻辑 115

第一节 现代谓词逻辑概述 115

一、命题逻辑与谓词逻辑 115

二、个体词和谓词 115

三、量词和量词的辖域 118

第二节 谓词公式的语义解释 121

一、谓词公式的真假 121

二、谓词公式解释的步骤和规则 122

三、谓词公式解释的作用 124

一、关于全称量词的推理规则 125

第三节 谓词逻辑的自然推理 125

二、关于存在量词的推理规则 127

三、一阶谓词逻辑的自然演绎系统——LNP系统 130

※附录 ：谓词逻辑的公理系统 135

第六章 模态逻辑 145

第一节 模态逻辑概述 145

一、模态逻辑的定义 145

二、现代模态逻辑的内容和特点 146

三、模态命题逻辑的自然推理系统TN 150

一、规范模态逻辑的定义 153

第二节 规范模态逻辑 153

二、规范逻辑系统DT 155

第三节 时态逻辑 157

一、时态逻辑 157

二、极小系统K1 160

第七章 归纳逻辑 165

第一节 归纳逻辑概述 165

一、归纳逻辑的定义 165

二、归纳逻辑的性质和作用 166

三、归纳和演绎的关系 167

一、完全归纳推理 168

第二节 传统归纳逻辑 168

二、简单枚举归纳推理 169

三、类比归纳推理 171

第三节 现代归纳逻辑 175

一、概率归纳推理 175

二、统计归纳推理 182

第八章 科学逻辑方法 188

第一节 科学逻辑方法概述 188

一、逻辑与科学方法 188

二、科学解释的逻辑方法 189

三、科学预测的逻辑方法 192

第二节 探求因果联系的逻辑方法 193

一、穆勒“五法” 194

二、溯因法 198

第三节 假说的逻辑方法 201

一、假说及其基本特征 201

二、假说形成的逻辑方法 203

三、假说检验的逻辑方法 206

第九章 逻辑语用学 213

第一节 逻辑语用学概述 213

一、逻辑语用学的历史发展 213

二、言语交际图式 215

一、语言与言语概述 217

第二节 语言与言语 217

二、语境 218

三、预设 223

第三节 言语行为与合作原则 226

一、言语行为理论 226

二、合作原则与准则 230

第四节 语用推理 233

一、语用推理概述 233

二、一种常见的语用推理——隐涵 234

一、论证的定义及构成 238

第一节 论证的概述 238

第十章 论证 238

二、论证与推理 241

三、论证的作用 241

第二节 论证的种类 242

一、必然性论证和或然性论证 243

二、直接论证和间接论证 246

第三节 论证的评估和建构 248

一、论证的评估 248

二、论证的建构 250

一、关于论题的规则 252

第四节 论证的规则 252

二、关于论据的规则 253

三、关于论证方式的规则 254

第五节 反驳 256

一、反驳的定义及组成 256

二、反驳的方法和种类 257

第十一章 非形式谬误的逻辑辨析 263

第一节 谬误概述 263

一、谬误的定义 263

二、辨析谬误的意义 263

三、谬误的分类 264

第二节 非形式谬误的辨析 266

一、词项型谬误的逻辑辨析 266

二、命题型谬误的逻辑辨析 269

三、推理型谬误的逻辑辨析 272

四、论证型谬误的逻辑辨析 273

第三节 破斥诡辩 274

一、诡辩的定义 274

二、诡辩与谬误的关系 274

三、诡辩的识别与破斥 275

四、诡辩术与论辩技巧的区别 278

主要参考书目 281