谷成城，文 艷，張曉芒

(1.山西大學(xué) 哲學(xué)社會(huì)學(xué)學(xué)院， 太原 030006； 2.天津市耀華嘉誠國際中學(xué)， 天津 300040；3.南開大學(xué) 哲學(xué)院， 天津 300350)

?

沈有鼎邏輯思想研究及其意義

谷成城1，文 艷2，張曉芒3

(1.山西大學(xué) 哲學(xué)社會(huì)學(xué)學(xué)院， 太原 030006； 2.天津市耀華嘉誠國際中學(xué)， 天津 300040；3.南開大學(xué) 哲學(xué)院， 天津 300350)

沈有鼎先生是中國著名的現(xiàn)代邏輯學(xué)家及邏輯史家，他在數(shù)理邏輯和中國邏輯史領(lǐng)域均取得了突出的研究成果，分析、梳理沈有鼎的經(jīng)典著作及其體現(xiàn)的邏輯思想，可以展現(xiàn)對(duì)經(jīng)典大師及經(jīng)典著作進(jìn)行研究的方法論價(jià)值與意義。

沈有鼎；邏輯學(xué)；中國邏輯史

一、問題的緣起

關(guān)于經(jīng)典大師及經(jīng)典著作對(duì)于一門學(xué)科的重要意義，張汝倫在《如何理解哲學(xué)史》一文中就有一段很經(jīng)典的論述：“……哲學(xué)的發(fā)展，往往是通過對(duì)經(jīng)典大師和經(jīng)典著作的研究來進(jìn)行的。即便是那些真正原創(chuàng)性的哲學(xué)家，也是如此。并且他們對(duì)哲學(xué)史上重要人物和重要著作的研究，往往自身便成了經(jīng)典。……可以說通過研究哲學(xué)史和哲學(xué)經(jīng)典著作來進(jìn)行哲學(xué)研究，是哲學(xué)發(fā)展的必然之路。”[1]按此，邏輯學(xué)的研究同樣也離不開對(duì)邏輯史以及邏輯學(xué)領(lǐng)域內(nèi)的經(jīng)典人物和經(jīng)典著作的研究。因此，對(duì)邏輯學(xué)領(lǐng)域經(jīng)典人物和經(jīng)典著作的研究本身就是對(duì)邏輯史的研究的重要組成部分，也是對(duì)邏輯學(xué)研究的必要環(huán)節(jié)。

這是因?yàn)?，一般的邏輯史研究?shí)際上也就是對(duì)歷史上的邏輯學(xué)家的研究連綴而成的。這種研究既是主體依賴性的研究，亦即歷史上的那些邏輯學(xué)家在研究邏輯的過程中，所立足的是自己什么樣的知識(shí)背景及研究興趣；同時(shí)也是一種問題歷史化的研究，亦即那些邏輯學(xué)家在研究邏輯的歷史中所注意的是什么樣的問題。如是，邏輯學(xué)發(fā)展的整個(gè)歷史脈絡(luò)或者說歷史的邏輯觀的發(fā)展脈絡(luò)，就以“邏輯史”的面目展現(xiàn)開來了。按此，經(jīng)典大師、經(jīng)典著作就構(gòu)成了邏輯史的重要節(jié)點(diǎn)和有力支撐，它們最直觀地體現(xiàn)著邏輯學(xué)的發(fā)展線索和學(xué)科狀況，并且在很大程度上影響著學(xué)科的發(fā)展方向與進(jìn)程。從大師的思想及著作中，我們可以探知經(jīng)典大師如何看待邏輯學(xué)及邏輯史，邏輯史上的代表性思想如何形成、發(fā)展，最終建立起完整的體系；體味到不同的人物性格及特殊的時(shí)代背景如何對(duì)研究工作產(chǎn)生深刻且久遠(yuǎn)的影響；學(xué)習(xí)經(jīng)典大師各具特色的研究思路和研究方法，從而將知識(shí)進(jìn)行串聯(lián)，理清學(xué)科發(fā)展脈絡(luò)，為日后的研究工作獲得靈感和啟發(fā)；站在巨人的肩膀上，能具備更好的視野和視角，更加科學(xué)、合理地把握學(xué)科發(fā)展趨勢(shì)和前景。

從方法論意義上講，研究歷史上著名的邏輯學(xué)家及其著作，整理、重述并批判繼承他們的觀念及方法，也是研究邏輯史的一個(gè)重要方法。因此，同大多數(shù)哲學(xué)史著作一樣，邏輯史著作一般都是以人物為線索撰寫的，即使像《邏輯史手冊(cè)》第十一卷那樣以問題為線索編寫而成的著作，所討論、研究的每一個(gè)問題依然是以各個(gè)人物的觀點(diǎn)為內(nèi)在線索的。在邏輯學(xué)界，有很多學(xué)者的研究工作都是圍繞著一個(gè)具有代表性的前輩人物展開的。例如沈有鼎的同學(xué)、美籍華裔邏輯學(xué)家王浩主要研究哥德爾的邏輯思想，其著述《邏輯之旅：從哥德爾到哲學(xué)》《哥德爾》等都是通過對(duì)哥德爾思想的研究來闡述自己與哥德爾的思想之間的共鳴以及分歧之處。清華大學(xué)教授王路著有《弗雷格思想研究》《弗雷格哲學(xué)論著選輯》(譯)，他認(rèn)為研究弗雷格可以通過對(duì)弗雷格的文本研究進(jìn)入前沿研究[2]。這些例證即是本文的進(jìn)入點(diǎn)。

