第一章 引论 1
第一节 逻辑的类型 1
第二节 研究逻辑史的方法和意义 6
第二章 传统形式逻辑产生的前提 13
第一节 论辩术的研究 13
第二节 希腊几何学 17
第三节 苏格拉底和柏拉图对逻辑科学的贡献 19
第三章 亚里士多德逻辑 31
第一节 亚里士多德的逻辑著作 31
第二节 亚里士多德早期的逻辑研究 38
第三节 关于命题的学说 55
第四节 关于证明的学说 66
第五节 三段论学说 77
第六节 模态三段论 99
第四章 古希腊罗马时期的逻辑 106
第一节 消遥派的逻辑研究 106
第二节 麦加拉派的逻辑思想 110
第三节 斯多葛派逻辑 113
第四节 古罗马时期的逻辑 128
第一节 中世纪旧逻辑时期 133
第五章 中世纪逻辑 133
第二节 中世纪逻辑的发展时期 138
第三节 中世纪逻辑发展的高峰时期 149
第四节 阿拉伯逻辑 174
第六章 近代时期的形式逻辑 184
第一节 概述 184
第二节 《波尔罗亚尔逻辑》 188
第三节 莱布尼兹对传统逻辑的贡献 199
第四节 沃尔夫的逻辑体系 209
第五节 康德论形式逻辑 213
第七章 形式逻辑的现代发展 224
第一节 莱布尼兹是数理逻辑的创始人 225
第二节 拉姆贝特、卡斯泰隆、胡兰德的探索 233
第三节 德摩根对新逻辑的贡献 244
第四节 布尔的逻辑代数 253
第五节 布尔的追随者们的工作 268
第六节 皮尔斯的关系逻辑 277
第七节 弗雷格的逻辑演算系统 287
第八节 皮亚诺的贡献 298
第九节 罗素和逻辑演算的建立 303
参考文献 335