逻辑学家。浙江东阳人。1956年毕业于北京大学哲学家同年到中国社会科学院哲学研究所从事事研究工作，历

任实习研究员、助理研究员、副研究员、研究员。现任中国社会科学院哲学所研究员、逻辑研究室主任，中国逻辑学

会常务理事。学术专长：逻辑学。主要著作有：《形式逻辑原理》（合著）。主要论文有：《形式逻辑是获得新知识

的工具》、《实质蕴涵与假言命题》、《演绎推理的定义》、《论专名》、《哥德尔》、《〈制约逻辑〉简评—兼评

〈制约逻辑诞生记〉》等。近来主要从事哲理逻辑研究。