二、為何要研究沈有鼎及其經(jīng)典著作

20世紀(jì)以來，我國涌現(xiàn)出一批優(yōu)秀的邏輯學(xué)家，然而真正被作為邏輯學(xué)大家并被眾人所重視和研究的學(xué)者則較少?，F(xiàn)今，在我國邏輯學(xué)界內(nèi)，研究西方現(xiàn)當(dāng)代邏輯學(xué)家的邏輯思想及其經(jīng)典著作的較多，但將目光和研究重點(diǎn)放在國內(nèi)邏輯學(xué)家上面的則較少。迄今，對(duì)于金岳霖先生的著作及其邏輯思想傳播的研究最為廣泛和深入，對(duì)于牟宗三、殷海光、周禮全諸先生的研究次之。時(shí)下，張家龍先生、馬佩先生的邏輯思想也逐漸為年輕的研究者所重視?？陀^地看，我國邏輯學(xué)界對(duì)本土邏輯學(xué)家的邏輯思想及其經(jīng)典著作的研究工作還有待系統(tǒng)和深入。

沈有鼎先生是現(xiàn)代中國學(xué)貫中西的邏輯學(xué)大家，他一生治學(xué)嚴(yán)謹(jǐn)，博采眾長，不僅是我國在現(xiàn)代邏輯研究領(lǐng)域的先驅(qū)人物，在中國邏輯史研究領(lǐng)域也取得了突出的成果。沈先生可以當(dāng)之無愧地被稱為早期中國邏輯學(xué)界的一位集大成者，也理應(yīng)稱得上是20世紀(jì)的中國在邏輯學(xué)研究領(lǐng)域中具有里程碑意義的人物。

遺憾的是，沈先生一生研究范圍十分廣泛，但著述不多。這給研究他的邏輯思想帶來了一定的困難。迄今為止，雖有學(xué)者研究沈先生的邏輯思想，但尚未出現(xiàn)對(duì)沈先生進(jìn)行全面研究和系統(tǒng)剖析的學(xué)術(shù)成果。

我們?cè)谘芯可蛴卸ο壬闹鲿r(shí)發(fā)現(xiàn)，沈先生的研究成果看似星羅棋布，但實(shí)則線索清晰，主題明確。尤其是他對(duì)于現(xiàn)代邏輯以及邏輯哲學(xué)的研究不僅在當(dāng)時(shí)，即便在現(xiàn)時(shí)都屬于邏輯學(xué)科的前沿領(lǐng)域。他的思路以及觀點(diǎn)對(duì)于認(rèn)知邏輯、集合論等學(xué)科前沿領(lǐng)域具有極大的啟發(fā)性，沿著他的思路有可能開辟出新的邏輯學(xué)的研究領(lǐng)域。

沈有鼎先生從現(xiàn)代邏輯的角度研究中國邏輯史，開創(chuàng)了中國邏輯史研究領(lǐng)域的新角度、新方法。了解、探討沈先生看待邏輯尤其是中國傳統(tǒng)邏輯思想的態(tài)度，發(fā)掘沈先生關(guān)于中國傳統(tǒng)邏輯思想的新文獻(xiàn)，能夠很好地回應(yīng)關(guān)于“中國古代有沒有邏輯學(xué)”的爭議。借鑒沈先生對(duì)中國古代邏輯思想的研究方法，對(duì)于中國古代邏輯思想史的研究也具有重要的方法論意義。

沈有鼎先生是中國早期少數(shù)幾位現(xiàn)代邏輯學(xué)家之一，也是對(duì)中國邏輯史領(lǐng)域有突出貢獻(xiàn)的代表性的人物。全面、系統(tǒng)地研究沈先生其人其著，對(duì)于發(fā)掘在中國現(xiàn)代邏輯史發(fā)展過程中本土邏輯學(xué)家所起的推動(dòng)作用及其價(jià)值，以及完善和豐富對(duì)中國現(xiàn)當(dāng)代邏輯史人物的研究，都具有一定的理論意義和現(xiàn)實(shí)意義。

三、沈有鼎在邏輯學(xué)研究領(lǐng)域的卓越貢獻(xiàn)

(一)在現(xiàn)代邏輯方面

沈有鼎先生在現(xiàn)代邏輯方面貢獻(xiàn)巨大，其中最突出的貢獻(xiàn)是構(gòu)成了“沈有鼎悖論”。1953年，沈先生在美國的《符號(hào)邏輯雜志》上發(fā)表了Paradoxoftheclassofallgroundedclasses(《所有有根的類的悖論》)。這篇文章的影響從杜米特留(Dumitriu)的評(píng)價(jià)中可見一斑，因?yàn)槎琶滋亓粼谄渌摹哆壿嬍贰芬粫芯桶阉杏懈惖你Ｕ摲Q之為“沈有鼎悖論”*參見文獻(xiàn)[3]。。1955年，沈先生又在《符號(hào)邏輯雜志》上發(fā)表了Twosemanticalparadox(《兩個(gè)語義學(xué)悖論》)。至今，我國邏輯學(xué)界仍習(xí)慣將這兩個(gè)悖論統(tǒng)稱為“沈有鼎悖論”。

