【內(nèi)容提要】邏輯學的發(fā)展是多層面的，邏輯的涵義也是分層次的，邏輯可以有廣義與狹義之分。對現(xiàn)代邏輯背景下出現(xiàn)的關于邏輯的一元論、多元論與工具主義要作具體分析。事實上，每種觀點都有一定的道理，但總體上來說，多元論更符合現(xiàn)代邏輯科學發(fā)展的實際。

【關鍵詞】邏輯/廣義與狹義/一元論/多元論/工具主義

【正文】

一、廣義的邏輯與狹義的邏輯

什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學科都統(tǒng)一在一個明確清晰的“邏輯”的定義之下，這是很困難的，甚至是不可能的。

不妨先對邏輯發(fā)展史作一簡單考察。

一、廣義的邏輯與狹義的邏輯

什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學科都統(tǒng)一在一個明確清晰的“邏輯”的定義之下，這是很困難的，甚至是不可能的。

不妨先對邏輯發(fā)展史作一簡單考察。

在西方，公元前4世紀，古希臘哲學家亞里士多德集其前人研究之大成，寫成了邏輯巨著《工具論》（由亞氏的六部著作編排而成：《范疇篇》、《解釋篇》、《前分析篇》、《后分析篇》、《論辯篇》、《辨謬篇》）。雖然在亞氏的著作中他并沒有明確地使用“邏輯”這一名稱，也沒有明確地以“邏輯”這一術語命名其學說，但是，歷史事實是，亞氏使形式邏輯從哲學、認識論中分化出來，形成了一門以推理為中心，特別是以三段論為中心的獨立的科學。因此，可以說，亞里士多德是形式邏輯的創(chuàng)始人。

亞氏之后，亞里士多德學派即逍遙學派和斯多葛學派都以不同形式發(fā)展了亞氏的形式邏輯理論——逍遙學派的德奧弗拉斯特和歐德慕給亞里士多德邏輯的推理形式增補了一些新的形式與內(nèi)容，提出了命題邏輯問題，斯多葛學派克里西普斯等人則構造了一個與亞里士多德詞項邏輯不同的命題邏輯理論。

弗蘭西斯·培根是英國近代唯物主義哲學家，也是近代歸納邏輯的創(chuàng)始人，他在總結前人歸納法的基礎上，在批判了經(jīng)院邏輯和亞里士多德邏輯之后，以其古典歸納邏輯名著《新工具》為標志，奠定了歸納邏輯的基礎。

［摘要］本文認為，計算機科學和人工智能將是21世紀邏輯學發(fā)展的主要動力源泉，并且在很大程度上將決定21世紀邏輯學的面貌。至少在21世紀早期，邏輯學將重點關注下列論題：（1）如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯性因素？（2）如何使機器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導以后行動的可錯的歸納判斷？（3）如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認知主體相互之間的知識而進行的推理？（4）如何結合各種語境因素進行自然語言理解和推理，使智能機器人能夠用人的自然語言與人進行成功的交際？等等。

［關鍵詞］人工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯，認知邏輯，自然語言邏輯

現(xiàn)代邏輯創(chuàng)始于19世紀末葉和20世紀早期，其發(fā)展動力主要來自于數(shù)學中的公理化運動。當時的數(shù)學家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導出其他的數(shù)學定理，從而把整個數(shù)學構造成為一個嚴格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學體系的可靠性。為此需要發(fā)明和鍛造嚴格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要動力。由此造成的后果就是20世紀邏輯研究的嚴重數(shù)學化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學的形式化過程中提出的問題；二是邏輯采納了數(shù)學的方法論，從事邏輯研究就意味著象數(shù)學那樣用嚴格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當?shù)胤Q為“數(shù)理邏輯”，它增強了邏輯研究的深度，使邏輯學的發(fā)展繼古希臘邏輯、歐洲中世紀邏輯之后進入第三個高峰期，并且對整個現(xiàn)代科學特別是數(shù)學、哲學、語言學和計算機科學產(chǎn)生了非常重要的影響。

本文所要探討的問題是：21世紀邏輯發(fā)展的主要動力將來自何處？大致說來將如何發(fā)展？我個人的看法是：計算機科學和人工智能將至少是21世紀早期邏輯學發(fā)展的主要動力源泉，并將由此決定21世紀邏輯學的另一幅面貌。由于人工智能要模擬人的智能，它的難點不在于人腦所進行的各種必然性推理（這一點在20世紀基本上已經(jīng)做到了，如用計算機去進行高難度和高強度的數(shù)學證明，“深藍”通過高速、大量的計算去與世界冠軍下棋），而是最能體現(xiàn)人的智能特征的能動性、創(chuàng)造性思維，這種思維活動中包括學習、抉擇、嘗試、修正、推理諸因素，例如選擇性地搜集相關的經(jīng)驗證據(jù)，在不充分信息的基礎上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為，……由此達到實踐的成功。于是，邏輯學將不得不比較全面地研究人的思維活動，并著重研究人的思維中最能體現(xiàn)其能動性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強的可應用性。

