第一章 逻辑学的基本概念 1
一、逻辑 1
二、命题 3
三、推理 7
四、推理形式 8
五、推理的省略形式 11
六、推理形式的有效性 13
七、论证：演绎与归纳 16
八、推理或论证的可靠性 18
九、前提对结论的支持或反驳程度 19
十、逻辑基本规律 21
第一编 非形式逻辑第二章 定义理论 35
第一节 词项的内涵和外延 36
第二节 定义的结构 41
第三节 定义的种类 42
一、内涵定义 42
二、外延定义 44
三、语词定义 46
第四节 定义的规则 49
第三章 论证理论 54
第一节 论证的辨识 54
第二节 论证的图解 57
一、线形结构 57
二、协同式结构 58
三、收敛式结构 58
四、复合式结构 59
第三节 论证的评估 61
一、对论证的实质性评估 62
二、对论证中的推理形式评估 66
三、对论证的修辞学评估 67
第四节 论证的建构 68
第四章 谬误理论 75
第一节 关联性谬误 75
一、诉诸人身 75
二、诉诸公众 76
三、诉诸怜悯 77
四、诉诸不适当权威 77
五、诉诸强力 78
六、诉诸无知 78
七、诉诸起源 79
八、结论不相关 79
九、稻草人谬误 80
十、文不对题 80
第二节 假设性谬误 81
一、复杂问语 81
二、非白即黑 81
三、窃取论题 82
四、压缩论据 82
五、偶性谬误 83
六、逆偶性谬误 83
七、虚假理由 84
八、虚假类比 85
第三节 歧义性谬误 85
一、概念混淆 85
二、构型歧义 86
三、错置重音 87
四、合举 87
五、分举 88
第二编 演绎逻辑 93
第五章 词项逻辑 93
第一节 直言命题 93
一、什么是直言命题 93
二、直言命题的构成和类型 94
三、直言命题中词项的周延性 96
四、直言命题之间的对当关系 97
五、直言命题的非标准形式 99
第二节 直接推理 103
一、直言命题的对当关系推理 103
二、直言命题的变形推理 105
第三节 直言三段论 109
一、三段论的格与式 109
二、三段论的规则 112
三、三段论的非标准形式及其标准化 119
第四节 直言命题的现代解释 126
一、直言命题的存在含义 126
二、直言命题的文恩图解 128
三、直言命题之间的现代对当关系及其文恩图解 131
四、传统直接推理的文恩图解 133
五、三段论的文恩图解 136
第六章 命题逻辑 142
第一节 命题联结词和复合命题 142
一、日常语言中的简单命题和复合命题 142
二、从日常联结词到真值联结词 144
三、否定词和负命题 145
四、合取词和联言命题 147
五、析取词和选言命题 148
六、蕴涵词、等值词和假言命题 152
七、复合命题的推理 156
第二节 真值形式和真值函项 163
一、真值形式的定义与主联结词 163
二、真值函项：指派与赋值 166
三、重言式、矛盾式和可满足式 168
四、日常语言中命题和推理的符号化 172
第三节 重言式及其判定方法 175
一、真值表法 175
二、归谬赋值法 181
三、树形图法 185
四、范式法 189
第四节 命题逻辑的自然推理系统PN 197
一、PN的推演规则 197
二、PN的有前提推演 202
三、PN定理及其证明 206
第七章 一阶谓词逻辑 210
第一节 个体词、谓词和量词 211
一、个体词和谓词 211
二、量词、辖域和量化公式 213
三、自然语言中命题和推理的一阶语言翻译 217
第二节 一阶谓词逻辑的普遍有效式 221
一、一阶谓词逻辑公式的真值 222
二、普遍有效式、不可满足式和可满足式 225
三、一阶树形图 228
第三节 一阶谓词逻辑的自然推理系统QN 238
一、QN的推演规则 238
二、QN的有前提推演 247
三、QN定理及其证明 249
第三编 归纳逻辑 259
第八章 传统归纳逻辑 259
第一节 什么是归纳推理 259
一、一种值得商榷的观念 259
二、一种尝试性改进 261
第二节 传统归纳推理的类型 262
一、完全归纳推理 262
二、不完全归纳推理 263
第三节 探求因果联系的逻辑方法 267
一、因果联系 267
二、求因果五法 270
第四节 类比推理 278
一、类比推理 278
二、模拟方法 281
三、比较方法 282
第五节 假说演绎法 283
一、假说及其基本特征 284
二、形成假说的逻辑方法 285
三、验证假说的逻辑方法 287
四、假说合理性的评价标准 289
第九章 现代归纳逻辑 292
第一节 传统归纳逻辑的合理性问题 292
第二节 概率归纳推理 294
一、概率论的基本概念 294
二、概率的三种定义 294
三、概率演算 296
四、概率归纳推理 299
第三节 统计归纳推理 300
一、统计学的基本概念 300
二、统计归纳推理 302
第四节 现代归纳逻辑的合理性问题 305
一、古德曼悖论 305
二、亨佩尔悖论 306
三、凯伯格悖论 306
附录 批判性思维论纲 308
参考书目 320