沈先生在中國社會(huì)科學(xué)院哲學(xué)所邏輯組任研究員時(shí)，曾填寫過一份《主要研究成果登記表》，總結(jié)了他的主要研究方向和所發(fā)表的研究成果。其填寫時(shí)間從內(nèi)容可推斷為1984年之后*沈有鼎的《主要研究成果登記表》(手稿復(fù)印件)，由劉培育先生饋贈(zèng)。在此由衷地對(duì)劉先生大力支持晚輩學(xué)術(shù)研究的精神表示誠摯的謝意。。按該《主要研究成果登記表》中的《自評(píng)》所述，國外曾有人轉(zhuǎn)述和評(píng)論過這兩個(gè)悖論?！斗?hào)邏輯雜志》在1955年第20卷第1期的Review*《符號(hào)邏輯雜志》每期設(shè)有Review專欄，是對(duì)之前該雜志所發(fā)表文章的簡單回顧和評(píng)論。中發(fā)表了美國的謬?yán)?Gert H.Muller)對(duì)《所有有根類的悖論》的評(píng)價(jià)。謬?yán)照J(rèn)為：“他用和羅素相似的方法證明了所有有根類的類，所有非循環(huán)類的類，所有非N-循環(huán)類的類每一個(gè)都是矛盾的。也正如審稿人在沈有鼎的文章中指出的那樣，這個(gè)結(jié)果也等同于蒯因證明出來的相當(dāng)于所有非N-循環(huán)類的類的悖論?！盵4]謬?yán)者€曾在1956年發(fā)表了一篇Review[5]來回顧介紹沈有鼎的《兩個(gè)語義悖論》。蒙太格(Richard Montague)于1955年在《符號(hào)邏輯雜志》上發(fā)表的《論有根類的悖論》[6]一文中提到了沈有鼎的“有根類”這一性質(zhì)，他將其稱為正則的(Regular)類?！罢齽t類”即是沈有鼎的有根類。謬?yán)赵?956年的Review中評(píng)論蒙太格的《論有根類的悖論》時(shí)提到：“從選擇公理可得，一個(gè)類是正確的，當(dāng)且僅當(dāng)它在沈的意義上是有根的?！盵5]美國的赫茲博格(Hans G.Herzberger)也曾在《語義學(xué)中的有根性悖論》[7]一文中提到，有根類的類的悖論首次由梅里馬諾夫(D.Mirimanoff)提出，而由沈有鼎再一次重申了這一觀點(diǎn)。不過，張家龍先生則認(rèn)為這是一個(gè)誤解，應(yīng)是沈有鼎先生首次提出“有根類”這一概念的[3]。

沈先生還建立了兩個(gè)邏輯演算系統(tǒng)，即“初基演算”和“純邏輯演算中不依賴量詞的部分”。

“初基演算”可以看做是S4和“極小演算”兩系統(tǒng)中交叉的一部分。從“初基演算”出發(fā)既可以擴(kuò)展到Johanson的極小演算，再到Heyting的構(gòu)造性命題演算，再到二值演算；也可以經(jīng)Lewisde的S4、S5系統(tǒng)再到二值演算?！俺趸菟恪笔巧鲜鰞蓚€(gè)方面演算的共同基礎(chǔ)。同時(shí)，“初基演算”還給出了一種新的既簡單又嚴(yán)格的系列標(biāo)記法。沈先生認(rèn)為，這種標(biāo)記法或許可以開辟出一個(gè)新的研究領(lǐng)域。至于“純邏輯演算中不依賴量詞的部分”，是指加入了“同一”概念之后的狹謂詞演算，是從帶等詞的一階邏輯中分離出一個(gè)完全的、可判定的子系統(tǒng)。沈先生采用“值表”的方法來區(qū)分是否為本系統(tǒng)的公理，這種方法本身可以理解為一種公理系統(tǒng)。

在沈先生的邏輯研究中，他尤其重視對(duì)模態(tài)邏輯方面的研究。從他的《主要研究成果登記表》中“主要研究問題”和“基本學(xué)術(shù)觀點(diǎn)”兩欄所填的內(nèi)容看，他在數(shù)理邏輯方面的研究主要注重對(duì)“四論”——證明論、模型論、遞歸函數(shù)、集合論的多方面掌握。沈先生在“現(xiàn)階段以及未來的(1984—)主要研究方向”一欄中所填寫的內(nèi)容表明，他計(jì)劃以模態(tài)邏輯為主要研究方向，在研究中同時(shí)重視研究證明論與模型論。據(jù)說，沈先生在哈佛大學(xué)的碩士畢業(yè)論文就是關(guān)于模態(tài)邏輯方面的，遺憾的是這篇文章始終未能找到。

在這份《主要研究成果登記表》中，沈先生認(rèn)為，自20世紀(jì)60年代后，西方數(shù)理邏輯的研究主要以數(shù)學(xué)家為主，哲學(xué)家為輔，導(dǎo)致其研究成果在技術(shù)性方面有所增強(qiáng)，但在哲學(xué)味道方面卻略為平淡。沈先生認(rèn)為“現(xiàn)階段”的模態(tài)邏輯研究更需要那種在數(shù)學(xué)方面不是很專但對(duì)邏輯的哲學(xué)方面卻很精的學(xué)者來加以研究，從而彌補(bǔ)西方數(shù)理邏輯發(fā)展的短板。為此，他還確立了一個(gè)研究課題——“邏輯模態(tài)和本體論模態(tài)”，希望借此彌補(bǔ)西方數(shù)理邏輯領(lǐng)域研究的短板，并在糾正西方研究的偏向的同時(shí)充實(shí)模態(tài)邏輯的內(nèi)容。我們認(rèn)為，這個(gè)提議不僅在當(dāng)時(shí)，即使在當(dāng)下都是一個(gè)大膽且切中要點(diǎn)的想法。

