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