沈有鼎 - 個人簡介

沈有鼎，字公武，出生于上海市，是中國現(xiàn)代邏輯學家。1929年清華大學哲學系畢業(yè)，同年考取公費留美。1921年-1931年在美國哈佛大學謝弗和懷德海指導(dǎo)下從事研究，1931年獲碩士學位；同年至1934年留學德國，先后在海德堡和弗賴堡大學杰浦斯和海德格爾的指導(dǎo)下從事研究。他主要從事數(shù)理邏輯、中國邏輯史和哲學的教學研究工作。1934年回國，他任教于清華大學，次年任教授，并擔負指導(dǎo)研究生工作。1937年-1945年任西南聯(lián)大教授。1945年-1948年赴英國牛津大學作訪問研究。回國后先后任清華大學和北京大學教授。1955年調(diào)任中國科學院哲學研究所研究員。著有《有集類的類悖論》、《兩個語義悖論》、《初基演算》、《〈墨經(jīng)〉的邏輯學》、《“純邏輯演算”中不依賴量詞的部分》等。

沈有鼎 - 終身成就

數(shù)理邏輯成就

沈有鼎是中國早期少數(shù)幾位數(shù)理邏輯學家之一。他對經(jīng)典命題邏輯、直覺主義命題邏輯、相干命題邏輯、模態(tài)命題邏輯等都有深入的研究。他在數(shù)理邏輯領(lǐng)域里的主要貢獻是建立了兩個新的邏輯演算系統(tǒng)，構(gòu)成了兩個悖論。

1、“初基演算”。初基演算是比Johansson的極小演算更“小”的命題演算。建立初基演算的意義在于，從它出發(fā)一方面可以逐步擴展為Johansson極小演算，Heyting的構(gòu)造性命題演算，再到二值演算；另一方面可以逐步擴展為Lewis的S4、S5再到二值演算。

2、不依賴量詞的部分的純邏輯演算。所謂“純邏輯演算”是專指加入了“同一”概念之后的狹謂詞演算。

3、“所有有根類的類”的悖論。

4、兩個語義悖論。

先秦名辯思想研究成果

沈有鼎在先秦名辯思想研究中取得了多項重要成果。他在詁解《墨經(jīng)》中有關(guān)邏輯學的文字的基礎(chǔ)之上，以現(xiàn)代邏輯為工具去研究《墨經(jīng)》的邏輯學，挖掘出《墨經(jīng)》中許多鮮為人知的邏輯思想。比如，他對“言盡�！�、“非誹”等命題的闡釋，揭示了中國古代人對自相矛盾命題的獨特悟性；對“兼愛相若，……其類在死蛇”的疏解，揭示出古人對關(guān)系命題的本質(zhì)的深刻理解……更重要的是，沈先生揭示了《墨經(jīng)》的邏輯學體系�！赌�經(jīng)的邏輯學》一書在闡述《墨經(jīng)》的認識論之后，根據(jù)《小取》的規(guī)定，依次闡述了辯的目標和功用、名、辭、說和辯的原則及個別方式、《墨經(jīng)》與各學派的關(guān)系等，這就把《墨經(jīng)》的邏輯體系大體揭舉了出來。他緊緊抓住邏輯是研究推理的這個本質(zhì)問題，闡述中國古代思想家對歸納、演繹、類比推理的認識歷史，指出類推（或推類）是中華民族最為常用的一種推理形式，也是中國古代邏輯不同于西方邏輯和印度因明的最根本的特征。沈先生的《墨經(jīng)的邏輯學》是中國邏輯史領(lǐng)域里的一部重要著作，它把中國學者對《墨經(jīng)》邏輯的研究提高到了一個新的高度。

沈先生研究中國傳統(tǒng)文化，提出了許多重要的新見解。在哲學方面，他提出了中華民族性和哲學關(guān)系的新觀點。他樂觀地預(yù)言，“無論如何，我們現(xiàn)在已經(jīng)可以知道：哲學在中國將有空前的復(fù)興，中國民族將從哲學的根基找到一個中心思想，足以扶植中國民族的更生。這是必然的現(xiàn)象�！辟R麟先生當年評論說，沈先生說出了“非卓有見地的人不敢說的話。”至今仍有學者著文高評沈先生的上述觀點。

沈有鼎對周易有深刻的見解，1936年他在《哲學評論》上發(fā)表《周易卦序分析》一文，連標點在內(nèi)不足200字，指出周易卦序用建構(gòu)原則而不用平等原則“是以義味深長，后世儒者多不能曉”。他又指出，主卦從卦其排列則上篇象天而圓，下篇法地而方。有三序：回互之序，交錯之序，順布之序，“井然森然，雜而不亂，學者所宜用心焉。”胡世華先生評論說，這是關(guān)于周易卦序的真正科學研究。

沈有鼎 - 生活往事

