自序 1
西方逻辑史论 3
亚里士多德直言命题理论的现代解析 3
亚里士多德直言三段论的本来面目 15
亚里士多德的关系理论探究 45
亚里士多德对“偏好”如是说 60
亚里士多德模态命题理论的现代解析 70
亚里士多德模态三段论的本来面目 78
论亚里士多德的排中律疑难 102
麦加拉一斯多阿逻辑 110
从现代逻辑观点看中世纪彼得的语言逻辑理论 129
中世纪模态命题逻辑系统S及其与路易斯S3系统的比较研究 141
归纳法和古典归纳逻辑发展史 161
数理逻辑史论 199
公理学的历程 199
逻辑演算简史 225
从素朴集合论到公理集合论 276
罗素的逻辑主义及其在数理逻辑史上的地位 324
评数学基础中的直觉主义学派 333
论希尔伯特的元数学纲领及其哲学意义 349
哥德尔不完全性定理——其内容、方法和意义 364
塔尔斯基真之不可定义性定理——兼论其与哥德尔不完全性定理的关系 379
可计算性理论的奠基 402
论沈有鼎悖论在数理逻辑史上的地位 436
中国逻辑史论和因明论 453
中国哲学中的逻辑和语言 453
从数理逻辑观点看《周易》 464
论《墨经》中“侔”式推理的有效式 471
荀子的名辩逻辑 481
两汉至近现代时期中国名辩逻辑的主要成就 488
论金岳霖先生的《逻辑》 514
论沈有鼎的“两个公孙龙”假说 523
沈有鼎型的认知逻辑系统KBT 543
王宪钧先生对中国数理逻辑发展的贡献 554
从现代逻辑观点看印度新因明三支论式 560
评陈那新因明体系“除外命题说” 574
附录 587
附录一 张家龙论著目录 587
附录二 张家龙 599