從邏輯史手冊看邏輯史研究與邏輯學(xué)發(fā)展的新趨勢

《從邏輯史手冊看邏輯史研究與邏輯學(xué)發(fā)展的新趨勢》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在應(yīng)用文檔-天天文庫。

1、從《邏輯史手冊》看邏輯史研究與邏輯學(xué)發(fā)展的新趨勢　　[摘要]多夫·嘉貝和約翰·伍茨共同主編出版的《邏輯史手冊》體現(xiàn)了國際邏輯學(xué)研究的最新趨向：第一，邏輯史研究進(jìn)入到全面、精深研究的新階段；第二，把邏輯作為一個整體進(jìn)行研究，而不局限在某一種類型或范圍內(nèi)，為我們提供了一種新的認(rèn)識邏輯的觀念和研究方法；第三，注重邏輯與相關(guān)領(lǐng)域的關(guān)聯(lián)研究，展現(xiàn)邏輯學(xué)的活力。該書唯一缺憾是沒有涉及“中國邏輯，，的問題。我們認(rèn)為，應(yīng)該從世界邏輯體系的一般性特點(diǎn)來分析中國邏輯的特質(zhì)，將希臘邏輯、印度邏輯和中國邏輯看做是世界邏輯體系中三種并行發(fā)展的基本類型，系統(tǒng)研究并概括出世界邏輯體系的一般特性。以中國邏輯思

2、想的內(nèi)在發(fā)生發(fā)展過程為主線，按照邏輯思想自身的發(fā)展特點(diǎn)，按照世界邏輯體系的一般特性全面、系統(tǒng)地研究中國邏輯思想的起源、形成、轉(zhuǎn)變和發(fā)展的全過程，分析中國邏輯思想的基本特征、主導(dǎo)推理類型等問題。研究的主要方法應(yīng)該是：文化解讀、邏輯解讀和比較研究?！　關(guān)鍵詞]邏輯史；中國邏輯；希臘邏輯；印度邏輯　　　　邏輯史研究是總結(jié)和推進(jìn)邏輯學(xué)發(fā)展的一項(xiàng)基礎(chǔ)性工作?？梢哉f，當(dāng)今邏輯科學(xué)中的核心與重要問題都能夠在邏輯史中找到它們的源頭和根據(jù)?！　∽?962年威廉·涅爾和瑪莎·涅爾(WilliamKneale＆Martha13Kneale)合著的單卷本《邏輯學(xué)的發(fā)展》、安東·杜米特留(A.Dumi

3、triu)四卷本《邏輯史》出版以后，至今沒有見到更新的通史性的邏輯史著作問世?！斑壿媽W(xué)、邏輯史、邏輯哲學(xué)以及諸如計(jì)算機(jī)科學(xué)、人工智能、認(rèn)知心理學(xué)、論證理論和思想史等與邏輯密切相關(guān)領(lǐng)域的研究者深刻體會到了更為深入和詳細(xì)的邏輯史著作的缺少所帶來的不便”(序言)。　　由國際著名哲學(xué)家、邏輯學(xué)家、英國倫敦皇家學(xué)院計(jì)算機(jī)系教授多夫·嘉貝(DovGabbay)和加拿大英屬哥倫比亞大學(xué)哲學(xué)系教授約翰·伍茨(JohnWoods)共同主編的十一卷本的《邏輯史手冊》已于2004年由世界著名的出版公司荷蘭愛思唯爾開始陸續(xù)出版發(fā)行。目前，出版了第一卷、第三卷和第七卷，其他各卷將陸續(xù)出版。該手冊一經(jīng)面世