此外，沈先生對(duì)認(rèn)知邏輯也有一定程度的研究。張家龍先生寫的《沈有鼎的廣義模態(tài)思想》一文介紹了沈先生研究知道邏輯和相信邏輯時(shí)所樹立的基本原則及闡釋的重要概念[8]。張家龍先生以上述原則和概念為基礎(chǔ)和框架，結(jié)合自己的研究成果合理地加以擴(kuò)充，最終構(gòu)成一個(gè)兼容了萊蒙型的知道邏輯和帕普型的相信邏輯的系統(tǒng)。2015年，張家龍先生對(duì)這篇文章作了修改和補(bǔ)充，并構(gòu)造了這個(gè)系統(tǒng)的可能世界語義模型。張家龍將擴(kuò)充后的認(rèn)知邏輯系統(tǒng)稱為“沈有鼎型的認(rèn)知邏輯系統(tǒng)KBT”[9]。

(二)在中國邏輯史方面

沈先生在其《主要研究成果登記表》中寫道：“在中國邏輯史方面，我的研究重點(diǎn)是先秦名辯思想?！睋?jù)該《登記表》，早在1942年，沈先生在西南聯(lián)大任教授時(shí)就開設(shè)了“晚周辯學(xué)”課程。解放后，沈有鼎曾多次在中國社會(huì)科學(xué)院以及北京師范大學(xué)開設(shè)有關(guān)先秦邏輯史方面的講座。沈有鼎對(duì)于中國先秦名辯思想的研究主要以《墨經(jīng)》《公孫龍子》，以及先秦惠施及公孫龍等人的詭辯為主。

在西南聯(lián)大開設(shè)“晚周辯學(xué)”課程時(shí)，沈先生的講解內(nèi)容便有《墨經(jīng)》。該講解內(nèi)容曾于1954—1955年在《光明日?qǐng)?bào)》上以《墨辯的邏輯學(xué)》為名連載。1957年，沈先生將其擴(kuò)充為15萬字左右的書稿準(zhǔn)備出版，但稿件在審閱時(shí)不慎丟失。1979年9月至12月，沈先生為研究生講授《墨經(jīng)的邏輯學(xué)》的課程。1980年1月，《墨經(jīng)的邏輯學(xué)》一書由中國社會(huì)科學(xué)出版社出版。對(duì)于這本書，沈有鼎在序言中說：“時(shí)間已久，有些見解有了改變?！盵10]在該版中，有更改的地方用方括號(hào)標(biāo)示了出來。1984年4月至5月，沈有鼎應(yīng)邀為北京師范大學(xué)邏輯進(jìn)修班講授中國邏輯史專題，授課主要內(nèi)容為《墨經(jīng)》與公孫龍。1985年，沈有鼎在中國社會(huì)科學(xué)院舉辦的邏輯史講習(xí)班中重點(diǎn)講解了《墨經(jīng)的邏輯學(xué)》，提出了《墨經(jīng)》的命題變項(xiàng)說。同年，沈有鼎還曾與劉培育討論對(duì)《墨經(jīng)的邏輯學(xué)》進(jìn)行修改，可惜由于工作量太大而未果*2013年6月22日在與劉培育先生的交談中獲知。。

《墨經(jīng)的邏輯學(xué)》是沈先生對(duì)《墨經(jīng)》研究的代表作。中國邏輯史研究領(lǐng)域的學(xué)者都高度贊揚(yáng)這本書。孫中原先生稱“沈有鼎是現(xiàn)代中國最著名的《墨經(jīng)》邏輯研究家……使久被埋沒窒息的墨家邏輯獲得新生”[11]；劉培育先生認(rèn)為“沈先生的《墨經(jīng)的邏輯學(xué)》是中國邏輯史領(lǐng)域里的一部重要著作，它把我國學(xué)者對(duì)《墨經(jīng)》邏輯的研究提高到了一個(gè)新的高度”[12]；楊武金認(rèn)為“沈有鼎在墨家邏輯的研究中成果卓著豐碑永存”[13]。

沈先生還提出了“兩個(gè)公孫龍”的假說。這是在研究公孫龍的領(lǐng)域中“第一次全面、系統(tǒng)地在中國學(xué)術(shù)界提出的科學(xué)假說”[14]。沈先生還發(fā)表了一系列有關(guān)《公孫龍子》文獻(xiàn)考據(jù)的文章。在研究中，他博觀約取，一方面大量引經(jīng)據(jù)典，一方面嚴(yán)謹(jǐn)、反復(fù)?？保罱K指出了現(xiàn)行《公孫龍子》應(yīng)是晉人根據(jù)《墨經(jīng)》以及公孫龍子的部分殘簡編纂而成的偽書。雖然《公孫龍子》偽書論由來已久，但沈先生首次做了系統(tǒng)的論證。

(三)在其他方面

沈有鼎先生精通英語、德語、拉丁文、希臘文。從他與美籍華裔邏輯學(xué)家王浩的書信往來中可知他對(duì)西方哲學(xué)史的了解甚深，并對(duì)康德的哲學(xué)尤其傾心。解放后，沈先生也時(shí)刻關(guān)注西方近現(xiàn)代哲學(xué)的發(fā)展。在西方近現(xiàn)代哲學(xué)中，對(duì)沈先生的邏輯哲學(xué)研究產(chǎn)生了非常深遠(yuǎn)影響的是胡塞爾的現(xiàn)象學(xué)。王浩1951年在《符號(hào)邏輯雜志》上發(fā)表了一篇Review介紹沈有鼎的《語言、思想和意義》一文，并認(rèn)為該文處理了很多哲學(xué)家和邏輯學(xué)家都關(guān)心的問題[15]。此外，在與王浩的通信中，沈先生也經(jīng)常關(guān)注西方數(shù)學(xué)和集合論的研究動(dòng)態(tài)，他曾在美國《數(shù)學(xué)日?qǐng)?bào)》上發(fā)表過文章《非負(fù)有理數(shù)的“自然枚舉”——一個(gè)非形式的討論》[16]，并稱英國的Fisher和加拿大的Liberman曾各函索一份。

