在世界三大传统的逻辑史和数理逻辑史上有一批影响深远、恒久流传的课题，诸如亚里士多德的直言三段论和模态三段论的本来面目是怎样的？亚里士多德的逻辑理论、麦加拉－斯多阿逻辑和欧洲中世纪逻辑对现代逻辑的发展有何重大意义？从现代逻辑观点看《周易》和《墨经》，有哪些令人惊叹的成果？中国名辩逻辑和印度因明有哪些辉煌成就？中国老一辈现代逻辑学家金岳霖、沈有鼎和王宪钧等对现代逻辑的发展有何开创性贡献？我们应当用何种方法研究世界三大传统的逻辑史？公理学、逻辑演算和集合论是怎样发展起来的？20世纪梳理逻辑三大成果和三大学派怎样推动了现代逻辑突发猛进的发展？这些成果对马克思主义哲学产生了哪些重要影响？等等，对于这些课题本书均给出了别开生面的创新性答案。

　　张家龙，中国社会科学院哲学研究所研究员、博士生导师。1961年从北京大学哲学系毕业，留校攻读哲学系数理逻辑专业研究生。1965年8月到中国社会科学院哲学研究所工作，2002年1月5日退休。享受颁发的特殊津贴。现任中国逻辑学会名誉会长和监事长，《逻辑学研究》杂志顾问。其学术成就入选《20世纪中国知名科学家学术成就概览·哲学卷》（第三分册）。

自 序

西方逻辑史论

亚里士多德直言命题理论的现代解析

亚里士多德直言三段论的本来面目

亚里士多德的关系理论探究

亚里士多德对“偏好”如是说

亚里士多德模态命题理论的现代解析

亚里士多德模态三段论的本来面目

论亚里士多德的排中律疑难

麦加拉－斯多阿逻辑

从现代逻辑观点看中世纪彼得的语言逻辑理论

中世纪的模态命题逻辑系统S及其与路易斯S3系统的比较研究

归纳法和古典归纳逻辑发展史

数理逻辑史论

公理学的历程

逻辑演算简史

从素朴集合论到公理集合论

罗素的逻辑主义及其在数理逻辑史上的地位

评数学基础中的直觉主义学派

论希尔伯特的元数学纲领及其哲学意义

哥德尔不完全性定理——其内容、方法和意义

塔尔斯基真之不可定义性定理——兼论其与哥德尔不完全性定理的关系

可计算性理论的奠基

论沈有鼎悖论在数理逻辑史上的地位

中国逻辑史论和因明论

中国哲学中的逻辑和语言

从数理逻辑观点看《周易》

论《墨经》中侔式推理的有效式

荀子的名辩逻辑

两汉至近现代时期中国名辩逻辑的主要成就

论金岳霖先生的《逻辑》

论沈有鼎的两个公孙龙假说

沈有鼎型的认知逻辑系统KBT

王宪钧先生对中国数理逻辑发展的贡献

从现代逻辑观点看印度新因明三支论式

评陈那新因明体系“除外命题说”

附录

附录一 张家龙论著目录

附录二 张家龙(《20世纪中国知名科学家学术成就概览×哲学卷（第三分册）》条目）