第一讲 天才值得我们敬仰——西方历史上的逻辑学家 1
一 亚里士多德 2
二 中世纪逻辑学家 5
三 培根 8
四 莱布尼茨 10
五 弗雷格 13
六 罗素 16
七 哥德尔 18
八 克里普克 22
第二讲 给思维的野马套上缰绳——什么是逻辑学？ 24
一 逻辑 24
二 命题 26
三 推理 31
四 推理形式 32
五 推理的省略形式 36
六 推理形式的有效性 38
七 论证：演绎和归纳 41
八 推理或论证的可靠性 43
九 前提对结论的支持或反驳程度 45
十 逻辑基本规律 47
第三讲 “香格里拉”和“马太效应”——词项、概念和定义 57
一 语词、词项和概念 57
二 词项的内涵和外延 62
三 词项的种类和外延关系 66
四 定义的方法和规则 71
五 划分与分类 83
第四讲 “假如生活欺骗了你……”——复合命题及其推理 87
一 简单命题和复合命题 88
二 联言命题和联言推理 88
三 选言命题和选言推理 91
四 假言命题和假言推理 96
五 负命题及其等值命题 104
六 几种常用的复合命题推理 105
第五讲 “所有的金子都是闪光的”——直言命题及其推理 113
一 直言命题 113
二 直接推理 122
三 三段论 128
第六讲 “有的投票人赞成所有的候选人”——量化命题及其推理 145
一 个体词、谓词、量词和公式 145
二 自然语言中量化命题的符号化 148
三 模型和赋值普遍有效式 155
四 非普遍有效性的解释方法 158
第七讲 “太阳明天仍将从东方升起”——归纳推理和归纳方法 161
一 什么是归纳推理？ 161
二 简单枚举法 163
三 排除归纳法 169
四 类比推理 176
五 统计归纳法 180
六 归纳的证成 184
第八讲 以严格性、精确性、系统性为目标——逻辑系统和元逻辑 187
一 什么是逻辑系统？ 187
二 逻辑系统的构成 191
三 元逻辑研究 199
四 形式化方法的意义 203
第九讲 换一个角度来思考……——变异逻辑：一些另类系统 208
一 什么是变异逻辑？ 208
二 多值逻辑 210
三 相干逻辑 215
四 直觉主义逻辑 219
五 次协调逻辑 223
第十讲 “你不可能在所有时刻欺骗所有的人”——广义模态逻辑 226
一 冯·赖特的广义模态逻辑构想 226
二 模态词和模态逻辑 230
三 可能世界语义学 235
四 道义逻辑 238
五 时态逻辑 242
六 认知逻辑 246
第十一讲 意会：“说话听声，锣鼓听音”——自然语言逻辑 250
一 语言的意义在于它的使用 251
二 语境、预设与蕴涵 253
三 言语行为理论 259
四 合作原则、会话含义和语用推理 270
第十二讲 且听庄子大侃“辩无胜”——论证的识别和建构 277
一 论证的识别 277
二 论证的图解 280
三 论证的评估 287
四 论证的建构 291
五 对一个论证的反驳 294
第十三讲 以貌似讲理的方式——谬误：有缺陷的推理 296
一 谬误和诡辩 296
二 歧义性谬误 298
三 假设性谬误 301
四 关联性谬误 305
第十四讲 一只咬着自己的尾巴乱转的猫——悖论：思维的魔方 315
一 什么是悖论？ 315
二 一些常见的悖论 320
三 悖论产生的原因 329
四 关于悖论的解决方案 335
第十五讲 “彼，不两可两不可也”——中国历史上的逻辑学家 340
一 中国先秦逻辑学家 340
二 西方逻辑的早期翻译家 351
三 现代逻辑的传入者和研究者 354
附录一 逻辑学和理性精神 359
附录二 逻辑：一个生长和变动的概念 362
附录三 从人工智能看当代逻辑学的发展 380
附录四 从《哲学逻辑手册》（第二版）看当代逻辑的发展趋势 393
主要参考书目和推荐读物 411