| 沈有鼎 1908—1989 逻辑学家。上海人。1929年毕业于清华大学哲学系。1929—1931年在美国哈佛大学留学。1931—1934年在德国海德尔堡大学和弗赖堡大学留学。1934年回国后，历任清华大学、西南联合大学教授。1945—1948年到英国讲学。回国后任清华大学、北京大学教授。1955年起任中国科学院哲学研究所研究员。为中国逻辑学会顾问。长期从事数理逻辑和逻辑史的研究。构造了一个称为“纯逻辑演算中不依赖量词的部分”的系统。在对《墨经》的研究中，他纠正了古代文献中的一些重要错漏，系统、深刻、独立地阐发了《墨经》的逻辑体系，把《墨经》逻辑研究提高到一个新的水平。主要著作有《所有有根的类的类的悖论》、《两个语义学悖论》、《唯物主义者培根如何推进了逻辑科学》、《公孙龙考(1)》、《〈墨经〉的逻辑学》等。 |