当代中国逻辑学研究 1949-2009

前言 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