绪论 1
第一节 逻辑学的研究对象和类型 1
一、逻辑学的含义 1
二、逻辑学的研究对象 1
三、逻辑学的类型 4
第二节 逻辑学的性质与学习逻辑学的作用 8
一、逻辑学的性质 8
二、学习逻辑学的作用 14
第三节 逻辑学的研究方法与学习方法 18
一、逻辑学的研究方法 18
二、逻辑学的学习方法 20
第四节 逻辑学的发展概况 22
一、逻辑学的三大传统 22
二、现代逻辑学的发展 29
三、当代中国逻辑学的普及与发展 30
第一章 传统词项逻辑 32
第一节 词项 32
一、词项概述 32
二、词项的种类 33
三、词项外延之间的关系 35
第二节 直言命题 39
一、直言命题及其逻辑结构 40
二、直言命题的分类 43
三、直言命题主项和谓项的周延性 46
四、对当方阵 47
第三节 直接推理 53
一、直接推理的特点 53
二、对当关系推理 54
三、直言命题变形推理 56
四、直言命题直接推理的检验 60
第四节 三段论 62
一、什么是三段论 62
二、三段论推理的一般规则 63
三、三段论的格及其特殊规则 67
四、三段论的式 69
五、非标准形式三段论 71
六、用文恩图解法检验三段论的有效性 73
第二章 命题逻辑 83
第一节 命题逻辑概述 83
一、句子与命题 83
二、简单命题与复合命题 85
三、推理 86
第二节 复合命题及其推理 88
一、命题联结词的真值表 89
二、复合命题推理 94
三、复合命题的逻辑等值推理 99
四、复合命题推理的综合运用 100
第三节 真值表方法 102
第三章 命题逻辑的自然演绎系统 110
第一节 证明与子证明 110
第二节 推理规则 111
一、结构规则 112
二、联结词规则 112
第三节 系统NP中的推导 118
一、合取规则的运用 118
二、蕴涵规则的运用 119
三、否定规则的运用 121
四、析取规则的运用 123
五、等值规则的运用 124
六、综合运用 126
第四节 无前提推导与演绎定理 131
第四章 谓词逻辑 139
第一节 个体词、谓词和量词 139
一、个体词 140
二、谓词 142
三、量词 144
第二节 谓词逻辑的形式语言 144
一、谓词逻辑的公式 145
二、命题的符号化 146
第三节 基本语法概念 156
一、自由变元与约束变元 156
二、代入 157
第四节 谓词逻辑语义 160
一、模型和赋值 160
二、有效公式与有效推理 165
第五章 谓词逻辑的自然演绎系统 169
第一节 谓词逻辑自然演绎系统 169
一、全称量词消去规则 169
二、全称量词引入规则 170
三、存在量词消去规则 173
四、存在量词引入规则 174
第二节 带等词的谓词逻辑自然演绎系统 182
一、等词消去规则 182
二、等词引入规则 183
第六章 传统归纳逻辑 188
第一节 归纳推理 188
一、归纳推理的定义 188
二、归纳推理的作用 190
第二节 枚举归纳推理 191
一、枚举归纳推理的定义 191
二、枚举归纳推理的作用 192
第三节 穆勒五法 193
一、求同法 193
二、求异法 195
三、求同求异并用法 197
四、共变法 199
五、剩余法 201
六、如何正确对待穆勒五法 202
第四节 类比推理 202
一、类比推理的定义 202
二、运用类比推理时应该注意的问题 203
三、模拟方法 205
第七章 现代归纳逻辑 214
第一节 概率和概率演算 214
一、概率和概率解释 214
二、概率演算 218
三、贝叶斯规则 229
第二节 统计推理 235
一、统计推理概述 235
二、统计推理的类别、形式和相关概念 238
三、统计推理的抽样问题 241
四、统计推理的应用 244
第八章 科学逻辑 257
第一节 科学方法与科学逻辑 257
第二节 科学说明与科学预测 261
一、科学说明 261
二、科学预测 263
第三节 科学假说 266
一、科学假说的基本特征 266
二、科学假说的形成 267
三、科学假说的检验 268
第四节 科学理论及其演化 271
一、假说转化为理论 271
二、科学理论的系统演化 273
三、科学悖论的形成与解决 276
第九章 论辩逻辑 285
第一节 非形式逻辑与论辩逻辑 285
第二节 论证、反驳与辩护 286
一、论证的建构与评估 286
二、反驳的建构与评估 292
三、辩护的建构与评估 293
第三节 定义与划分 293
一、明确概念的基本方法 293
二、定义的种类与评估 294
三、划分的种类与评估 296
第四节 谬误与诡辩 298
一、形式谬误与非形式谬误 298
二、非形式谬误的辨析 300
第十章 语言交际的逻辑 307
第一节 语言逻辑概述 307
一、句法学 307
二、语义学 308
三、语用学 310
第二节 言语行为理论 311
一、言语行为理论的产生与发展 311
二、语用逻辑 315
三、间接言语行为 316
第三节 言语行为与成功交际 319
一、切当性标准 319
二、成功交际的条件 321
三、间接言语行为的准则 324
第十一章 逻辑思维的基本规律 329
第一节 逻辑规律与思维规范 329
第二节 矛盾律 331
一、矛盾律的基本内容 331
二、矛盾律的规范作用 334
第三节 排中律 337
一、排中律的基本内容 337
二、排中律的规范作用 340
第四节 同一律 342
一、同一律的基本内容 342
二、同一律的规范作用 343
练习题参考答案 349
阅读文献 396
人名译名对照表 398
术语中英文对照表 400
后记 403