【生卒】：1937—

【介绍】：

江苏无锡人。

1956年至1960年在上海师范大学数学系读书。毕业後在上海师范学院、上海师范大学任教。1979年调上海社会科学院哲学所从事研究工作。现任上海社科院哲学所副研究员，兼任中国西方逻辑史研究会理事、中国自然辩证法研究会数学哲学专业委员会委员、上海市逻辑学会常务理事。

着有《现代逻辑引论》、《形式化：现代逻辑的发展》、《哥德尔不完全性定理》。译有《数理逻辑》。

论文有《逻辑语文学》、《现代逻辑中的哲学问题》。