沈有鼎

【生卒】：1908～1989

【介绍】：

中国现代逻辑学家，哲学家。字公武，生于上海市。1929年毕业于清华大学哲学系。同年考取公费留美，在哈佛大学H．M．舍弗和A．N．怀特海指导下从事研究，1931年获硕士学位。同年留学德国，先后在海德堡大学和弗赖堡大学从事研究工作。1934年回到中国，任清华大学教授，并担负清华研究生院研究生的指导工作。1937～1945年任西南联合大学教授。1945～1948年赴英国牛津大学作访问研究。回国后历任清华大学和北京大学哲学系教授。1955年起调中国科学院哲学所(后更名为中国社会科学院哲学所)研究员，兼任中国社会科学院研究生院教授，博士生导师。任中国逻辑学会、中国逻辑史研究会和符号逻辑研究会顾问，中国大百科全书哲学卷编委会委员，金岳霖学术基金会学术委员会顾问等。

沈有鼎一生主要从事数理逻辑、中国逻辑史以及哲学的教学和研究工作。在数理逻辑方面，发表了《所有有根的类的类的悖论》(1953)、《两个语义学悖论》(1955)、《初基演算》(1957)、《“纯逻辑演算”中不依赖量词的部分》(1981)等论文，是在中国开创数理逻辑研究的先驱者之一。在中国逻辑史方面，重点研究先秦名家辩者和《墨经》中的逻辑思想，发表了考证公孙龙其人其书的一组论文，提出了许多独到的见解；出版了《〈墨经〉的逻辑学》(1980)一书，诂解《墨经》中有关逻辑的文字，纠正了古代文献中的一些错讹，最早系统地阐发了《墨经》的逻辑体系，把《墨经》的逻辑研究提高到一个新的水平(参见《墨经的逻辑学》)。