中国社会科学院老学者文库 逻辑史论PDF电子书下载

自序 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