概述 1
第一章20世纪前期西方逻辑学教材的传入 3
第一节20世纪前期的西方逻辑学 3
第二节 前期西方逻辑学教材的传入概况 6
第三节 严复译《穆勒名学》和《名学浅说》 7
一、严复译《穆勒名学》 7
二、严复译《名学浅说》 14
第四节 日文逻辑学教材的引进 16
第五节 王国维译《辩学》 18
第二章 前期的自编教材和对传统逻辑的批判 22
第一节 前期自编逻辑学教材概况 22
第二节 几部有特色的逻辑学教材选介 25
一、张子和的《新论理学》 25
二、何兆清的《论理学大纲》 26
三、章士钊的《逻辑指要》 28
四、王章焕的《论理学大全》 33
第三节20世纪30年代对传统逻辑的批判 33
第三章 前期数理逻辑的引进和研究 41
第一节 前期数理逻辑的引进工作 41
第二节 汪奠基著《逻辑与数学逻辑论》及《现代逻辑》 45
一、《逻辑与数学逻辑论》 45
二、《现代逻辑》 47
第三节 金岳霖的《逻辑》 50
第四节 前期数理逻辑研究 53
第四章 归纳逻辑的讨论、中国逻辑史的开创和因明研究的复苏 62
第一节 前期关于古典归纳逻辑的讨论 62
第二节 前期对先秦名辩的逻辑考察 66
一、梁启超及其著述 68
二、胡适及《先秦名学史》 69
三、章士钊及《逻辑指要》附录 73
四、其他学者及其著述 75
第三节 因明研究的复苏 79
本编结语 88
第五章 苏联逻辑学教材对我国逻辑教学的影响和逻辑问题大讨论 101
第一节 苏联逻辑学教材的引进 101
第二节 中期我国自编的逻辑学教材和逻辑教学 106
第三节 关于传统逻辑理论问题的大讨论 109
第六章 中期数理逻辑的发展 114
第一节 新中国成立后对数理逻辑的宣传 114
第二节 开展数理逻辑研究的准备工作 120
一、培养数理逻辑人才，扩大科研队伍 120
二、编制数理逻辑的远景规划和规划的执行 122
三、开展学术交流活动，推动科学研究的进展 123
第三节 中期数理逻辑研究的重要成果 124
一、逻辑演算 125
二、能行性问题 135
第四节 中期数理逻辑的应用研究 144
一、自动机理论研究 144
二、程序自动化研究 146
第七章 中期归纳逻辑、中国逻辑史和因明研究 148
第一节 中期归纳逻辑研究 148
第二节 中期中国逻辑史研究 150
一、关于构建中国逻辑史学的工作 151
二、关于先秦逻辑的研究 155
第三节 中期因明研究 158
本编结语 163
第八章 普通逻辑的教学改革 175
第一节 逻辑教学的产物——普通逻辑 175
一、普通逻辑课的性质、目的和作用 175
二、国外普通逻辑的演进情况 179
第二节 普通逻辑教学改革的提出 184
第三节 普通逻辑教学改革的准备工作 187
一、翻译引进国外当时流行的逻辑学教材，作为这次改革的借鉴 188
二、对数理逻辑的介绍和学习 189
三、开展普通逻辑教学改革的讨论 190
四、关于普通逻辑教学改革的争论 191
第四节 普通逻辑课程改革的渐进过程 193
一、普通逻辑课程改革的过程 193
二、普通逻辑教学改革的意义 199
第五节 台湾地区的逻辑教学 204
第六节 关于批判性思维 214
第九章 后期数理逻辑的繁荣发展 220
第一节 后期我国发展数理逻辑的准备工作 220
第二节 逻辑演算方向的研究 221
一、古典演算 222
二、模态逻辑 224
三、时态逻辑 227
四、问句逻辑 227
五、无穷逻辑 228
六、弗协调逻辑 229
七、多主体认知逻辑 230
八、邻域语义学 232
九、直觉主义逻辑 233
十、多值逻辑 234
十一、中介逻辑 235
十二、参态逻辑 239
十三、开放逻辑 241
第三节 模型论方向的研究 246
第四节 递归论方向的研究 254
第五节 公理集合论方向的研究 264
第六节 我国数理逻辑的持续发展问题 269
一、必须抓住和解决热点问题 269
二、搞好逻辑科研基地建设和全国协作 270
三、处理好理论研究与应用研究的关系 272
四、要善于提出和解决问题 273
五、要大力加强国际学术交流 275
六、寄希望于中青年学者 275
第十章 后期归纳逻辑研究 280
第一节 关于古典归纳逻辑的研究 280
一、对归纳逻辑的哲学问题的讨论 280
二、新的归纳方法的提出 281
三、对古典归纳逻辑应用的讨论 281
第二节 现代归纳逻辑的引进 283
第三节 对归纳逻辑的创新研究 286
一、关于非巴斯卡概率逻辑的研究 287
二、关于排除归纳法的重建 295
三、关于卡尔纳普归纳逻辑的研究和改进 297
四、关于确证逻辑的研究 299
五、关于归纳悖论和研究 300
六、关于归纳逻辑系统及其语义的一般研究 303
第四节 归纳逻辑的问题 304
第十一章 后期逻辑学应用研究 308
第一节 数理逻辑在计算机科学中的应用研究 308
第二节 数理逻辑在数学领域的应用研究 317
第三节 现代归纳逻辑的应用研究 322
一、现代归纳逻辑与计算机科学中的人工智能研究的相互结合与“嫁接” 323
二、创立归纳逻辑与归纳学习相结合的基础理论 323
三、归纳学习的逻辑基础问题 324
四、建立机器归纳的模型与系统 324
五、神经网络的归纳学习模型问题 325
第四节 逻辑学在司法工作中的应用 326
一、关于法律逻辑研究对象和方法的讨论 326
二、建立法律逻辑的演算系统 327
第五节 逻辑学和语言学 328
第六节 逻辑学和哲学 334
一、逻辑学和哲学的关系 334
二、逻辑哲学研究情况分析 337
第七节 悖论研究 350
一、关于悖论的定义 351
二、悖论的类型 352
三、悖论产生的原因 353
四、悖论的解决 354
第十二章 后期逻辑史研究 356
第一节 西方形式逻辑史研究 356
第二节 现代归纳逻辑史研究 368
第三节 后期因明研究 372
一、因明研究队伍壮大、素质提高 373
二、召开学术会议，推动学术交流 374
三、因明研究成果可观 375
四、因明研究中的争议 378
第四节 后期中国逻辑史研究 383
一、中国逻辑史领域学术工作有很大发展 383
二、中国逻辑史研究取得很大成绩 384
三、中国逻辑史研究的两个重大争论问题 399
四、台湾学者的中国逻辑史研究 406
五、笔者对中国逻辑史的争论另有见解 407
本篇结语 410
附录 我国的辩证逻辑研究 423
主要参考文献 450