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

　　自　序

　　我的研究工作涉及逻辑与哲学诸领域：传统逻辑、西方逻辑史、数理逻辑史、现代逻辑系统的构建、中国逻辑史、因明、现代西方哲学和逻辑哲学等。我的学术成就概览有幸入选钱伟长总主编、汝信主编的国家重点图书项目《２０世纪中国知名科学家学术成就概览· 哲学卷》（第三分册）。 钱伟长在“总序” 中说：“《概览》纸书预计收录数千名海内外知名华人科学技术和人文社会科学专家学者，展示他们的求学经历、学术成就、治学方略、价值观念，彰显他们为促进中国和世界科技发展、经济和社会进步所做出的贡献，秉承他们在内忧外患中坚韧不拔、追求真理的科学精神和执著、赤诚的爱国传统，激励后人见贤思齐、知耻后勇，在新世纪的大繁荣、大发展时期，为中华民族的伟大复兴和全人类的知识创新而奋发有为。” 为了更好地达到钱伟长先生提出的目标，我首先编了这部《逻辑史论》，作为我在西方逻辑史、数理逻辑史、中国逻辑史和因明等领域学术成就的“详览”，希望能对年轻的逻辑工作者和哲学工作者的学术成长有所启迪。至于我在逻辑与哲学其他领域学术成就的“详览”， 容日后有机会再编吧！

　　最后，以一首《我的墓志铭》结束本序：

　　他蒙爱智之神垂青，

　　一生在逻辑与哲学诸领域徜徉。

　　他没有虚度年华，

　　也没有碌碌无为。

　　他一生追求淡泊和宁静，

　　坚守正直和善良。

　　张家龙

　　２０１６年９月

　　于中国社会科学院干面胡同宿舍

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

自 序

西方逻辑史论

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

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

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

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

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

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

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

麦加拉－斯多阿逻辑

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

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

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

数理逻辑史论

公理学的历程

逻辑演算简史

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

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

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

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

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

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

可计算性理论的奠基

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

中国逻辑史论和因明论

中国哲学中的逻辑和语言

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

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

荀子的名辩逻辑

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

论金岳霖先生的《逻辑》

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

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

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

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

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

附录

附录一 张家龙论著目录

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