沈先生對(duì)中國傳統(tǒng)文化也頗有研究。他在20世紀(jì)30年代發(fā)表的關(guān)于《周易》卦序的研究成果(《周易序卦骨構(gòu)大意》《周易卦序分析》)，至今在《周易》研究領(lǐng)域都受到相當(dāng)高的評(píng)價(jià)。胡世華評(píng)論道：“這是關(guān)于周易卦序的真正科學(xué)研究?！?轉(zhuǎn)引自文獻(xiàn)[17]。

沈先生在與王浩的通信中曾提到他的“邏輯研究跟格論的聯(lián)系是很密切的”[18]537。在他的教導(dǎo)與啟發(fā)下，他的學(xué)生張清宇將數(shù)理邏輯的方法引入對(duì)《周易》的研究，借用格論的方法對(duì)《周易》進(jìn)行了創(chuàng)造性的、深刻的解讀。無論是沈先生還是在其影響下繼續(xù)對(duì)《周易》進(jìn)行深入研究的張清宇，他們關(guān)于《周易》的研究方法和研究成果不僅是對(duì)中國傳統(tǒng)文化中蘊(yùn)含著的豐富邏輯思想的深入探索和挖掘，而且對(duì)此后中國邏輯史研究者進(jìn)行的研究具有重要的啟發(fā)意義。

四、研究沈有鼎邏輯思想的意義

第一，能夠不斷厘清中國現(xiàn)代以來邏輯史的發(fā)展線索和特點(diǎn)，繼續(xù)探討中國邏輯史合理性的評(píng)價(jià)問題。

在對(duì)前人的思想進(jìn)行研究時(shí)，研究者難免會(huì)被所處的時(shí)代背景所影響，因而深入研究不同時(shí)代背景下的學(xué)者的研究思路、研究特點(diǎn)，有助于把握和厘清邏輯學(xué)科在現(xiàn)代中國的發(fā)展線索。沈有鼎先生在解放前就開始了對(duì)先秦名辯思想的研究，經(jīng)歷了邏輯學(xué)再次從西方傳入時(shí)期、邏輯大討論時(shí)期、文化大革命時(shí)期、邏輯學(xué)科再次繁盛時(shí)期共四個(gè)時(shí)期。這四個(gè)時(shí)期，邏輯學(xué)科在中國的發(fā)展有不同的特點(diǎn)。因此，充分研究沈先生在不同時(shí)期的研究重點(diǎn)、思路、方法、成果，在描繪不同的時(shí)代特點(diǎn)究竟如何對(duì)他產(chǎn)生影響的同時(shí)，也可以反映出邏輯學(xué)科在現(xiàn)代中國各個(gè)時(shí)期的發(fā)展特點(diǎn)和規(guī)律。

自西方邏輯傳入我國以來，應(yīng)如何看待“中國邏輯”這一概念一直存在爭議。學(xué)者們一直在探討中國的邏輯史究竟應(yīng)該是“在中國的邏輯史”還是“中國的邏輯史”。若是“在中國的邏輯史”，那就意味著中國古代或中國傳統(tǒng)文化中并無邏輯學(xué)，“在中國的邏輯史”則可理解為由西方傳入的邏輯與中國本土的名辯學(xué)相融合而繼續(xù)發(fā)展的邏輯史；若是“中國的邏輯史”，則表明中國古代就有邏輯思想甚或邏輯學(xué)，中國的邏輯史就是中國的邏輯思想甚或邏輯學(xué)發(fā)展的歷史。

中國邏輯到底算不算邏輯學(xué)的分支，這取決于學(xué)者持怎樣的邏輯觀念。沈有鼎的老師金岳霖先生認(rèn)為“邏輯不二，而邏輯系統(tǒng)不一”[19]，即邏輯是唯一的，中國邏輯是不存在的。1957年，沈有鼎在《評(píng)〈墨家的形式邏輯〉》一文中則指出：“現(xiàn)在恐怕還有主張中國一向無邏輯學(xué)的人，其實(shí)這和主張中國一向無科學(xué)是同樣荒謬的?！盵20]沈先生在1981年給王浩的信中提到：“中國古代邏輯思想史，正如張尚水所說，沒有多少邏輯學(xué)。但正因?yàn)槿缃鹄纤f，雖有萌芽而后來不發(fā)展，所以這些材料十分可貴?！盵18]585沈先生的這段話曾被認(rèn)為他在對(duì)待“中國邏輯”問題上有矛盾之處。然而，通過發(fā)掘沈先生關(guān)于“中國邏輯”的文獻(xiàn)材料，我們能夠分析評(píng)價(jià)出沈先生主張科學(xué)看待中國邏輯思想的一以貫之的邏輯觀。