1928年，羅家倫就任清華校長后，曾以“學術(shù)化，民主化，紀律化，軍事化”為教育方針，其中“軍事化”中重要一項內(nèi)容即為每天早上六點鐘學生即要起來早操，后來缺席人多，“羅家倫下了一個命令，說是早操無故缺席，記小過一次。照校規(guī)：三次小過為一次大過，三次大過就開除學籍。”當時沈有鼎為清華學生，“向來生活很隨便，他經(jīng)常不上早操，也不請假，積累下來，被記了八次小過，如果再有一次小過，他就要被開除學籍了，可是就在這個時候，早操無形取消了，他才得以幸免，保留學籍，一直到清華畢業(yè)”。

抗戰(zhàn)初期，大學南遷，當錢穆等人在南岳衡山之文學院時，錢穆曾與吳雨生（吳宓）、聞一多、沈有鼎共居一室，這四人之所以能湊在一起，錢穆認為是其余三人“平日皆孤僻寡交游，不在諸人擇伴中，乃合居一室”，因為還留有一個空床，錢穆先生就住進去。當時的情形，《師友雜憶》曾做如下描述：“室中一長桌，入夜，一多自燃一燈置其座位前。時一多方勤讀《詩經(jīng)》、《楚辭》，遇新見解，分撰成篇。一人在燈下默坐撰寫。雨生則為預(yù)備明日上課抄筆記寫綱要，逐條書之，又有合并，有增加，寫定則于逐條下加以紅筆勾勒。雨生在清華教書至少已逾十年，在此流寓中上課，其嚴謹不茍有如此。沈有鼎則喃喃自語，如此良夜，盡可閑談，各自埋頭，所為何來。雨生加以申斥，汝喜閑談，不妨去別室自找談友。否則早自上床，可勿在此妨礙人。有鼎只得默然。”上述描述，可見沈有鼎先生之可愛處，對待生活和時間之態(tài)度，與其他諸位教授，似乎大不相同。人長期養(yǎng)成的性情，恐怕是很難改變的吧，研究邏輯的，生活不一定刻板，而吳宓先生，其嚴謹不茍，大概也是習性使然的緣故吧。

沈有鼎 - 《沈有鼎集》

作者：中國社會科學院科研局組織

出版社：中國社會科學出版社

出版時間：2006-12-1          

ISBN：7500459084    

頁數(shù)：385

開本：32開

內(nèi)容簡介

沈有鼎先生（1908年-1989年）是當代中國邏輯學家、哲學家。他學貫古今，融會中西，是蜚聲中外的大學者。本書共選沈先生30篇主要論文，分為：邏輯與數(shù)學、中國名辯思想、哲學和其他等部分。論文基本涵蓋了先生所研究的領(lǐng)域，成為先生一生科研成果中論文部分的精華。

沈有鼎 - 與金岳霖

1955年中國科學院哲學社會科學部成立邏輯所，金岳霖以沈有鼎在清華無法立足，將他調(diào)到自己身邊。1956年工資定級時，沈有鼎只到４級，工資比人家低。但沈有鼎似乎沒有說話。其實，此時的沈有鼎，又能說什么話呢？金岳霖將沈有鼎帶到身邊，大約一方面有保護之意，一方面也要借重其天才。金岳霖的留美弟子王浩，在數(shù)理邏輯方面獨步一方，七十年代以后每次回大陸看老師，金岳霖必然叫上沈有鼎作陪。對現(xiàn)代邏輯的了解不及沈有鼎，金岳霖還是有自知之明的。

作為學生，沈有鼎在老師金岳霖面前總是畢恭畢敬的，但一旦論及學問，沈就有“弟子不必不如師，師不必賢于弟子”之氣概。尤其是，在他所長的數(shù)理邏輯方面，這位學生往往是當仁不讓的。據(jù)說，金岳霖想買一本邏輯新書，沈有鼎說，“這本書你看不懂”，金岳霖果然就放棄了。也是形勢比人強。以“沈有鼎悖論”盛名數(shù)理邏輯界，在純數(shù)理層面，沈有鼎可以心無旁騖，凌空蹈虛。在現(xiàn)實生活中，這位邏輯天才卻無法超脫生物邏輯的制約——肚腹皆被操控，又有誰能神游八荒？！

沈有鼎 - 著述目錄

一、專著
1、《墨經(jīng)的邏輯學》，中國社會科學出版社，1980年9月。
2、《沈有鼎文集》，人民出版社，1992年10月。

二、合著
3、《邏輯通俗讀本》，金岳霖等著，中國青年出版社，1962年初版。
4、《形式邏輯簡明讀本》（修訂本），中國青年出版社，1983年第三版。

