出处：按学科分类—社会科学总论 河北人民出版社《简明文化知识辞典》第867页（181字）
中国现代逻辑学家。上海人。1908年生。1929年毕业于清华大学哲学系，随即留学美国哈佛大学，获硕士学位，继则留学德国海德堡大学和弗赖堡大学。1934年回国后，先后在清华大学、西南联合大学任教授。主要从事数理逻辑和逻辑史研究。建国后，任中国科学院哲学研究所研究员。着有《两个语义学悖论》、《〈墨经〉的逻辑学》等。