邏輯學的演進

文 / 熊明輝（中山大學哲學系教授）

邏輯學是關(guān)于論證分析與評價的學科，關(guān)注的是如何把好論證與差論證區(qū)別開來。作為論辯的工具，亞里士多德邏輯具有明顯的實踐取向，關(guān)注的是從語義、語形和語用三維度來探討論證分析與評價。但亞氏之后，主流邏輯學家拋棄語用分析維度與實踐取向，大力推崇形式邏輯，符號邏輯使形式邏輯發(fā)展到極致。然而，17世紀歸納邏輯的提出以及20世紀后半葉非形式邏輯的興起，使語用維度又被重新拽回，開啟了邏輯學的實踐回歸。

實踐開端

邏輯學曾分別源自古希臘、古中國和古印度三大古代文明，只不過，古希臘邏輯最終發(fā)展成了國際公認的主流邏輯。在三大古代文明中，邏輯學均作為論辯的工具而產(chǎn)生。亞里士多德的追隨者直接將亞氏的相關(guān)邏輯論文匯編成《工具論》，彰顯了邏輯之論辯工具性。所謂“論辯”，即論證、辯護，是一種基于多主體互動的論證綜合體。換言之，論辯即多主體論證，故稱廣義論證。與之相對，狹義論證通常是指單主體論證與零主體論證。零主體論證是形式邏輯學家們所關(guān)注的形式論證，其評價與語用要素無關(guān)。單主體論證與多主體論證是非形式邏輯學家們所關(guān)注的非形式論證，其評價總需考慮語用要素。

古希臘邏輯之主體是亞氏邏輯，本質(zhì)上以多主體論證為其研究對象。亞里士多德被后世稱為“邏輯學之父”，他對邏輯學的主要貢獻在于提出了詞項邏輯。詞項邏輯的核心是三段論，故人們有時把亞氏邏輯等同于三段論邏輯。詞項邏輯是人類歷史上第一個演繹邏輯體系，它關(guān)注的是從真前提出發(fā)何以能保證必然推導出真結(jié)論，該保證只與推理形式有關(guān)，與推理內(nèi)容無關(guān)，其目的在于尋求一種論證評價之普適性標準。

從《工具論》可以看出，亞氏邏輯學是以實踐目標為己任，即其邏輯學是以真實論證的評價為目標?？傮w來看，古希臘邏輯的實踐取向顯而易見。

科學轉(zhuǎn)向

中世紀時，阿奎那等經(jīng)院哲學家的邏輯貢獻也只是在注解《工具論》。文藝復興時期，把邏輯學作為理性探究之基礎(chǔ)的看法有所復蘇，但當時的學者仍然是只推崇亞氏邏輯，因為他們堅信亞氏邏輯已經(jīng)相當完美。

文藝復興后，人們開始覺察到亞氏邏輯無法處理自然科學研究中的因果問題，因為三段論是從一般性前提出發(fā)演繹出結(jié)論，而自然科學則需根據(jù)個別現(xiàn)象概括出一般性結(jié)論，以解釋現(xiàn)象間的因果關(guān)聯(lián)。為此，邏輯學出現(xiàn)了首次大轉(zhuǎn)向——科學轉(zhuǎn)向。這導致了歸納邏輯的誕生，其標志是1620年培根《新工具》的出版。顯然，一看書名便知，他要把自己的工作與亞氏邏輯學相提并論，但其目標是尋求面向自然科學的邏輯。

培根之后，歸納邏輯在17世紀歐洲科學革命中起到了不可估量的作用，但它在邏輯學的地位仍飽受質(zhì)疑。甚至到了18世紀，康德還在認為，亞氏之后邏輯學就再也沒有什么可值得注意的發(fā)展了。不過，這一斷言很快就被邏輯學的發(fā)展證偽。

數(shù)學轉(zhuǎn)向

17世紀中葉，青年萊布尼茨有個夢想：先創(chuàng)造一種能夠把人類思想還原為計算的普遍語言，再制造一個能執(zhí)行該計算的強大機器。其構(gòu)想其實是要制造出推理演算器，也就是后來的計算機，這被稱為“萊布尼茨之夢”。為了追尋萊布尼茨之夢，1847年，英國數(shù)學家、邏輯學家布爾在《邏輯的數(shù)學分析》中引入了一種代數(shù)方法，現(xiàn)稱“布爾邏輯”，它成為了數(shù)字電路設(shè)計與編程語言的基本算法，從而開啟了邏輯學的第二次轉(zhuǎn)向——數(shù)學轉(zhuǎn)向，形成了形式邏輯的現(xiàn)代版——符號邏輯。