三、論文
5、On Expressions（論表達式），《哲學評論》第6卷第1期，1935年3月。張尚水中譯，《沈有鼎文集》。
6、On Finite Systems（論有窮系統(tǒng)），《清華學報》第10卷第2期，1935年4月。張清宇中譯，《沈有鼎文集》。
7、評《東西樂制之研究》，《清華學報》第11卷第1期，1936年1月。
8、周易卦序骨構(gòu)大意，《北京晨報》“思辨”�？�第36期，1936年5月6日第11版。
9、周易卦序分析，《哲學評論》第7卷第1期，1936年9月。
10、論自然數(shù)，《哲學評論》第7卷第2期，1936年12月。
11、中國哲學今后的開展，《哲學評論》第7卷第3期，1937年3月。
12、真理底分野，《哲學評論》第7卷第4期，1940年。
13、語言、思想與意義，《哲學評論》第8卷第3期，1943年。
14、意義的分類，《哲學評論》第8卷第6期，1944年3月。
15、《周易》釋詞，《清華學報》第15卷第1期，1948年10月。
16、Paradox of the Class of All Grounded Classes（所有有根類的類的悖論），The Journal of Symbolic Logic,Vol.18,No.2,June1953.U.S.A.（《符號邏輯雜志》第18卷第2期，1953年6月，美國。）張清宇中譯，《沈有鼎文集》。
17、Two Semantical Paradoxes（兩個語義悖論），The Journal of Symbolic Logic,Vol.20,No.2,June1955.U.S.A.（《符號邏輯雜志》第20卷第2期，1955年6月，美國。）張清宇中譯，《沈有鼎文集》。
18、評《墨家的形式邏輯》，《人民日報》1957年2月23日。
19、初基演算，《數(shù)學學報》第7卷第1期，1957年3月。
20、論“思維形式”和形式邏輯，《光明日報》1961年11月10日。
21、唯物主義者培根如何推進了邏輯科學，《培根哲學思想》，商務(wù)印書館，1961年。
22、《指物論》句解，《光明日報》1963年1月18日。
23、《公孫龍子》的評價問題，《哲學研究》1978年第6期。
24、公孫龍考（一），《哲學研究叢刊?中國哲學史論文集》（第一輯），山東人民出版社，1979年。
25、A “Natural” Enumeration o fNon-Negative Rational Numbers（非負有理數(shù)的一個“自然”枚舉），The American Mathematical Monthly,Vol.87,No.1.January 1980.U.S.A.（《美國數(shù)學月刊》第87卷第1期，1980年1月，美國。）張清宇中譯，《沈有鼎文集》。
26、“純邏輯演算”中不依賴量詞的部分，《數(shù)學學報》第24卷第5期，1981年9月。
27、談公孫龍，《全國邏輯討論會論文選集》（1979），中國社會科學出版社，1981年。
28、評龐樸《公孫龍子研究》的《考辨》部分，《中國哲學史研究集刊》，上海人民出版社，1982年。
29、序伍非百《中國古名家言》，伍非百：《中國古名家言》，中國社會科學出版社，1983年。
30、論《墨經(jīng)》四篇之編制，同上，
31、《墨子經(jīng)上、下》旁行本始于何時？《邏輯學論叢》，中國社會科學出版社，1983年10月。
32、《墨經(jīng)》中有關(guān)原始詭辯說的一個材料，《社會科學戰(zhàn)線》1984年第2期。
33、《公孫龍子》考，《中國哲學史研究》1989年第3期。

四、手稿
34、The Dialecticians’ Paradoxes of Ancient China（中國古代辯者的悖論），《沈有鼎文集》，人民出版社，1992年。涂又光中譯，《沈有鼎文集》。
35、《墨經(jīng)》中有關(guān)“不定稱判斷的爭論”，同上。
36、論原始“離堅白”學說的物理性質(zhì)，同上。
37、公孫龍“二無一”詭論原文和今譯的對照，同上。
38、現(xiàn)行《公孫龍子》六篇的時代和作者考，同上。
39、A Calculus of Individuals and Truth-values（個體和真值的演算），中國社會科學院哲學所邏輯室編：《理有固然》，社會科學文獻出版社，1995年8月。張清宇中譯，《理有固然》。
40、有關(guān)三段論的幾個問題，中國社會科學院哲學所邏輯室編：《摹物求比》，社會科學文獻出版社，2000年2月。
41、模態(tài)與數(shù)理邏輯，同上。
42、現(xiàn)行《公孫龍子》的主要論題及三個公孫龍，同上。
43、關(guān)于因明的三張圖表，同上。
44、Theory of Simple Type（簡單類型論），同上。
45、給全國首屆因明學術(shù)研討會的賀信，同上。

五、聽講者記錄
46、關(guān)于周延問題，中國社會科學院哲學所邏輯室編：《摹物求比》，社會科學文獻出版社，2000年2月。
47、論模態(tài)，同上。
48、在金岳霖學術(shù)思想討論會上的發(fā)言，同上。

六、書信
49、牛津來書，中國社會科學院哲學所邏輯室編：《摹物求比》，社會科學文獻出版社，2000年2月。
50、致王浩的信件，《沈有鼎文集》，人民出版社，1992年10月。