中国哲学家、逻辑学家。字龙荪。湖南长沙人。1914年毕业于清华学堂。后去美国留学,1920年获哥伦比亚大学哲学博士学位。从英、德、法、意等国游学回国后,历任清华大学、西南联合大学教授,北京大学教授、哲学系主任、文学院院长等职。1956年起任中科院哲学研究所副所长、研究员。中科院哲学社会科学部委员。1953年参加民盟,1956年参加中国共产党。被选为第二、四、五、六届全国政协委员,中国逻辑学会会长、名誉会长。所著《论道》和《知识论》,吸收西方哲学成果,结合中国哲学特点,建立了自己独特的哲学体系。1937年所写《逻辑》和60年代主编的《形式逻辑》,对中国逻辑科学的发展和普及作出了贡献。