出处：按学科分类—历史、地理 上海人民出版社《上海社会科学界人名辞典》第167页（248字）
【生卒】：1937—
【介绍】：
江苏无锡人。
1956年至1960年在上海师范大学数学系读书。毕业后在上海师范学院、上海师范大学任教。1979年调上海社会科学院哲学所从事研究工作。现任上海社科院哲学所副研究员，兼任中国西方逻辑史研究会理事、中国自然辩证法研究会数学哲学专业委员会委员、上海市逻辑学会常务理事。
着有《现代逻辑引论》、《形式化：现代逻辑的发展》、《哥德尔不完全性定理》。译有《数理逻辑》。
论文有《逻辑语文学》、《现代逻辑中的哲学问题》。