第一章 绪论 1
第一节 逻辑学的对象 1
一、思维和语言 1
二、逻辑学的对象 3
三、逻辑的发展阶段 7
第二节 逻辑学的性质及作用 9
一、逻辑学的性质 9
二、逻辑学的作用 11
第三节 逻辑学的研究与学习方法 14
一、逻辑学的研究方法 14
二、逻辑学的学习方法 17
第四节 逻辑学的发展简史 18
一、逻辑学的早期状况 18
二、逻辑学的现代概况 20
第二章 命题逻辑 22
第一节 命题逻辑概述 22
一、命题、语句和判断 22
二、命题和推理的种类 23
三、复合命题推理概述 25
第二节 复合命题及其推理 27
一、负命题及其推理 27
二、联言命题及其推理 30
三、选言命题及其推理 31
四、假言命题及其推理 36
五、其他关于联结词的推理 41
第三节 命题逻辑的自然演绎系统NP 42
一、形式语言？ 42
二、推导规则 44
三、NP系统中的语法推出关系 45
第四节 命题逻辑有效性的判定 57
一、形式语言？的语义解释 57
二、命题逻辑语义有效性的判定 59
三、NP系统的可靠性和完全性 63
练习题 64
第三章 传统词项逻辑 69
第一节 传统词项逻辑概述 69
一、什么是传统词项逻辑 69
二、简单命题和词项 70
第二节 词项 70
一、词项的定义及特征 70
二、词项的种类 72
三、词项外延间的关系 74
四、明确词项的逻辑方法 76
第三节 直言命题 80
一、直言命题及其结构 80
二、直言命题的种类 81
三、直言命题主、谓项的周延性 83
第四节 直言命题的直接推理 84
一、直言命题的对当关系推理 84
二、直言命题的变形推理 86
第五节 三段论 87
一、什么是三段论 87
二、三段论的规则及其应用 89
三、判定三段论有效性的其他方法 92
四、省略三段论 95
练习题 96
第四章 谓词逻辑 100
第一节 谓词逻辑概述 100
一、命题逻辑与谓词逻辑 100
二、个体词和谓词 100
三、量词 103
第二节 一阶语言及其语义解释 106
一、一阶语言？ 106
二、一阶语言？的语义解释 109
第三节 谓词逻辑的自然推理系统QNP 114
一、关于全称量词的推理规则 114
二、关于存在量词的推理规则 116
三、谓词逻辑的自然推理系统QNP 121
四、QNP系统的可靠性和完全性 128
练习题 128
第五章 模态逻辑 132
第一节 模态逻辑 132
一、模态逻辑的定义 132
二、传统模态逻辑 134
三、现代模态逻辑的内容和特点 139
四、模态命题逻辑的自然推理系统TN 141
五、可能世界语义学 145
第二节 规范模态逻辑 149
一、规范模态逻辑的定义 149
二、规范逻辑系统DTN 151
三、道义语义学 154
练习题 157
第六章 归纳逻辑 158
第一节 归纳逻辑概述 158
一、归纳逻辑的定义 158
二、归纳逻辑的性质和作用 159
三、归纳和演绎的关系 160
第二节 传统归纳逻辑 161
一、完全归纳推理 161
二、简单枚举归纳推理 162
三、类比推理 165
四、穆勒“五法” 169
第三节 现代归纳逻辑 173
一、概率归纳推理 173
二、统计归纳推理 178
练习题 180
第七章 科学逻辑 184
第一节 科学逻辑概述 184
一、什么是科学逻辑 184
二、逻辑与科学方法 185
第二节 科学解释与科学预测 186
一、科学解释 186
二、科学预测 189
第三节 科学假说 194
一、假说及其基本特征 194
二、假说的形成 196
三、假说的检验 199
练习题 203
第八章 语用逻辑 205
第一节 语用逻辑概述 205
一、什么是语用逻辑 205
二、语言与言语 207
第二节 语境与预设 208
一、语境 208
二、预设 213
第三节 言语行为与合作原则 217
一、言语行为理论 217
二、合作原则与准则 225
第四节 言语交际与语用推理 229
一、言语交际 229
二、语用推理 231
三、隐涵与语用推理 232
练习题 234
第九章 论辩逻辑 236
第一节 论辩逻辑概述 236
一、论辩逻辑的定义 236
二、论辩的方法 237
三、论辩与推理 237
四、论辩的作用 238
第二节 论证 238
一、论证概述 238
二、论证的种类 240
三、论证的评估与建构 244
第三节 反驳 246
一、反驳的定义和组成 246
二、反驳的方法和种类 247
第四节 辩护 250
一、辩护的定义和组成 250
二、辩护的模式与方法 251
第五节 论辩的逻辑原则和规则 253
一、论辩的逻辑原则 254
二、论辩规则 258
练习题 261
第十章 辩谬逻辑 264
第一节 辩谬概述 264
一、论辩、诡辩与谬误 264
二、辨析谬误的意义 265
三、谬误的分类 266
第二节 谬误的辨析 268
一、词项型谬误 268
二、命题型谬误 272
三、论辩型谬误 274
第三节 破斥诡辩 276
一、诡辩概述 276
二、诡辩的识别与破斥 277
三、诡辩术与论辩技巧的区别 280
练习题 281
附：各章练习题参考答案 283