沈有鼎简介
沈有鼎（1908～1989），中国现代逻辑学家。
字公武，出生于上海。
1929年清华大学哲学系毕业。
1929～1931年留学于美国哈佛大学，获硕士学位。
1931～1934年留学于德国海德堡大学和弗赖堡大学。
1934年回国，任西南联大哲学系讲师、教授及清华大学哲学系教授。
1945～1948年赴英国从事研究工作。
1948年回国后历任清华大学哲学系教授、北京大学哲学系教授、中国社会科学院哲学研究所研究员。
他主要从事数理逻辑、中国逻辑史和哲学的教学研究工作。
著有《所有有根的类的类的悖论》（论文）、《两个语义学悖论》（论文）、《初基演算》（论文）、《〈墨经〉的逻辑学》、《“纯逻辑演算”中不依赖量词的部分》（论文）。