逻辑学家。江苏南通人。1966年毕业于上海师范学院数学系。后分配到云南省电力工局汽车运输队工作。1978

年考入中国社会科学院研究生院哲学系，研究数理逻辑。1981年毕业获硕士学位，后到中国社会科学院哲学研究所

工作，曾任助理研究员、副研究员。1986年被国家科委批准为“国家级有突出贡献的中年青专家”。专长数理逻

辑，尤长于数理逻辑的公理集合论，对哲理逻辑的几个分支（如模态逻辑、相干逻辑）也有深入的钻研。主要论著

有：《数理逻辑》（合著）、《古典命题逻辑的证伪系统》、《试谈相干逻辑》等。