张家龙

张家龙从事西方逻辑史、现代逻辑和逻辑哲学的研究，不少研究成果在国内有关领域居领先地位。其中关于直言三段论和模态三段论自然演绎系统的研究、关于从莱布尼茨到哥德尔的数理逻辑发展史的全面系统的研究等成果达到国际逻辑研究的先进水平。先后出版《公理学、元数学与哲学》、《数理逻辑发展史——从莱布尼茨到哥德尔》等个人专著。与他人合著《形式逻辑原理》、《西方逻辑史研究》、《逻辑百科辞典》。主要译著有《简明逻辑史》（任第一译者）、《逻辑学的发展》（任第一译者）。张家龙1987年8月出席了第八届国际逻辑学、方法论和科学哲学大会。1988年10月至1989年5月受国家教委派遣，作为高级访问学者在加拿大阿尔伯特大学哲学系进行访问研究。1993年8月出席第19届世界哲学大会。1993年获中国社会科学院第一届优秀科研成果奖。1996年获中国社会科学院第二届优秀科研成果奖。