在我國近現(xiàn)代史上，很少有對(duì)數(shù)理邏輯和中國邏輯史都有深入研究的學(xué)者。沈先生在國內(nèi)外的求學(xué)經(jīng)歷使他的西方哲學(xué)史以及數(shù)理邏輯方面的功底十分深厚；而得益于肥沃的家學(xué)土壤，沈有鼎對(duì)中國古代的文字訓(xùn)詁和文獻(xiàn)考究也同樣具有扎實(shí)的根基。沈先生兼收并蓄，將數(shù)理邏輯和中國邏輯史同時(shí)作為主要研究方向，具備對(duì)中西邏輯進(jìn)行比較研究的必備條件。所以，沈先生的邏輯史觀以及他研究中國邏輯史的角度和方法應(yīng)當(dāng)成為我們今天研究中國邏輯思想史的重要借鑒。厘清沈有鼎的邏輯觀的變化過程及原因，可以開辟如何看待中國邏輯史合理性的一個(gè)新的、有說服力的角度；可以在不斷深入發(fā)展中國邏輯史研究的過程中，提醒我們時(shí)刻要注意以往研究歷史的價(jià)值和意義。

第二，擴(kuò)大中國現(xiàn)當(dāng)代邏輯史的研究范圍，繼續(xù)探討中國邏輯史研究的方法問題。

哲學(xué)本身就是在哲學(xué)家的對(duì)話中產(chǎn)生的學(xué)問，只有通過不斷交流、碰撞、揚(yáng)棄才能使哲學(xué)始終向前發(fā)展。與此相同，研究中國邏輯史也不應(yīng)僅局限于厘清史料中所包含的邏輯思想，中國邏輯史研究領(lǐng)域的前輩學(xué)者所取得的成果也應(yīng)被列為重點(diǎn)研究對(duì)象。既然我們已經(jīng)認(rèn)為，在不斷深入發(fā)展中國邏輯史研究的過程中，要時(shí)刻注意以往研究歷史的價(jià)值和意義，那么深入研究在中國邏輯史研究中的重要代表人物沈有鼎先生，不僅可以進(jìn)一步理解和挖掘沈先生主要研究的先秦名辯思想，而且可以借鑒和學(xué)習(xí)其研究思路、方法、觀點(diǎn)。

另外，在現(xiàn)代邏輯傳入中國之后，中國邏輯史的研究不僅僅是對(duì)中國古代邏輯思想的研究，我國邏輯學(xué)家對(duì)現(xiàn)代邏輯以及邏輯哲學(xué)的研究也應(yīng)當(dāng)是其題中應(yīng)有之義。沈先生不僅在中國先秦名辯思想的研究方面碩果累累，而且在邏輯哲學(xué)以及現(xiàn)代邏輯的研究方面同樣成果卓著。沈有鼎的邏輯思想及其研究成果構(gòu)成了現(xiàn)代中國邏輯發(fā)展史中的重要組成部分，所以對(duì)其深入研究具有重要的學(xué)術(shù)價(jià)值和意義。

沈有鼎先生先后經(jīng)歷了20世紀(jì)五六十年代及八九十年代這兩個(gè)研究中國邏輯史的高峰時(shí)期。在這兩個(gè)高峰時(shí)期，梁啟超范式、比附研究法和比較研究法、?？庇?xùn)詁研究法，以及文化分析與歷史分析法都得到了學(xué)術(shù)界一定的認(rèn)可，但也產(chǎn)生了不少爭議。應(yīng)當(dāng)肯定的一點(diǎn)是，對(duì)邏輯史的研究不應(yīng)局限于重述和整理歷史材料式的簡單匯總，而應(yīng)由淺入深，由表及里，集“明變、求因、評(píng)判”[21]為一體。在研究中，沈先生大開大闔，博觀約取，在大量、廣泛考證，精細(xì)、嚴(yán)格?？钡幕A(chǔ)上，將比附研究法及比較研究法兼而用之，把研究客體與歷史文化條件進(jìn)行有機(jī)結(jié)合，既保證了研究的客觀性又不落于呆板，為研究中國邏輯史提供了可參照性極強(qiáng)的優(yōu)秀范本。研究沈先生的研究方法，有助于我們?cè)谘芯堪兄袊糯壿嬎枷氲墓偶牧蠒r(shí)科學(xué)、合理地選取合理有效的方法。

20世紀(jì)初，我國學(xué)者研究中國古代邏輯思想的主要工具大多是西方傳統(tǒng)形式邏輯。沈有鼎則獨(dú)辟蹊徑，創(chuàng)造性地選取從現(xiàn)代邏輯及邏輯哲學(xué)的視角來研究中國邏輯思想史。隨著西方非經(jīng)典邏輯的廣泛傳入，學(xué)界研究中國邏輯思想史的角度和方法也越來越趨于多元化了。

任何學(xué)術(shù)史都屬于歷史范疇，中國邏輯史也不例外。具體到中國邏輯史，其歷史范疇屬性的表現(xiàn)在于：隨著歷史的發(fā)展，一方面，邏輯學(xué)以及中國邏輯思想的相關(guān)理論在歷史進(jìn)程中不斷發(fā)生發(fā)展，演變豐富；另一方面，邏輯思想在具體的歷史實(shí)踐中發(fā)揮著獨(dú)特的作用。因此，在研究“中國邏輯史”時(shí)，應(yīng)當(dāng)把邏輯學(xué)的理論和實(shí)踐兩方面結(jié)合起來加以研究，尤其要著力對(duì)表現(xiàn)在哲學(xué)和科學(xué)實(shí)踐中的邏輯思想發(fā)展情況加以研究，即從歷史上的邏輯應(yīng)用中抽象、概括、總結(jié)出邏輯的思想，以及邏輯的概念、范疇、規(guī)范和方法，并探索其發(fā)展過程，從而豐富中國邏輯史的內(nèi)容，體現(xiàn)中國邏輯史的特點(diǎn)。

