前言 1
第一章 传统逻辑与非形式逻辑 1
第一节 概述 1
第二节 新中国成立前的传统逻辑 1
一 传统形式逻辑东渐 1
二 以辩证法的名义：形式逻辑曾被取消科学地位 3
第三节 新中国成立后传统逻辑的一次大普及与大传播 5
一 苏联逻辑学教材对我国普及传统逻辑的影响 5
二 毛泽东对逻辑学的关注 7
第四节 50—60年代逻辑问题大讨论 7
一 政治和哲学背景 7
二 焦点问题 8
三 毛泽东的观点 12
四 实质和意义 13
第五节 现代化大潮中的传统逻辑 14
一 传统逻辑的第二次大传播、大普及 14
二 逻辑现代化：背景和含义 15
三 逻辑现代化：一个战略口号的提出 17
四 逻辑现代化：激烈的争论 19
第六节 逻辑通识教育的发展与改革 20
一 普通逻辑：一种“吸收论”的改革模式 20
二 逻辑导论：逻辑通识课的主流模式 22
三 关于若干传统逻辑问题的讨论 24
第七节 非形式逻辑的兴起及其对我国逻辑教学的影响 26
一 非形式逻辑的兴起及其背景 26
二 非形式逻辑在我国的传播和发展 28
第八节 法律逻辑 32
一 法律逻辑在我国的兴起 32
二 传统逻辑研究方法阶段 33
三 现代逻辑研究方法阶段 34
四 法理学研究方法阶段 35
五 “百花齐放”的非形式逻辑研究方法阶段 36
第二章 数理逻辑（含：理论计算机） 50
第一节 导论 50
一 数理逻辑传入中国 50
二 新中国成立初期的数理逻辑（1949—1966） 51
三 改革开放后的中国数理逻辑（1978—1996） 53
四 跨世纪的中国数理逻辑（1996—2009） 58
第二节 模型论 60
一 一阶模型论 60
二 其他逻辑的模型论 62
三 格值模型论 63
四 模型论在数学中的应用 64
第三节 可计算性与计算复杂性理论 66
一 递归论 66
二 计算复杂性理论 74
三 可计算分析 78
第四节 公理集合论 80
一 集合论系统及其分层 80
二 大基数、无穷组合性质、基数不变性 81
三 描述集合论 85
四 布尔值模型 87
第五节 形式化方法 87
第六节 自动推理 93
一 经典逻辑的自动推理 93
二 非经典逻辑的自动推理 97
第三章 哲学逻辑 123
第一节 概述 123
第二节 模态逻辑 124
一 模态逻辑概述 124
二 狭义模态逻辑 124
三 认知逻辑 126
第三节 博弈逻辑 131
一 将博弈论方法应用于逻辑理论研究 131
二 运用逻辑理论为工具研究博奕论 132
第四节 多值逻辑 134
一 概述 134
二 函数完全性研究 135
三 中介逻辑 136
四 模糊逻辑 138
五 其他学者的多值逻辑研究 141
第五节 基于格蕴涵代数的格值逻辑 142
一 关于格蕴涵代数的研究 142
二 基于格蕴涵代数的格值逻辑系统研究 144
三 依据基于格蕴涵代数的格值逻辑系统的不确定性推理研究 146
四 依据基于格蕴涵代数的格值逻辑系统的归结自动推理研究 147
第六节 泛逻辑 149
一 泛逻辑产生的理论背景 149
二 泛逻辑学研究纲要和主要成果 150
第七节 其他哲学逻辑 153
一 弗协调逻辑 153
二 辩证逻辑 157
三 信念偏好逻辑 158
四 人工智能逻辑 162
五 条件句逻辑等 164
第四章 归纳逻辑（含决策论） 190
第一节 概述 190
一 中国归纳逻辑研究的发展趋势和特点 190
二 归纳逻辑发展分期 198
三 归纳逻辑的发展脉络和主要问题 200
第二节 归纳合理性研究：归纳逻辑的主要哲学问题 204
一 休谟问题：归纳合理性问题研究 204
二 新的归纳之谜：古德曼悖论研究以及解决方案 214
三 概率解释的研究 216
四 非巴斯卡概率逻辑的哲学问题 219
第三节 经典概率逻辑研究 221
一 从传统归纳到现代归纳 221
二 主观贝叶斯主义理论的探讨 222
三 概率归纳逻辑形式化研究：“无限全称命题概率为0”问题的解决方案 223
四 概率逻辑形式化的问题与出路 226
第四节 非经典概率逻辑研究 229
一 引进和评价：柯恩非经典概率逻辑在中国的传播 229
二 批判与反思：对柯恩系统的改造 232
三 非经典逻辑与决策：对沙克尔非经典逻辑的关注 236
四 非经典概率逻辑的问题和出路 239
第五节 归纳与决策、博弈研究 240
一 归纳、决策与博弈：沿着主观贝叶斯主义的道路前进 240
二 决策与合理选择：归纳逻辑的应用 241
三 归纳逻辑在计算机、人工智能中的应用 243
四 归纳逻辑与认知模式推理 246
五 不确定推理与认知悖论研究 250
第五章 语言逻辑（含符号学） 258
第一节 概述 258
第二节 形式语义学 259
一 蒙太格语法及相关问题 259
二 情境语义学、话语表现理论与动态语义 263
三 面向知识表示与推理的自然语言逻辑 267
第三节 语用的逻辑 269
一 言语交际的逻辑 269
二 蕴涵与预设 270
三 语用逻辑的形式北 276
四 隐喻理解的相关研究 277
第四节 汉语的逻辑研究 279
一 描述性研究 279
二 形式化研究 283
第五节 作为语言逻辑元科学的符号学研究 289
一 符号学与语言逻辑 289
二 中国符号学思想研究 295
三 语言符号学和一般符号学研究 302
第六章 逻辑哲学 313
第一节 概述 313
第二节 逻辑观研究 316
一 形式逻辑与数理逻辑的关系研究 316
二 狭义逻辑观与广义逻辑观之辩 320
三 逻辑的社会文化功能研究 325
第三节 真理理论研究 329
一 真理与真理论 329
二 逻辑真理及其性质 331
三 逻辑是可修正的吗？ 334
第四节 专名与通名理论研究 336
一 专名理论研究 337
二 通名理论研究 341
三 综合性研究 342
第五节 逻辑悖论研究 344
一 逻辑悖论的矛盾归属问题研究 344
二 悖论的定义与分类问题研究 346
三 狭义逻辑悖论研究 348
四 关于悖论的一般方法论研究 353
第六节 蕴涵研究 355
一 蕴涵的类型 355
二 实质蕴涵及其“怪论” 359
第七节 模态逻辑的哲学问题研究 362
一 可能世界的含义与本体论地位 362
二 本质主义 364
三 模态逻辑的合法性及其与哲学的关系 366
第八节 辩证逻辑研究 367
一 辩证逻辑研究的历史背景 367
二 “文化大革命”前辩证逻辑研究概况 371
三 新时期辩证逻辑研究的主要进路 375
第七章 逻辑史 396
第一节 概述 396
第二节 中国逻辑史 397
一 总论 397
二 20世纪50年代至60年代中国逻辑史研究 399
三 中国逻辑史学科建设（1978—1989） 404
四 中国逻辑史研究的深化与反思时期（1990—2009） 411
第三节 西方逻辑史 419
一 总论 419
二 西方形式逻辑史研究 420
三 西方逻辑史专题研究举要 428
第四节 汉传因明 441
一 当代因明（佛教逻辑）研究概况 441
二 因明与逻辑比较研究述要 446
第五节 藏传量论 463
一 总论 463
二 新的起点 不幸夭折（1949—1979） 467
三 走出低谷 臻于辉煌（1979—1999） 471
四 深入拓展 继往开来（1999—2009） 483
附录 台湾地区60年（1949—2009）逻辑学研究 503
第一节 概述 503
第二节 60年来台湾学者所出版与逻辑学相关的专著 504
第三节 60年来台湾学者所出版与逻辑学相关的期刊论文 512
第四节 60年来台湾学者所出版与逻辑学相关的博硕士论文 524
第五节 60年来台湾学者所出版与逻辑学相关的翻译作品 527
第六节 60年来在台湾成立的与逻辑学相关的学术组织和学术会议、工作坊 531
第七节 结语 534
索引 537