基本資料
中文名：沈有鼎
國籍：中國
民族：漢族
出生地：上海
出生日期：1908年
逝世日期：1989年
職業(yè)：邏輯學(xué)家、哲學(xué)家、教育家
畢業(yè)院校：清華大學(xué)、哈佛大學(xué)
主要成就：中國邏輯學(xué)界的開拓者、先行者
代表作品：《“墨經(jīng)”的邏輯學(xué)》、《有集類的類悖論》、《兩個語義悖論》等
生平履歷
沈有鼎，字公武。邏輯學(xué)家。上海市人，祖籍江蘇吳縣。
1929年，畢業(yè)于清華大學(xué)哲學(xué)系，同年考取公費留美。
1921年至1931年，在美國哈佛大學(xué)謝弗和懷德海指導(dǎo)下從事研究。
1931年，獲美國哈佛大學(xué)碩士學(xué)位。
1931年至1934年，留學(xué)德國，先后在海德堡和弗賴堡大學(xué)杰浦斯和海德格爾指導(dǎo)下從事研究。
1934年，回國，任教于清華大學(xué)，次年任教授，并擔(dān)負指導(dǎo)研究生工作。
1937年至1945年，任西南聯(lián)合大學(xué)教授。
1945年至1948年，赴英國牛津大學(xué)作訪問研究?；貒笙群笕吻迦A大學(xué)和北京大學(xué)教授。
1955年后，調(diào)任任中國科學(xué)院、中國社會科學(xué)院哲學(xué)研究所研究員。專長數(shù)理邏輯和中西邏輯史。著有《“墨經(jīng)”的邏輯學(xué)》、《有集類的類悖論》、《兩個語義悖論》等。
終身成就
數(shù)理邏輯成就
沈有鼎是中國早期少數(shù)幾位數(shù)理邏輯學(xué)家之一。他對經(jīng)典命題邏輯、直覺主義命題邏輯、相干命題邏輯、模態(tài)命題邏輯等都有深入的研究。他在數(shù)理邏輯領(lǐng)域里的主要貢獻是建立了兩個新的邏輯演算系統(tǒng)，構(gòu)成了兩個悖論。
1．“初基演算”。初基演算是比Johansson的極小演算更“小”的命題演算。建立初基演算的意義在于，從它出發(fā)一方面可以逐步擴展為Johansson極小演算，Heyting的構(gòu)造性命題演算，再到二值演算；另一方面可以逐步擴展為Lewis的S4、S5再到二值演算。初基演算是上述兩個方面演算的共同基礎(chǔ)，建立初基演算可以加深我們對命題演算構(gòu)成的理解。同時，初基演算還給出了一種簡單而嚴格的命題演算證明的新的系列標(biāo)記法。
2．不依賴量詞的部分的純邏輯演算。所謂“純邏輯演算”是專指加入了“同一”概念之后的狹謂詞演算。純邏輯演算中不依賴量詞的部分是純邏輯演算中極其微小的部分。這項研究成果從帶等詞的一階邏
生活往事
1928年，羅家倫就任清華校長后，曾以“學(xué)術(shù)化，民主化，紀(jì)律化，軍事化”為教育方針，其中“軍事化”中重要一項內(nèi)容即為每天早上六點鐘學(xué)生即要起來早操，后來缺席人多，“羅家倫下了一個命令，說是早操無故缺席，記小過一次。照校規(guī)：三次小過為一次大過，三次大過就開除學(xué)籍?！碑?dāng)時沈有鼎為清華學(xué)生，“向來生活很隨便，他經(jīng)常不上早操，也不請假，積累下來，被記了八次小過，如果再有一次小過，他就要被開除學(xué)籍了，可是就在這個時候，早操無形取消了，他才得以幸免，保留學(xué)籍，一直到清華畢業(yè)”。抗戰(zhàn)初期，大學(xué)南遷，當(dāng)錢穆等人在南岳衡山之文學(xué)院時，錢穆曾與吳雨生（吳宓）、聞一多、沈有鼎共居一室，這四人之所以能湊在一起，錢穆認為是其余三人“平日皆孤僻寡交游，不在諸人擇伴中，乃合居一室”，因為還留有一個空床，錢穆先生就住進去。當(dāng)時的情形，《師友雜憶》曾做如下描述：“室中一長桌，入夜，一多自燃一燈置其座位前。時一多方勤讀《詩經(jīng)》
《集》
作者：中國社會科學(xué)院科研局組織出版社：中國社會科學(xué)出版社
出版時間：2006-12-1ISBN：7500459084
頁數(shù)：385
開本：32開
內(nèi)容簡介
沈有鼎先生（1908年-1989年）是當(dāng)代中國邏輯學(xué)家、哲學(xué)家。他學(xué)貫古今，融會中西，是蜚聲中外的大學(xué)者。本書共選沈先生30篇主要論文，分為：邏輯與數(shù)學(xué)、中國名辯思想、哲學(xué)和其他等部分。論文基本涵蓋了先生所研究的領(lǐng)域，成為先生一生科研成果中論文部分的精華。
與金岳霖
1955年中國科學(xué)院哲學(xué)社會科學(xué)部成立邏輯所，金岳霖以沈有鼎在清華無法立足，將他調(diào)到自己身邊。1956年工資定級時，沈有鼎只到4級，工資比人家低。但沈有鼎似乎沒有說話。其實，此時的沈有鼎，又能說什么話呢？金岳霖將沈有鼎帶到身邊，大約一方面有保護之意，一方面也要借重其天才。金岳霖的留美弟子王浩，在數(shù)理邏輯方面獨步一方，七十年代以后每次回大陸看老師，金岳霖必然叫上沈有鼎作陪。對現(xiàn)代邏輯的了解不及沈有鼎，金岳霖還是有自知之明的。
作為學(xué)生，沈有鼎在老師金岳霖面前總是畢恭畢敬的，但一旦論及學(xué)問，沈就有“弟子不必不如師，師不必賢于弟子”之氣概。尤其是，在他所長的數(shù)理邏輯方面，這位學(xué)生往往是當(dāng)仁不讓的。據(jù)說，金岳霖想買一本邏輯新書，沈有鼎說，“這本書你看不懂”，金岳霖果然就放棄了。也是形勢比人強。以“沈有鼎悖論”盛名數(shù)理邏輯界，在純數(shù)理層面，沈有鼎可以心無旁騖，凌空蹈虛。在現(xiàn)實生活中，這位邏輯天才卻無法超
著述目錄
1、《墨經(jīng)的邏輯學(xué)》，中國社會科學(xué)出版社，1980年9月。
2、《沈有鼎文集》，人民出版社，1992年10月。
3、《邏輯通俗讀本》，金岳霖等著，中國青年出版社，1962年初版。
4、《形式邏輯簡明讀本》（修訂本），中國青年出版社，1983年第三版。
5、OnExpressions（論表達式），《哲學(xué)評論》第6卷第1期，1935年3月。張尚水中譯，《沈有鼎文集》。
6、OnFiniteSystems（論有窮系統(tǒng)），《清華學(xué)報》第10卷第2期，1935年4月。張清宇中譯，《沈有鼎文集》。
7、評《東西樂制之研究》，《清華學(xué)報》第11卷第1期，1936年1月。
8、周易卦序骨構(gòu)大意，《北京晨報》“思辨”?？?6期，1936年5月6日第11版。
9、周易卦序分析，《哲學(xué)評論》第7卷第1期，1936年9月。
10、論自然數(shù)，《哲學(xué)評論》第7卷第2期，1936年12月。
11、中國哲學(xué)今后的開展，《哲學(xué)評論》第7卷第3
沈有鼎 
