逻辑学家。江苏江都人。1961年北京大学哲学系毕业，1965年北京大学哲学系逻辑学研究生毕业。此后在中国

社会科学院哲学研究所从事研究工作至今。现任中国社会科学院哲学研究所研究员、中国逻辑学会西方逻辑史研究会

秘工。主要研究领域：西方逻辑史，重点是数理逻辑史。主要著作有：《公理学，元数与哲学》、《形式逻辑原理》

（合著）、《西方逻辑史研究》（合著）。主要译著有：《简明逻辑史》、《逻辑学的发展》（合译）。主要论文

有：《论语义饽论》、《逻辑悖论和简单类论》、《从数理逻辑观点看<周易>》、《论亚里士多德的直言三段

论》、《亚时士多德模态逻辑的现代解释》等。