符號邏輯是現(xiàn)代邏輯大廈的基礎(chǔ)，包括命題演算和謂詞演算。1879年，德國邏輯學家弗雷格的《概念文字》一書完成了符號邏輯體系的構(gòu)建，從而實現(xiàn)了“萊布尼茨之夢”，把邏輯學的數(shù)學轉(zhuǎn)向推向了高峰，并徹底證偽了康德斷言。

數(shù)理邏輯是符號邏輯在數(shù)學中的應(yīng)用，通常包括集合論、模型論、遞歸論和證明論，合稱“四論”。隨著“四論”的提出，數(shù)理邏輯成為了數(shù)學的一個分支，并在數(shù)學中確立了其重要地位，邏輯學的數(shù)學轉(zhuǎn)向最終完成。1910年至1913年間，懷特海與羅素合作的《數(shù)學原理》三卷本相繼出版，邏輯學家們的注意力幾乎完全被引向了數(shù)學領(lǐng)域，數(shù)理邏輯似乎成了唯一的邏輯。

與科學轉(zhuǎn)向相比，數(shù)學轉(zhuǎn)向更為徹底。20世紀前半葉，“數(shù)理邏輯”幾乎成了“形式邏輯”的代名詞，而“形式邏輯”又成了“邏輯學”的代名詞，甚至有邏輯學家就公開提出，邏輯學應(yīng)直接從弗雷格開始，這一提法從根本上完全忽略了亞里士多德邏輯的存在。

實踐回歸

然而，20世紀40年代末、50年代初，有人開始挑戰(zhàn)數(shù)理邏輯在邏輯學中的絕對優(yōu)勢地位。比如，1948年，比利時哲學家佩雷爾曼實施了一項偉大工程，他試圖用符號邏輯來為價值判斷提供邏輯證成，但其研究結(jié)果卻是認為這不可能，但與此同時，他也發(fā)現(xiàn)，可以從古希臘論辯術(shù)和修辭術(shù)中找到價值判斷的證成辦法，進而，他提出了以論辯術(shù)為評價核心的新修辭學。1950年，美國哲學家比爾茲利出版了《實踐邏輯》，試圖把邏輯學研究從數(shù)學那里重新引向?qū)嵺`，進而開啟邏輯學的實踐轉(zhuǎn)向，但其工作并沒有受到當時邏輯學家們的重視。1958年，英國哲學家圖爾敏在《論證的運用》一書中提出，那些研究實踐推理的邏輯學家們應(yīng)當將其關(guān)注點從數(shù)學領(lǐng)域轉(zhuǎn)向法學領(lǐng)域，但這一看法卻被當時的主流哲學家們視為大逆不道。

直到20世紀70年代末、80年代初，非形式邏輯、論證理論以及批判性思維的興起，邏輯學的實踐轉(zhuǎn)向才基本實現(xiàn)，并且至今都仍在繼續(xù)之中。實際上，這個轉(zhuǎn)向并不只是與非形式邏輯學家相關(guān)，形式邏輯學家所發(fā)展的模態(tài)邏輯本身也是實踐轉(zhuǎn)向的一種表現(xiàn)。隨著認知邏輯、語言邏輯、人工智能邏輯等分支學的蓬勃發(fā)展，可以說形式邏輯也實現(xiàn)了其實踐轉(zhuǎn)向。

然而，與前兩次轉(zhuǎn)向不同，邏輯學的實踐轉(zhuǎn)向并非真正轉(zhuǎn)向，而是實踐回歸。如前所述，古希臘邏輯的實踐取向非常明顯，而且中國古代邏輯和古印度佛教邏輯也歷來都彰顯著其實踐取向?？梢哉f，從古希臘的論辯邏輯到形式邏輯的演進，是一個拋棄語用要素而追求普適性論證評價的發(fā)展歷程，而從形式邏輯到非形式邏輯的演進，則是在追求普適性論證評價的目標下，重新接納和重視語用評價要素的發(fā)展過程，即是邏輯學自身的實踐回歸。