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