中国哲学家。安徽歙县人。就读于德国柏林大学、耶拿大学，后去奥地利维也纳大学，获哲学博士学位，并加入维也纳学派。回国后任清华大学、西南联合大学、武汉大学、北京大学教授。第一个把逻辑实证论介绍到中国。20世纪40年代论述维也纳学派的基本理论及其与自然科学哲学问题的联系，并介绍与维也纳学派有关的弗雷格、维特根斯坦、罗素、卡尔纳普的哲学思想，尤其着重于石里克的哲学。建国后，继续西方哲学的教学、翻译与研究。主持编译了《西方古典哲学原著选辑》和《逻辑经验主义》。主要著作有《维也纳学派》、《石里克与现代经验主义》、《论确证》等。