沈有鼎(1908—1989),生前系中国社会科学院哲学研究所研究员、博士生导师;中国逻辑学会、中国逻辑史研究会和符号逻辑研究会顾问、中国大百科全书哲学卷编委会委员。
沈有鼎,字公武,祖籍江苏省嘉定县。1908年11月生于上海市。l925年,他在南洋大学(今上海交通大学)附中毕业,随后考入清华大学哲学系,是著名哲学家金岳霖的高足,1929年毕业。同年,他公费赴美国哈佛大学留学,受业于著名逻辑学家谢孚和怀德海,l931年获硕士学位。1931年至l934年,沈有鼎留学德国海得堡大学及佛来堡大学。l934年回国后执教于清华大学,先后任讲师、教授。1937年至l945年任昆明西南联大教授。1945年至l947年沈有鼎赴英画牛津大学访问研究。l948年返国后任清华大学哲学系、北京大学哲学系教授。1955年他被调到中国科学院哲学社会科学部哲学研究所任研究员。他在1987年3月离休。l989年3月20 日病逝于北京,享年81岁。
沈有鼎是我国最早几位数理逻辑学家之一。他对经典的命题逻辑、直觉主义命题逻辑、相干命题逻辑、模态命题逻辑都有深入的研究。他又是动用现代逻辑工具研究中国逻辑史并且真正作出成绩来的一位学者。他一生的学术论著大多收集在《沈有鼎文集》中,人民出版社,l992年出版。