【生卒】：1910—

【介绍】：

山东福山(今属烟台)人，1910年(清宣统二年)生。1928年，毕业于北京汇文中学；同年，考入私立天津南开大学理学院。1930年毕业後，再考入国立北京清华大学哲学系。1935年，以研究生资格毕业，随即考取清华大学公费留学生。1936年，赴奥地利维也纳大学、德国敏士特大学，学习数理逻辑。1938年回国，历任国立昆明西南联合大学讲师、副教授、教授。1945年後，任国立清华大学哲学系教授。1952年，调北京大学哲学系，任教授。後又任国立北京大学学术委员会委员。着有《形式逻辑讲义》、《逻辑实证主义批判》、《数理逻辑引论》、《论藴涵》、《数理逻辑的真值函项是复合命题的逻辑抽象》、《批判逻辑实证主义的意义理论》等。