逻辑学导论PDF电子书下载

第一章 绪论 1

第一节 逻辑学的研究对象 1

1.1关于“逻辑”这个词 1

1.2逻辑学是研究推理和论证的学问 2

1.3演绎与归纳 5

第二节 形式化——逻辑学研究方法的特点 7

2.1命题、推理的形式与内容 7

2.2推理的有效性只同形式相关 9

2.3逻辑学研究的形式化特征 12

第三节 逻辑学理论的意义及其与相关学科的关系 13

3.1逻辑学理论的重要意义 13

3.2逻辑学与思维科学的关系 15

3.3逻辑学与语言学的关系 18

第二章 词项 23

第一节 词项概述 23

1.1什么是词项 23

1.2词项的逻辑特征 25

1.3词项与语词、概念 27

第二节 词项的种类 29

2.1单独词项与普遍词项 29

2.2集合词项与非集合词项 30

2.3实词项与虚词项 32

2.4正词项与负词项 32

第三节 词项之间的关系 34

3.1相容关系 34

3.2不相容关系 38

第四节 明确词项的逻辑方法 42

4.1概括与限制 42

4.2划分 44

4.3定义 47

第三章 传统直言命题逻辑 55

第一节 命题概述 55

1.1什么是命题 55

1.2命题的逻辑特征 57

1.3命题与语句、判断 58

第二节 传统直言命题 60

2.1传统直言命题及其逻辑结构 60

2.2直言命题的种类 63

2.3直言命题的周延性 67

2.4 A、E、I、O之间的对当关系 69

2.5传统直言命题的文恩图解 72

第三节 直接推理 75

3.1直言命题推理概述 75

3.2对当关系推理 76

3.3变形推理 77

第四节 三段论 81

4.1什么是三段论 81

4.2三段论的规则 82

4.3三段论的格 87

4.4三段论的式 90

4.5非标准形式的三段论 92

4.6用文恩图解释三段论 96

4.7化归问题 99

第四章 复合命题与命题公式 105

第一节 复合命题概述 105

1.1复合命题的定义及逻辑结构 105

1.2复合命题的逻辑特征 107

第二节 复合命题的几种基本形式 109

2.1负命题 109

2.2联言命题 109

2.3选言命题 111

2.4条件命题 114

2.5等值命题 118

第三节 命题公式与真值函数 119

3.1命题公式 119

3.2命题公式与真值函数 124

第四节 命题公式之间的逻辑等值关系 127

4.1命题公式之间的逻辑等值 127

4.2几个重要的重言等值式 129

4.3命题联结词的相互定义 132

第五章 命题逻辑 141

第一节 基本的有效推理式 141

1.1推理的有效性 141

1.2基本的有效推理式 144

第二节 推理有效性的形式证明 152

2.1推理有效性与命题演算 152

2.2有效推理的形式证明 154

2.3等值替换规则 157

2.4条件证明规则C·P 161

2.5间接证明规则RAA 165

2.6证明重言式 167

第三节 无效推理的证明 169

3.1用真值表证明推理的无效性 169

3.2用归谬赋值法证明推理的有效与无效性 171

3.3证明公式集合的协调性 173

第六章 量化逻辑 181

第一节 简单命题的逻辑结构 181

1.1个体词和谓词 182

1.2谓词公式与命题函项 186

1.3量化命题 188

1.4量化逻辑的公式 190

1.5量化命题的真假问题 194

第二节 量化命题的形式化 197

2.1 A、E、I、O命题的形式化 197

2.2一般量化命题的形式化 201

2.3多重量化命题 204

第三节 量化推理规则 208

3.1全称例示规则（简记为UI） 208

3.2存在概括规则（简记为EG） 209

3.3全称概括规则（UG） 210

3.4存在例示规则（EI） 213

第四节 无效量化推理的判定 216

4.1量化公式的真值函项展开式 216

4.2无效量化推理的判定 218

第七章 关系逻辑 226

第一节 关系命题 226

1.1关系命题的符号化 226

1.2量化关系命题的符号化 228

1.3一般关系命题的符号化 231

第二节关系推理 233

2.1多重量化命题的特殊逻辑性质 234

2.2扩展的量化规则 237

第三节 关系的性质 248

3.1关系的几种常见性质 248

3.2关系的性质与关系推理 251

第四节 等词逻辑 254

4.1等词推理 254

4.2等同关系与命题符号化 257

第八章 规范逻辑初步 265

第一节 模态命题 265

1.1模态词与模态命题 265

1.2模态命题的逻辑性质 268

第二节 规范命题 274

2.1规范命题概述 274

2.2规范命题的逻辑形式 276

2.3规范命题的逻辑特征 278

第三节 规范推理 283

3.1.规范命题的对当关系推理 283

3.2复合规范命题的推理 286

第九章 逻辑思维的基本规律 292

第一节 同一律 294

1.1同一律内容和要求 294

1.2违反同一律要求产生的逻辑错误 295

1.3同一律的作用 297

第二节 矛盾律 299

2.1矛盾律的内容和要求 299

2.2违反矛盾律要求产生的逻辑错误 300

2.3矛盾律的作用 303

第三节 排中律 304

3.1排中律的内容和要求 304

3.2违反排中律要求产生的逻辑错误 305

3.3排中律的作用 306

3.4排中律与矛盾律的区别 307

第十章 非演绎逻辑——归纳与类比 313

第一节 归纳推理概述 313

1.1归纳推理的定义及其特征 314

1.2归纳推理与演绎推理的关系 315

1.3归纳逻辑的产生和发展简介 317

1.4归纳推理的分类 317

第二节 完全归纳推理 318

2.1完全归纳推理及其特征 318

2.2完全归纳推理的局限 320

第三节 不完全归纳推理 321

3.1不完全归纳推理及其分类 321

3.2简单枚举法 322

3.3科学归纳法 324

第四节 探求因果联系的五种方法 326

4.1现象间的因果联系 327

4.2求同法 328

4.3求异法 330

4.4求同求异并用法 334

4.5共变法 337

4.6剩余法 339

第五节 类比推理 341

5.1什么是类比推理 341

5.2类比推理的特征及作用 343

5.3如何提高类比推理结论的可靠性程度 345

附：各章练习题参考答案 350