数理逻辑发展史：从莱布尼茨到哥德尔

张家龙,江苏省江都市人。1961年毕业于北京大学哲学系哲学专业；后留校攻读哲学系数理逻辑专业研究生，1965年2月毕业；同年8月到中国科学院哲学研究所(今中国社会科学院哲学研究所)工作。1993年被国务院学位委员会批准为博士生导师，1994—1999年任哲学所逻辑室主任。现任中国社会科学院哲学所研究员、哲学所学位委员会副主席、中国社会科学院研究生院教授、博士生导师、中国社会科学院正高级专业技术职务评委会委员、国家哲学社会科学研究哲学学科规划评审小组成员、中国逻辑学会会长、中山大学逻辑与认知研究所学术委员会主任、西南师范大学兼职教授。1987年出席第8届国际逻辑学、方法论和科学哲学大会，在第13组会上宣读了《论亚里士多德的直言三段论》和《论罗素的归纳逻辑》的两篇论文。1988—1989年，赴加拿大阿尔伯特大学哲学系从事访问研究，并应邀在该系作了关于中国逻辑和亚里士多德模态逻辑的两次讲演。1993年8月出席第19届世界哲学大会，在数学哲学组宣读了《论直觉主义的数学哲学》的论文。