實際上，在20世紀中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能（記為AI）之間的相互融合和滲透。例如，哲學邏輯所研究的許多課題在理論計算機和人工智能中具有重要的應用價值。AI從認知心理學、社會科學以及決策科學中獲得了許多資源，但邏輯（包括哲學邏輯）在AI中發(fā)揮了特別突出的作用。某些原因促使哲學邏輯家去發(fā)展關于非數(shù)學推理

的理論；基于幾乎同樣的理由，AI研究者也在進行類似的探索，這兩方面的研究正在相互接近、相互借鑒，甚至在逐漸融合在一起。例如，AI特別關心下述課題：

【內(nèi)容提要】邏輯學的發(fā)展是多層面的，邏輯的涵義也是分層次的，邏輯可以有廣義與狹義之分。對現(xiàn)代邏輯背景下出現(xiàn)的關于邏輯的一元論、多元論與工具主義要作具體分析。事實上，每種觀點都有一定的道理，但總體上來說，多元論更符合現(xiàn)代邏輯科學發(fā)展的實際。

【關鍵詞】邏輯/范圍與性質(zhì)/廣義與狹義/一元論/多元論/工具主義

【正文】

一、廣義的邏輯與狹義的邏輯

什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學科都統(tǒng)一在一個明確清晰的“邏輯”的定義之下，這是很困難的，甚至是不可能的。

不妨先對邏輯發(fā)展史作一簡單考察。

［摘要］本文認為，計算機科學和人工智能將是21世紀邏輯學發(fā)展的主要動力源泉，并且在很大程度上將決定21世紀邏輯學的面貌。至少在21世紀早期，邏輯學將重點關注下列論題：（1）如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯性因素？（2）如何使機器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導以后行動的可錯的歸納判斷？（3）如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認知主體相互之間的知識而進行的推理？（4）如何結合各種語境因素進行自然語言理解和推理，使智能機器人能夠用人的自然語言與人進行成功的交際？等等。

［關鍵詞］人工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯，認知邏輯，自然語言邏輯

現(xiàn)代邏輯創(chuàng)始于19世紀末葉和20世紀早期，其發(fā)展動力主要來自于數(shù)學中的公理化運動。當時的數(shù)學家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導出其他的數(shù)學定理，從而把整個數(shù)學構造成為一個嚴格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學體系的可靠性。為此需要發(fā)明和鍛造嚴格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要動力。由此造成的后果就是20世紀邏輯研究的嚴重數(shù)學化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學的形式化過程中提出的問題；二是邏輯采納了數(shù)學的方法論，從事邏輯研究就意味著象數(shù)學那樣用嚴格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當?shù)胤Q為“數(shù)理邏輯”，它增強了邏輯研究的深度，使邏輯學的發(fā)展繼古希臘邏輯、歐洲中世紀邏輯之后進入第三個高峰期，并且對整個現(xiàn)代科學特別是數(shù)學、哲學、語言學和計算機科學產(chǎn)生了非常重要的影響。

本文所要探討的問題是：21世紀邏輯發(fā)展的主要動力將來自何處？大致說來將如何發(fā)展？我個人的看法是：計算機科學和人工智能將至少是21世紀早期邏輯學發(fā)展的主要動力源泉，并將由此決定21世紀邏輯學的另一幅面貌。由于人工智能要模擬人的智能，它的難點不在于人腦所進行的各種必然性推理（這一點在20世紀基本上已經(jīng)做到了，如用計算機去進行高難度和高強度的數(shù)學證明，“深藍”通過高速、大量的計算去與世界冠軍下棋），而是最能體現(xiàn)人的智能特征的能動性、創(chuàng)造性思維，這種思維活動中包括學習、抉擇、嘗試、修正、推理諸因素，例如選擇性地搜集相關的經(jīng)驗證據(jù)，在不充分信息的基礎上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為，……由此達到實踐的成功。于是，邏輯學將不得不比較全面地研究人的思維活動，并著重研究人的思維中最能體現(xiàn)其能動性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強的可應用性。

實際上，在20世紀中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能（記為AI）之間的相互融合和滲透。例如，哲學邏輯所研究的許多課題在理論計算機和人工智能中具有重要的應用價值。AI從認知心理學、社會科學以及決策科學中獲得了許多資源，但邏輯（包括哲學邏輯）在AI中發(fā)揮了特別突出的作用。某些原因促使哲學邏輯家去發(fā)展關于非數(shù)學推理

的理論；基于幾乎同樣的理由，AI研究者也在進行類似的探索，這兩方面的研究正在相互接近、相互借鑒，甚至在逐漸融合在一起。例如，AI特別關心下述課題：