從《邏輯史手冊(cè)》看邏輯史研究與邏輯學(xué)發(fā)展的新趨勢(shì).doc

從邏輯史手冊(cè)看邏輯史研究與邏輯學(xué)發(fā)展的新趨勢(shì)摘要多夫嘉貝和約翰伍茨共同主編出版的邏輯史手冊(cè)體現(xiàn)了國(guó)際邏輯學(xué)研究的最新趨向：第一，邏輯史研究進(jìn)入到全面、精深研究的新階段；第二，把邏輯作為一個(gè)整體進(jìn)行研究，而不局限在某一種類型或范圍內(nèi)，為我們提供了一種新的認(rèn)識(shí)邏輯的觀念和研究方法；第三，注重邏輯與相關(guān)領(lǐng)域的關(guān)聯(lián)研究，展現(xiàn)邏輯學(xué)的活力。該書唯一缺憾是沒有涉及“中國(guó)邏輯，的問題。我們認(rèn)為，應(yīng)該從世界邏輯體系的一般性特點(diǎn)來(lái)分析中國(guó)邏輯的特質(zhì)，將希臘邏輯、印度邏輯和中國(guó)邏輯看做是世界邏輯體系中三種并行發(fā)展的基本類型，系統(tǒng)研究并概括出世界邏輯體系的一般特性。以中國(guó)邏輯思想的內(nèi)在發(fā)生發(fā)展過(guò)程為主線，按照邏輯思想自身的發(fā)展特點(diǎn)，按照世界邏輯體系的一般特性全面、系統(tǒng)地研究中國(guó)邏輯思想的起源、形成、轉(zhuǎn)變和發(fā)展的全過(guò)程，分析中國(guó)邏輯思想的基本特征、主導(dǎo)推理類型等問題。研究的主要方法應(yīng)該是：文化解讀、邏輯解讀和比較研究。關(guān)鍵詞邏輯史；中國(guó)邏輯；希臘邏輯；印度邏輯邏輯史研究是總結(jié)和推進(jìn)邏輯學(xué)發(fā)展的一項(xiàng)基礎(chǔ)性工作。可以說(shuō)，當(dāng)今邏輯科學(xué)中的核心與重要問題都能夠在邏輯史中找到它們的源頭和根據(jù)。自1962年威廉涅爾和瑪莎涅爾(WilliamKnealeMarthaKneale)合著的單卷本邏輯學(xué)的發(fā)展、安東杜米特留(A.Dumitriu)四卷本邏輯史出版以后，至今沒有見到更新的通史性的邏輯史著作問世。“邏輯學(xué)、邏輯史、邏輯哲學(xué)以及諸如計(jì)算機(jī)科學(xué)、人工智能、認(rèn)知心理學(xué)、論證理論和思想史等與邏輯密切相關(guān)領(lǐng)域的研究者深刻體會(huì)到了更為深入和詳細(xì)的邏輯史著作的缺少所帶來(lái)的不便”(序言)。由國(guó)際著名哲學(xué)家、邏輯學(xué)家、英國(guó)倫敦皇家學(xué)院計(jì)算機(jī)系教授多夫嘉貝(DovGabbay)和加拿大英屬哥倫比亞大學(xué)哲學(xué)系教授約翰伍茨(JohnWoods)共同主編的十一卷本的邏輯史手冊(cè)已于2004年由世界著名的出版公司荷蘭愛思唯爾開始陸續(xù)出版發(fā)行。目前，出版了第一卷、第三卷和第七卷，其他各卷將陸續(xù)出版。該手冊(cè)一經(jīng)面世，便受到了國(guó)際邏輯學(xué)界的普遍關(guān)注。被譽(yù)為是“第一部由大卷本著成的系列邏輯史著作”。從該手冊(cè)內(nèi)容的設(shè)計(jì)與編排上，我們可以追蹤到邏輯史研究的最新和最前沿的動(dòng)態(tài)，也可以從中體認(rèn)到邏輯學(xué)發(fā)展的一些基本趨勢(shì)。一、邏輯史手冊(cè)的主要內(nèi)容經(jīng)過(guò)伍茨教授的允許，根據(jù)2007年1月最新修訂的寫作大綱，我們先將邏輯史手冊(cè)各卷的主要內(nèi)容簡(jiǎn)要介紹如下：第一卷為希臘、印度和阿拉伯邏輯，共8章，主要介紹了亞里士多德以前的邏輯、亞里士多德邏輯及其模態(tài)邏輯、印度邏輯、麥加拉與斯多葛邏輯。第二卷為中世紀(jì)與文藝復(fù)興的邏輯，共13章，該卷以歷史發(fā)展的前后時(shí)間為序，介紹了中世紀(jì)重要的邏輯學(xué)家，如波依提烏、阿伯拉爾、奧卡姆、布里丹等，同時(shí)也梳理了中世紀(jì)特有的一些重要邏輯問題，如指代理論、意義理論、語(yǔ)意問題、模態(tài)問題及自我指稱的情況等；同時(shí)也介紹了13、14世紀(jì)摩迪斯泰學(xué)派(Modistae)的思辨語(yǔ)法。第三卷為現(xiàn)代邏輯的興起：從萊布尼茨到弗雷格，共11章。該卷共介紹萊布尼茨、康德、黑格爾等8位邏輯學(xué)家，并以3章的篇幅介紹了代數(shù)邏輯、邏輯代數(shù)和邏輯學(xué)的數(shù)學(xué)轉(zhuǎn)向問題。第四卷為19世紀(jì)的英國(guó)邏輯，共15章，該卷主要介紹了13位邏輯學(xué)家，如穆勒、哈密爾頓、文恩、邊沁等，并專辟一章討論了18051835年的法國(guó)與英國(guó)邏輯。第五卷為從羅素到丘奇，共16章。該卷主要介紹了羅素、布勞維爾、維特根斯坦、希爾伯特、哥德爾、塔爾斯基、波斯特、丘奇等16位邏輯學(xué)家，并討論了演算、組合邏輯以及20世紀(jì)的悖論等問題。第六卷為20世紀(jì)的集合論及擴(kuò)展，共13章。該卷主要從集合論的角度討論了20世紀(jì)邏輯發(fā)展的基本情況，總結(jié)了集合論到科恩(Cohen)的發(fā)展概況以及在當(dāng)代發(fā)展的情況，涉及無(wú)窮組合數(shù)學(xué)、連續(xù)統(tǒng)、力迫和大基數(shù)、奇異基數(shù)、確定性、大基數(shù)內(nèi)模型、拓?fù)浼险?、部分邏輯、范疇邏輯等。第七卷?0世紀(jì)的邏輯學(xué)與程式，共9章，主要介紹了20世紀(jì)發(fā)展起來(lái)的一些新的邏輯分支歷史過(guò)程，如數(shù)理模態(tài)邏輯、認(rèn)識(shí)論邏輯、相干與基本邏輯、時(shí)態(tài)邏輯、情境理論與情境語(yǔ)義學(xué)、對(duì)話邏輯等。第八卷為邏輯的多值與非單調(diào)轉(zhuǎn)向，共10章，主要介紹了邏輯學(xué)向多值與非單調(diào)轉(zhuǎn)向過(guò)程中，一些新邏輯分支發(fā)展的情況，涉及多值邏輯、一致邏輯、量子邏輯、模糊邏輯、非單調(diào)邏輯、非單調(diào)推理和信仰變化、自由邏輯等。第九卷為邏輯學(xué)與計(jì)算機(jī)科學(xué)，共19章，主要介紹了邏輯與計(jì)算機(jī)科學(xué)、人工智能相關(guān)的問題，涉及邏輯與計(jì)算機(jī)的發(fā)展、邏輯與計(jì)算機(jī)科學(xué)、高階邏輯的自動(dòng)化、類型論的機(jī)器化、歸納的機(jī)器化、復(fù)雜性理論、邏輯與計(jì)算語(yǔ)言等問題。第十卷為歸納邏輯。第十一卷為邏輯學(xué)核心概念的歷史，共7章，主要介紹了否定詞、推論關(guān)系、量詞、連接詞、自然演繹、類型、謬誤等邏輯學(xué)基本概念的發(fā)展過(guò)程以及最新研究的進(jìn)展情況等。二、邏輯史手冊(cè)所體現(xiàn)出的新趨勢(shì)邏輯史手冊(cè)原名為邏輯哲學(xué)與邏輯史手冊(cè)，從以上內(nèi)容介紹來(lái)看，邏輯史手冊(cè)主要涉及三部分內(nèi)容：一是，在世界邏輯史上具有重要影響的邏輯學(xué)家與學(xué)派，其時(shí)間跨度是從古代到20世紀(jì)末；二是，邏輯科學(xué)體系中重要的邏輯學(xué)分支或領(lǐng)域的發(fā)展歷史，這些分支在相關(guān)領(lǐng)域均為重要的基礎(chǔ)性理論；三是，邏輯學(xué)體系中核心概念的發(fā)展與研究，這些核心概念對(duì)邏輯學(xué)的整體發(fā)展具有重要意義。邏輯史手冊(cè)具有極高的學(xué)術(shù)水平。一是匯聚了國(guó)際邏輯學(xué)研究的高水平學(xué)術(shù)隊(duì)伍，該手冊(cè)的作者基本上是以上三個(gè)方面具有較大國(guó)際影響和知名度的專門研究家，來(lái)自全球著名高校和研究機(jī)構(gòu)，有100余名，分布在英、美、加、意、法、澳、瑞士、荷蘭等國(guó)家；二是體現(xiàn)了新進(jìn)展，邏輯史手冊(cè)每一章所涉及的人物、分支或?qū)ｎ}均涵蓋了從20世紀(jì)以來(lái)一直到最近幾年的研究進(jìn)展，也體現(xiàn)了國(guó)際邏輯學(xué)研究的最新的趨向。主要有以下幾個(gè)方面：第一，邏輯史研究進(jìn)入到全面、精深研究的新階段?？梢哉f(shuō)，這套邏輯史手冊(cè)是迄今為止規(guī)模最大、內(nèi)容較為齊全的一部邏輯史鴻篇巨著。在以往的研究中，雖然有一些著作對(duì)邏輯發(fā)展的基本線索、重要人物、重要理論有著比較清楚的描述，如波亨斯基的形式邏輯史、涅爾夫婦的邏輯學(xué)的發(fā)展等。但是，更為全面、深入和詳細(xì)的研究成果尚未出現(xiàn)。盡管安東杜米特留的邏輯史在范圍上較其他成果，涉及了中國(guó)邏輯、印度邏輯，在邏輯類型上也討論了辯證邏輯、歸納邏輯等問題，但總體上略顯單薄，而且在內(nèi)容上也顯繁雜，并沒有充分展開。這三部著作對(duì)邏輯學(xué)發(fā)展過(guò)程中核心概念演變的過(guò)程更缺少專門的系統(tǒng)考察，而且對(duì)邏輯與其他相關(guān)領(lǐng)域的關(guān)聯(lián)研究也少有涉及，缺乏必要的研究。當(dāng)然，我們站在今天的角度，不能苛求前人對(duì)這些問題做出完美的回答。這部邏輯史手冊(cè)則彌補(bǔ)了以往研究的不足。首先，以邏輯史上人物研究為線索，幾乎涉及了從古至今所有對(duì)邏輯學(xué)發(fā)展發(fā)生重要影響的邏輯學(xué)家，對(duì)這些重要邏輯學(xué)家的研究盡可能做到全面、具體和深入，其內(nèi)容之詳為前所未有，重要邏輯學(xué)家研究的篇幅幾乎可以獨(dú)立成書，如關(guān)于亞里士多德、萊布尼茨、弗雷格等人邏輯思想的研究。其次，對(duì)邏輯學(xué)核心概念的把握，進(jìn)行了系統(tǒng)而深入的研究，這兩方面的工作，不僅對(duì)推進(jìn)邏輯史研究，而且對(duì)推進(jìn)邏輯學(xué)理論，尤其是邏輯哲學(xué)的研究，都會(huì)產(chǎn)生積極的影響。邏輯史手冊(cè)的出版表明對(duì)邏輯史的研究已經(jīng)進(jìn)入到了精深、細(xì)致和全面的新階段，這種趨勢(shì)在近幾年的國(guó)際邏輯學(xué)界已有所顯現(xiàn)。以人物研究為例，2005年哈佛大學(xué)出版社出版了丹尼爾麥克白斯(DanielleMacbeth)的專著弗雷格的邏輯，比較系統(tǒng)地介紹了弗雷格邏輯思想的基本內(nèi)容與特征；以邏輯學(xué)發(fā)展的斷代史研究為例，2002年維科奧里斯圖(VilkkoRisto)出版了邏輯學(xué)研究百年：17811879年德國(guó)邏輯改革的努力對(duì)1781到1879年邏輯學(xué)在德國(guó)的發(fā)展情況進(jìn)行了全面回顧；牛津大學(xué)出版社即將推出芬蘭邏輯學(xué)家雷拉哈帕蘭塔(LeilaHaaparanta)主編的現(xiàn)代邏輯史。其他諸如對(duì)亞里士多德、斯多葛邏輯、中世紀(jì)邏輯等方面的研究也取得了非常重要的進(jìn)展。由于這些研究者的論著還沒有公開出版待得到他們的授權(quán)后，我們?cè)訇懤m(xù)做出介紹。第二，把邏輯作為一個(gè)整體進(jìn)行研究，而不局限在某一種類型或范圍內(nèi)，為我們提供了一種新的認(rèn)識(shí)邏輯的觀念和研究方法。邏輯史手冊(cè)在范圍與邏輯類型上有了新的拓展，時(shí)間跨度上，從亞里士多德以前一直到20世紀(jì)末；邏輯類型既包括經(jīng)典邏輯、非經(jīng)典邏輯，也包括了康德、黑格爾等人的邏輯思想，并專門談到歸納邏輯的發(fā)展歷史。從邏輯起源和發(fā)展的角度，涉及古希臘、古代印度、阿拉伯及歐美等國(guó)家和地區(qū)，給人們提供了一種立體的、全方位的邏輯思想發(fā)展的全景圖。這種研究給我們帶來(lái)的啟發(fā)是：邏輯科學(xué)是一個(gè)整體。從邏輯發(fā)展的歷史來(lái)看，從亞里士多德、萊布尼茨對(duì)傳統(tǒng)邏輯和現(xiàn)代邏輯的構(gòu)設(shè)開始，就已經(jīng)有了將邏輯學(xué)作為一個(gè)整體來(lái)看待的思想萌芽。亞里士多德是被公認(rèn)的“邏輯之父”，他創(chuàng)建了以三段論為核心的演繹邏輯學(xué)體系，亞里士多德邏輯的主體是演繹性的。但是從亞里士多德對(duì)蘇格拉底的一段評(píng)價(jià)來(lái)看，他顯然是把歸納也看作了科學(xué)的基礎(chǔ)，并給予了充分的重視。他說(shuō)：“有兩樣?xùn)|西完全可以歸功于蘇格拉底，這就是歸納論證和一般定義。這兩樣?xùn)|西都是科學(xué)的出發(fā)點(diǎn)?！北M管他把歸納置于辯證的類型里，對(duì)歸納沒有更多的理論上的闡述，但我們不能因此否認(rèn)，他對(duì)歸納問題的肯定和重視。在亞里士多德時(shí)代，各種科學(xué)理論尚處于初創(chuàng)階段，理論體系的建立還處于萌芽狀態(tài)，假設(shè)、假說(shuō)的成分在這些理論體系中占有相當(dāng)多的成分，這種狀態(tài)對(duì)演繹的方法要求得比較多，尤其是當(dāng)時(shí)幾何學(xué)的發(fā)展達(dá)到了由經(jīng)驗(yàn)上升到理論的程度，成為亞里士多德建立傳統(tǒng)邏輯體系的直接基礎(chǔ)，而歐幾里德幾何學(xué)的演繹性質(zhì)則又直接體現(xiàn)在亞里士多德的三段論體系中。因此說(shuō)，建立演繹方法和演繹邏輯的條件是成熟的，而建立歸納邏輯的條件和基礎(chǔ)是不成熟的。亞里士多德的偉大之處在于他探討演繹問題的同時(shí)也給歸納問題以高度的重視，說(shuō)明亞里士多德在創(chuàng)建邏輯體系的時(shí)候也是把歸納作為一個(gè)非常重要的組成部分來(lái)看待的，而且把歸納問題作為一個(gè)重要的組成部分納入到了他的三段論體系當(dāng)中去了。這不能不說(shuō)是亞里士多德的一個(gè)偉大的貢獻(xiàn)，他給我們?cè)谕暾囊饬x上來(lái)理解邏輯提供了一個(gè)嶄新的角度。萊布尼茨是公認(rèn)的現(xiàn)代邏輯的奠基者。他繼承霍布斯等人“思維就是計(jì)算”的思想，把邏輯的論證方式歸結(jié)為“計(jì)算”一“我將作出一種通用代數(shù)，一切推理的正確性都將化歸于計(jì)算。”萊布尼茨設(shè)計(jì)了“通用語(yǔ)言”和“通用數(shù)學(xué)”來(lái)準(zhǔn)備構(gòu)建他的邏輯體系，而且現(xiàn)代形式邏輯也是按照他的這種設(shè)計(jì)思路發(fā)展和完善起來(lái)的，從這個(gè)意義來(lái)講，演繹作為邏輯的根本特征似乎是更加鞏固和更加不可動(dòng)搖了。肖爾茨對(duì)此評(píng)價(jià)說(shuō)：“我們必須把這種對(duì)演算規(guī)則的真正作用的見解看做是萊布尼茨的最偉大的發(fā)現(xiàn)之一，并看做是一般人類精神的最精彩的發(fā)現(xiàn)之一?！比R布尼茨和亞里士多德一樣并沒有忽略去建立“一種新的邏輯”，而且他也看到了亞里士多德對(duì)這種“邏輯”的認(rèn)識(shí)。他說(shuō)：“我們需要有一種新的邏輯，來(lái)處理概率問題，因?yàn)閬喞锸慷嗟略谒恼黄?Topiques)中所做的也不亞于此在這里，涉及的問題是要擴(kuò)充論題和給予它的概然性?！北M管萊布尼茨沒有在完整的意義上構(gòu)造出與演繹邏輯相媲美的歸納邏輯，究其原因，是科學(xué)的發(fā)展在萊布尼茨時(shí)代還沒有成熟到可以支持現(xiàn)代歸納邏輯建立和發(fā)展起來(lái)的程度，構(gòu)造現(xiàn)代歸納邏輯的條件尚不具備，但萊布尼茨對(duì)所謂的“新邏輯”問題給予了充分的重視和肯定，說(shuō)明歸納邏輯在他理想的邏輯體系中占有與演繹邏輯同等重要的位置。從亞里士多德和萊布尼茨對(duì)傳統(tǒng)邏輯、現(xiàn)代邏輯的構(gòu)造來(lái)看，也就是從這兩種類型的邏輯發(fā)展的起點(diǎn)來(lái)看，演繹邏輯與歸納邏輯并不是截然對(duì)立的，而是統(tǒng)一在一個(gè)邏輯體系內(nèi)的，這兩者的互相補(bǔ)充構(gòu)成了一個(gè)完整的邏輯體系，他們是把邏輯作為一個(gè)整體來(lái)看待的。從邏輯史手冊(cè)設(shè)計(jì)的內(nèi)容來(lái)看，把邏輯作為一個(gè)整體的來(lái)看待的傾向顯示得非常充分。第三，注重邏輯與相關(guān)領(lǐng)域的關(guān)聯(lián)研究，展現(xiàn)邏輯學(xué)的活力。從研究的組織形式上看，邏輯史手冊(cè)是一種群體性的團(tuán)隊(duì)研究，共有來(lái)自全球的100多位專門研究家介入到這個(gè)研究平臺(tái)，這些研究家中有一部分來(lái)自與邏輯學(xué)密切相關(guān)的其他領(lǐng)域，如數(shù)學(xué)、計(jì)算機(jī)科學(xué)、語(yǔ)言學(xué)等。從研究的內(nèi)容上看，邏輯史手冊(cè)更是突破了原來(lái)邏輯史研究單純側(cè)重純邏輯理論或思想的研究模式，在更大程度上把邏輯科學(xué)置于與之密切關(guān)聯(lián)的其他領(lǐng)域的網(wǎng)絡(luò)之中，如計(jì)算機(jī)科學(xué)、人工智能、認(rèn)知心理學(xué)、思想史、計(jì)算語(yǔ)言學(xué)等，充分顯示了邏輯學(xué)的基礎(chǔ)科學(xué)與工具科學(xué)的作用與特質(zhì)，展現(xiàn)了邏輯科學(xué)本身的活力，也表明了邏輯與這些學(xué)科領(lǐng)域之間交叉與結(jié)合的密切程度?？梢哉f(shuō)，這些領(lǐng)域既涉