中国逻辑学家。字公武，上海人。1929年毕业于清华大学哲学系，先后留学美国哈佛大学、德国海德堡大学和弗赖堡大学。1934年回国后，历任清华大学、北京大学等校教授，1955年起任中国科学院哲学研究所研究员。为中国逻辑学会顾问。长期从事逻辑史和数理逻辑的研究，构造了一个称为“纯逻辑演算中不依赖量词的部分”的系统，并把对《墨经》的逻辑研究提高到新的水平。主要著作有《所有有根的类的类的悖论》、《〈墨经〉的逻辑学》等。