4、，便受到了國際邏輯學(xué)界的普遍關(guān)注。被譽(yù)為是“第一部由大卷本著成的系列邏輯史著作”。從該手冊內(nèi)容的設(shè)計(jì)與編排上，我們可以追蹤到邏輯史研究的最新和最前沿的動態(tài)，也可以從中體認(rèn)到邏輯學(xué)發(fā)展的一些基本趨勢。　　　　一、《邏輯史手冊》的主要內(nèi)容　　　　經(jīng)過伍茨教授的允許，根據(jù)2007年1月最新修訂的寫作大綱，我們先將《邏輯史手冊》各卷的主要內(nèi)容簡要介紹如下：　　第一卷為《希臘、印度和阿拉伯邏輯》，共8章，主要介紹了亞里士多德以前的邏輯、亞里士多德邏輯及其模態(tài)邏輯、印度邏輯、麥加拉與斯多葛邏輯。13　　第二卷為《中世紀(jì)與文藝復(fù)興的邏輯》，共13章，該卷以歷史發(fā)展的前后時間為序，介紹了中世紀(jì)

5、重要的邏輯學(xué)家，如波依提烏、阿伯拉爾、奧卡姆、布里丹等，同時也梳理了中世紀(jì)特有的一些重要邏輯問題，如指代理論、意義理論、語意問題、模態(tài)問題及自我指稱的情況等；同時也介紹了13、14世紀(jì)摩迪斯泰學(xué)派(Modistae)的思辨語法?！　〉谌頌椤冬F(xiàn)代邏輯的興起：從萊布尼茨到弗雷格》，共11章。該卷共介紹萊布尼茨、康德、黑格爾等8位邏輯學(xué)家，并以3章的篇幅介紹了代數(shù)邏輯、邏輯代數(shù)和邏輯學(xué)的數(shù)學(xué)轉(zhuǎn)向問題?！　〉谒木頌椤?9世紀(jì)的英國邏輯》，共15章，該卷主要介紹了13位邏輯學(xué)家，如穆勒、哈密爾頓、文恩、邊沁等，并專辟一章討論了1805—1835年的法國與英國邏輯。　　第五卷為《從羅素到

6、丘奇》，共16章。該卷主要介紹了羅素、布勞維爾、維特根斯坦、希爾伯特、哥德爾、塔爾斯基、波斯特、丘奇等16位邏輯學(xué)家，并討論了λ演算、組合邏輯以及20世紀(jì)的悖論等問題?！　〉诹頌椤?0世紀(jì)的集合論及擴(kuò)展》，共13章。該卷主要從集合論的角度討論了20世紀(jì)邏輯發(fā)展的基本情況，總結(jié)了集合論到科恩(Cohen)的發(fā)展概況以及在當(dāng)代發(fā)展的情況，涉及無窮組合數(shù)學(xué)、連續(xù)統(tǒng)、力迫和大基數(shù)、奇異基數(shù)、確定性、大基數(shù)內(nèi)模型、拓?fù)浼险?、部分邏輯、范疇邏輯等?3　　第七卷為《20世紀(jì)的邏輯學(xué)與程式》，共9章，主要介紹了20世紀(jì)發(fā)展起來的一些新的邏輯分支歷史過程，如數(shù)理模態(tài)邏輯、認(rèn)識論邏輯、相干與

7、基本邏輯、時態(tài)邏輯、情境理論與情境語義學(xué)、對話邏輯等?！　〉诎司頌椤哆壿嫷亩嘀蹬c非單調(diào)轉(zhuǎn)向》，共10章，主要介紹了邏輯學(xué)向多值與非單調(diào)轉(zhuǎn)向過程中，一些新邏輯分支發(fā)展的情況，涉及多值邏輯、一致邏輯、量子邏輯、模糊邏輯、非單調(diào)邏輯、非單調(diào)推理和信仰變化、自由邏輯等?！　〉诰啪頌椤哆壿媽W(xué)與計(jì)算機(jī)科學(xué)》，共19章，主要介紹了邏輯與計(jì)算機(jī)科學(xué)、人工智能相關(guān)的問題，涉及邏輯與計(jì)算機(jī)的發(fā)展、邏輯與計(jì)算機(jī)科學(xué)、高階邏輯的自動化、類型論的機(jī)器化、歸納的機(jī)器化、復(fù)雜性理論、邏輯與計(jì)算語言等問題。　　第十卷為《歸