中国现代逻辑学家。字公武，出生于上海市。1929年清华大学哲学系毕业。1929～1931年留学于美国哈佛大学，获硕士学位。1931～1934年留学于德国海德堡大学和弗赖堡大学。1934年回国，任西南联大哲学系讲师、教授及清华大学哲学系教授。1945～1948年赴英国从事研究工作。1948年回国后历任清华大学哲学系教授、北京大学哲学系教授、中国科学院(现为中国社会科学院)哲学研究所研究员。他主要从事数理逻辑、中国逻辑史和哲学的教学、研究工作。主要论著有：《所有有根的类的类的悖论》（论文，1953）、《两个语义学悖论》（论文，1955）、《初基演算》(论文，1957)、《〈墨经〉的逻辑学》(1980)、《“纯逻辑演算”中不依赖量词的部分》（论文，1981）。