第三，是研究中國現(xiàn)代邏輯發(fā)展的必經(jīng)之路，能深化對(duì)中國邏輯學(xué)家所做貢獻(xiàn)的認(rèn)識(shí)。

在現(xiàn)代數(shù)理邏輯傳入中國之后的一段時(shí)間內(nèi)，我國學(xué)者受知識(shí)基礎(chǔ)所限很難對(duì)數(shù)理邏輯開展獨(dú)立研究。因此，那段時(shí)期，主要是開展數(shù)理邏輯的教學(xué)，而將數(shù)理邏輯作為研究對(duì)象的學(xué)者少之又少?！皵?shù)理邏輯在我國現(xiàn)代邏輯史上引介、傳播和初步研究階段，我國數(shù)理邏輯的研究隊(duì)伍小，研究成果少，研究水平低；數(shù)理邏輯在我國的傳播與研究幾乎沒有受到哲學(xué)的影響。”[22]

1929年，沈有鼎留學(xué)哈佛大學(xué)，當(dāng)時(shí)哈佛大學(xué)的邏輯學(xué)知名學(xué)者有懷特海、謝弗、魯一士、漢丁頓等，開設(shè)的相關(guān)課程門類繁多。在那里，沈有鼎接受了專業(yè)的邏輯學(xué)訓(xùn)練，極大地夯實(shí)了他的哲學(xué)基礎(chǔ)和數(shù)學(xué)基礎(chǔ)，這為沈先生日后進(jìn)行數(shù)理邏輯的研究創(chuàng)造了良好的條件。正是基于扎實(shí)且先進(jìn)的學(xué)科基礎(chǔ)，歸國后，沈有鼎不僅可以教授數(shù)理邏輯的課程，也可以獨(dú)立從事數(shù)理邏輯的研究工作，他是當(dāng)時(shí)國內(nèi)為數(shù)不多的數(shù)理邏輯學(xué)家之一。

從數(shù)理邏輯的專業(yè)素養(yǎng)來看，具備如沈有鼎一般扎實(shí)且先進(jìn)的學(xué)科功底的學(xué)者較少。從對(duì)數(shù)理邏輯的研究歷程來看，沈有鼎與多數(shù)學(xué)者一樣體會(huì)過跌宕起伏的時(shí)代變遷對(duì)學(xué)術(shù)研究造成的影響?？梢姡蛴卸κ茄芯课覈鴶?shù)理邏輯發(fā)展史的一個(gè)不可多得的兼具特殊性與普遍性的經(jīng)典對(duì)象。如上所述，中國邏輯史不僅僅是中國古代邏輯思想史，還包括現(xiàn)當(dāng)代邏輯學(xué)科在中國發(fā)展的歷史。因此，要想厘清現(xiàn)當(dāng)代邏輯學(xué)科在中國的發(fā)展歷程，也應(yīng)該選取像沈有鼎先生一樣具有代表性的人物進(jìn)行研究。

如是，則可從中國邏輯思想獨(dú)特的思維方式、發(fā)展歷史及現(xiàn)狀等方面豐富世界邏輯學(xué)的表現(xiàn)形式和內(nèi)容內(nèi)涵。同時(shí)，也可通過對(duì)金岳霖、牟宗三、沈有鼎諸先生的邏輯思想及其著作的全面研究，深化對(duì)我國邏輯學(xué)家為世界邏輯學(xué)發(fā)展所做出的貢獻(xiàn)的認(rèn)識(shí)，從而表明在世界邏輯學(xué)領(lǐng)域的發(fā)展過程中，中國邏輯學(xué)家也做出了重要的貢獻(xiàn)。

[1] 張汝倫.如何理解哲學(xué)史[J].哲學(xué)研究，2015(1)：34-41.

[2] 王路，鄭偉平.弗雷格為什么是重要的——訪清華大學(xué)王路教授[J].哲學(xué)分析，2012(4)：165-186.

[3] 張家龍.論沈有鼎悖論在數(shù)理邏輯史上的地位[J].哲學(xué)研究，2008(9)：108-112.

[4] MULLER G H.Review by Gert H.muller:Yuting Shen.paradox of the class of all grounded classes[J].The Journal of Symbolic Logic,1955(20)：84.

[5] MULLER G H.Review by Gert H.muller:Yuting Shen.Two semantic paradox[J].The Journal of Symbolic Logic,1956(21)：380.

[6] MONTAGUE R.On the paradox of grounded classes[J].The Journal of Symbolic Logic,1955(20)：140.

[7] HERZBERGER H G.Paradoxes of grounding in semantics[J].The Journal of Philosophy,1970(67)：145-167.

[8] 張家龍.沈有鼎的廣義模態(tài)思想[G]//中國社會(huì)科學(xué)院哲學(xué)院邏輯室.摹物求比：沈有鼎及其治學(xué)之路.北京：社會(huì)科學(xué)文獻(xiàn)出版社，2000：229-234.

[9] 張家龍.沈有鼎型的認(rèn)知邏輯系統(tǒng)KBT[G]//邏輯史論.北京：中國社會(huì)科學(xué)出版社，2016.

[10]沈有鼎.墨經(jīng)的邏輯學(xué)[M]//沈有鼎文集.北京：人民出版社，1992：300.

