目 录第一章导论 1
第一节形式逻辑的对象 1
一、逻辑学的门类 1
四、形式词项、非形式词项（11 3
二、形式逻辑的对象 3
三、形式逻辑的性质 6
第二节逻辑与语言 8
一、语言的指谓性 8
思考练习题（一） 8
二、逻辑与语言 10
三、思维形式与语言形式 12
思考练习题（二） 14
第三节逻辑学的产生和发展 14
一、逻辑学的三个发祥地 14
二、逻辑学的发展 22
思考练习题（三） 24
第二章命题逻辑 25
第一节命题 25
一、什么是命题 25
二、命题与语句 26
三、命题与判断 27
四、简单命题和复合命题 28
思考练习题（四） 30
第二节命题联结词 31
一、命题联结词与语句联结词 31
二、五个基本的命题联结词 31
思考练习题（五） 40
第三节 命题形式 41
一、什么是命题形式 41
二、比较复杂的命题形式 42
三、真值表 44
四、重言式、矛盾式、协调式 46
思考练习题（六） 48
第四节重言蕴涵式与重言等值式 49
一、什么是重言蕴涵式 49
二、重言蕴涵式与推理形式 50
三、重言等值式 52
四、简化真值表方法 61
思考练习题（七） 64
第五节命题逻辑的自然推理系统 65
一、什么是自然推理系统 65
二、自然推理系统的组成部分 66
思考练习题（八） 74
一、什么是命题逻辑的定理 75
第六节命题逻辑的定理 75
二、常用的定理 76
三、常见的形式谬误 94
思考练习题（九） 96
第三章直言逻辑（一） 99
第一节概念、语词、词项 99
一、什么是概念 99
二、概念与语词 100
三、词项及其特征 101
四、集合、元素 103
思考练习题（十） 106
第二节词项的种类 107
一、普遍词项、单独词项、空词项 108
二、关系词项、非关系词项 109
三、正词项、负词项 112
思考练习题（十一） 114
第三节词项间的关系 115
一、基本关系 116
二、复合关系 119
思考练习题（十二） 121
一、文恩图解 123
第四节词项的运算 123
二、词项的运算 124
思考练习题（十三） 128
第五节定义 130
一、什么是定义 130
二、定义的种类 130
思考练习题（十四） 141
第四章直言逻辑（二） 143
第一节直言命题 143
一、什么是直言命题 143
二、直言命题的种类 144
三、直言命题的名词周延性问题 147
思考练习题（十五） 150
第二节直言命题的对当关系 151
一、什么是直言命题的对当关系 151
二、根据直言命题对当关系进行的推理 154
三、主项为空词项的A、E、I、O之间的关系及其推理 156
思考练习题（十六） 157
第三节直言命题的变形推理 158
一、什么是直言命题的变形推理 158
二、直言命题变形推理的种类 159
思考练习题（十七） 162
二、三段论的格与式 163
第四节三段论（上） 163
一、什么是三段论 163
思考练习题（十八） 168
第五节三段论（下） 168
一、三段论的检验 168
二、三段论的语言表达形式 181
思考练习题（十九） 182
第五章谓词逻辑 184
第一节谓词形式 184
一、谓词逻辑与命题逻辑、直言逻辑 184
二、个体词、谓词、量词 187
三、直言命题的符号化 190
四、关系命题的符号化 193
五、自由变项和约束变项 195
思考练习题（二十） 196
第二节常真公式 197
一、什么是常真公式 197
二、常真蕴涵式与常真等值式 200
三、常真公式的判定问题 202
思考练习题（二十一） 207
一、形式符号 208
二、形成规则 208
第三节谓词逻辑的自然推理系统 208
三、推理规则 210
思考练习题（二十二） 221
第四节谓词逻辑的定理 222
思考练习题（二十三） 241
第六章模态逻辑和规范逻辑 243
第一节模态逻辑 243
一、什么是模态逻辑 243
二、模态命题与可能世界 245
三、模态推理形式 246
思考练习题（二十四） 250
第二节规范逻辑 251
一、什么是规范逻辑 251
二、规范命题的特征 251
三、规范推理形式 253
思考练习题（二十五） 257
第七章归纳逻辑 259
第一节归纳与演绎 259
思考练习题（二十六） 263
第二节枚举推理 264
一、什么是枚举推理 264
二、提高枚举推理可靠性的方法 267
思考练习题（二十七） 268
第三节范例推理 270
一、什么是范例推理 270
二、范例推理的特征 271
思考练习题（二十八） 272
第四节穆勒五法推理 272
一、求同法 272
二、求异法 274
三、求同求异并用法 277
四、共变法 278
五、剩余法 280
思考练习题（二十九） 282
第五节概率推理 285
一、什么是概率推理 285
二、逻辑概率的性质 286
思考练习题（三十） 287
第六节统计推理 288
一、什么是统计推理 288
二、统计推理的特点 289
思考练习题（三十一） 290
第七节类比推理 291
思考练习题（三十二） 295
第八节假说 298
思考练习题（三十三） 303
第八章论证 306
第一节论证的概述 306
一、什么是论证 306
二、论证的组成 307
三、论证与推理的关系 307
四、逻辑论证与实践检验的关系 308
思考练习题（三十四） 309
第二节证明 310
一、什么是证明 310
二、证明的种类 311
思考练习题（三十五） 315
第三节反驳 316
一、什么是反驳 316
二、反驳的方法 317
思考练习题（三十六） 322
第四节 论证的规则和常见的谬误 323
一、论题的规则与常见的谬误 323
二、论据的规则与常见的谬误 325
三、论证方式的规则及常见的谬误 328
思考练习题（三十七） 336