[11]孫中原.墨家邏輯的新生[M]//中國社會(huì)科學(xué)院哲學(xué)院邏輯室.摹物求比：沈有鼎及其治學(xué)之路.北京：社會(huì)科學(xué)文獻(xiàn)出版社，2000：329.

[12]劉培育.沈有鼎的貢獻(xiàn)[G]//中國社會(huì)科學(xué)院哲學(xué)院邏輯室.摹物求比:沈有鼎及其治學(xué)之路.北京：社會(huì)科學(xué)文獻(xiàn)出版社，2000：139.

[13]楊武金.論沈有鼎研究墨家邏輯的方法[G]//中國社會(huì)科學(xué)院哲學(xué)院邏輯室.摹物求比:沈有鼎及其治學(xué)之路.北京：社會(huì)科學(xué)文獻(xiàn)出版社，2000：361.

[14]張家龍.論沈有鼎的“兩個(gè)公孫龍”假說[J].哲學(xué)研究，1998(9)：62-71.

[15]WANG H.Review :Shen Yuting:Language,thought,and meaning[J].The Journal of Symbolic Logic,1951(4)：302-303.

[16]SHEN Y.A ”Natural” Enumeration of nonneggtive rational Numbers[J].Amercan Mathematical Monthly,1980(1)：25-29.

[17]劉培育.沈有鼎的貢獻(xiàn)[G]//中國社會(huì)科學(xué)院哲學(xué)院邏輯室.摹物求比：沈有鼎及其治學(xué)之路.北京：社會(huì)科學(xué)文獻(xiàn)出版社，2000：144.

[18]沈有鼎.致王浩的信件[M]//沈有鼎文集.北京：人民出版社，1992：537.

[19]金岳霖.論道[M].北京：商務(wù)印書館，1987：34.

[20]沈有鼎.評(píng)《墨家的形式邏輯》[M]//沈有鼎文集.北京：人民出版社，1992：222.

[21]胡適.中國哲學(xué)史大綱[M].北京：北京大學(xué)出版社，2013：13.

[22]李繼東.數(shù)理邏輯在我國現(xiàn)代階段傳播和研究的特點(diǎn)及其影響[J].前沿，2012(24)：7-9.

(責(zé)任編輯 張佑法)

The Significance of the Research on Shen Yuting’s Logical Thoughts

GU Chengcheng1, WEN Yan2, ZHANG Xiaomang3

(1.School of Philosophy and Sociology, Shanxi University, Taiyuan 030006, China;2.Tianjin Yaohua Jiacheng International Middle School, Tianjin 300040, China; 3.School of Philosophy, Nankai University, Tianjin 300350, China)

Shen Yuting is a famous modern logician and historian of logics. He has achieved outstanding attainments in the field of mathematical logics and the history of Chinese logics. Through analyzing and combing Shen Yuting’s typical works and these embodying logical thoughts it can show the methodology value and significance of researching on the classic master and his typical works.

Shen Yuting; logics; the history of Chinese logics

2017-03-25

國家社會(huì)科學(xué)基金重大項(xiàng)目“八卷本《中國邏輯史》”(14ZDB031)；國家社會(huì)科學(xué)基金項(xiàng)目“先秦邏輯思想的特質(zhì)及其歷史文化因素研究”(14BZX077)

谷成城(1990—)，女，山西太原人，博士，研究方向：邏輯學(xué)；文艷(1991—)，女，湖北仙桃人，碩士，研究方向，比較邏輯；張曉芒(1955—)，男，山西太原人，教授，研究方向：邏輯史。

谷成城，文艷，張曉芒.沈有鼎邏輯思想研究及其意義[J].重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué))，2017(7):6-12.

format：GU Chengcheng, WEN Yan, ZHANG Xiaomang.The Significance of the Research on Shen Yuting’s Logical Thoughts[J].Journal of Chongqing University of Technology(Social Science)，2017(7):6-12.

10.3969/j.issn.1674-8425(s).2017.07.002

中國邏輯學(xué)會(huì)會(huì)長 鄒崇理 研究員

B81

A

1674-8425(2017)07-0006-07

主持人語：

沈有鼎先生是中國著名的現(xiàn)代邏輯學(xué)家及邏輯史家，他在數(shù)理邏輯和中國邏輯史領(lǐng)域均取得了突出的研究成果。《沈有鼎邏輯思想研究及其意義》一文通過分析、梳理沈有鼎的經(jīng)典著作及其體現(xiàn)的邏輯思想，向我們展現(xiàn)了對(duì)經(jīng)典大師及經(jīng)典著作進(jìn)行研究的方法論價(jià)值與意義。

社會(huì)科學(xué)中的還原論與整體論之爭一直延續(xù)到現(xiàn)在，討論這一問題是很有意義的。《社會(huì)科學(xué)中的還原論與整體論：分歧與互補(bǔ)》一文以“功能結(jié)構(gòu)可以還原，功能意義不可還原”為依據(jù)，結(jié)合有關(guān)爭論的史料，得出的觀點(diǎn)是：還原論和整體論是互補(bǔ)的，而不是互斥的。文章論述清晰，值得一讀。

中國學(xué)生的批判性思維技能究竟如何？這是教育界當(dāng)前的熱門話題?！吨袊鴮W(xué)生擅長批判性思維嗎？——對(duì)國外一項(xiàng)新近相關(guān)研究及其報(bào)道的初步分析和評(píng)價(jià)》一文對(duì)國外一篇報(bào)道引出的一個(gè)研究結(jié)果進(jìn)行了分析評(píng)價(jià)，論述充分，期望引起教育界和學(xué)術(shù)界的關(guān)注。