論邏輯

近讀中國(guó)社會(huì)科學(xué)院哲學(xué)研究所諸葛殷同的《尋覓了半個(gè)世紀(jì)的辯證邏輯》一文。對(duì)于邏輯，諸葛殷同認(rèn)為：1、邏輯必需具有它的命題形式和推理形式，邏輯是以推理形式為主要研究對(duì)象的；2、認(rèn)為，根本不存在所謂的辯證邏輯，也不存在歸納邏輯，辯證邏輯是一種意識(shí)形態(tài)的產(chǎn)物，其基本原則相當(dāng)程度上是似是而非的；3、隱晦地斥責(zé)在黑格爾思想負(fù)面的影響下，從20世紀(jì)20年代開(kāi)始，國(guó)際上就有一股以辯證法否定形式邏輯的思潮欣起，致使“20世紀(jì)是邏輯空前發(fā)展的世紀(jì)（指歐美地區(qū)），也是邏輯大受摧殘的世紀(jì)（指前蘇聯(lián)和中國(guó)地區(qū)）”；4、認(rèn)為，把形式邏輯規(guī)律說(shuō)成是事物規(guī)律就是形而上學(xué)的說(shuō)法是錯(cuò)誤的，今天我們應(yīng)該理直氣壯地申明：如果我們堅(jiān)持唯物主義，應(yīng)該承認(rèn)邏輯規(guī)律首先就是事物規(guī)律，然后才是思維規(guī)律。

如何來(lái)評(píng)價(jià)諸葛殷同的這些見(jiàn)解呢？我以為邏輯的形式是多樣的，絕不限于傳統(tǒng)的形式邏輯和辯證邏輯的框束。形式邏輯、辯證邏輯、數(shù)理邏輯，以及20世紀(jì)的集合對(duì)應(yīng)邏輯，它們具有各自的邏輯形式，在本源上都是概念邏輯的各個(gè)分支。當(dāng)代邏輯學(xué)的發(fā)展，需要的是進(jìn)一步從邏輯是概念運(yùn)動(dòng)方式和內(nèi)在機(jī)制的總體上，獲取新的邏輯定義和論說(shuō)。

    什么是邏輯？

在康德那里，邏輯是一種先驗(yàn)形式。康德認(rèn)為，“在理性這里，正如在知性那里一樣，當(dāng)它抽掉了一切知識(shí)內(nèi)容時(shí)，有一種單純形式的，亦即邏輯的運(yùn)用”（純粹理性批判-200頁(yè)）。在康德的《純粹理性批判》中，知性有先驗(yàn)范疇的判斷邏輯，理性有先驗(yàn)原則的三段論推論邏輯和辯證推論邏輯?？档轮赋隽诉壿嫷倪\(yùn)用是對(duì)概念的整列，在知性那里，知性通過(guò)范疇的判斷邏輯，把概念整列為知性的判斷知識(shí)。在理性那里，通過(guò)三段論和辯證的推論邏輯的整列，進(jìn)一步把知性的判斷知識(shí)，上升到理性的推論知識(shí)。在康德那里，邏輯具有它的兩種不同形式，既有判斷的邏輯形式，又有推論的邏輯形式。    

康德的不足是在于，他的批判學(xué)說(shuō)，始終沒(méi)有探究概念是一種怎樣的生成和由來(lái)，沒(méi)有能夠把邏輯從概念之上的外在，深入到概念的內(nèi)在，從概念運(yùn)動(dòng)方式和機(jī)制的總體上還原邏輯。也就是說(shuō)，邏輯并不是一種外在的先驗(yàn)形式，邏輯是概念運(yùn)動(dòng)的內(nèi)在產(chǎn)物，應(yīng)從概念運(yùn)動(dòng)方式和機(jī)制的總體上闡明邏輯的本質(zhì)和由來(lái)。

    黑格爾邏輯學(xué)在《小邏輯》的導(dǎo)言中認(rèn)為：1、人的意識(shí)，對(duì)于對(duì)象總是先形成表象，后才形成概念；2、哲學(xué)是以思想、范疇，或更確切地說(shuō)，是以概念去代替表象；3、邏輯學(xué)是研究思維、思維的規(guī)定和規(guī)律的科學(xué)；4、這些規(guī)定和規(guī)律，乃是思維自身給予的，決不是已經(jīng)存在于外面的現(xiàn)成的事物，5、認(rèn)識(shí)到思維自身的本性即是辯證法，認(rèn)識(shí)到思維作為理智必陷于矛盾，必自己否定其自身這一根本見(jiàn)解，構(gòu)成邏輯學(xué)上一個(gè)主要課題。

    黑格爾邏輯學(xué)的主旨，第一，明確邏輯的對(duì)象是思維規(guī)律，這種規(guī)律是思維自身內(nèi)在的，決不是在思維外面的東西；第二，明確思維以其自身矛盾的辯證法，和對(duì)立統(tǒng)一更高進(jìn)階的邏輯方式驅(qū)動(dòng)各個(gè)時(shí)代的概念形態(tài)的歷史變動(dòng)，帶來(lái)人類思想，人類理智，人類精神和人類實(shí)踐的創(chuàng)造和發(fā)展。在黑格爾那里，邏輯學(xué)的對(duì)象決不限于形式邏輯的三段論推理和康德辯證推論的二律背反，而是進(jìn)一步上升到了人類的概念體系在對(duì)立統(tǒng)一更高進(jìn)階的辯證形式中的達(dá)到精神和實(shí)踐的新的歷史高度。

    黑格爾邏輯學(xué)的缺陷是，活躍在人類思維中的概念運(yùn)動(dòng)是由絕對(duì)理念植入的，人們不能討論概念的生成和由來(lái)。黑格爾和康德一樣，都沒(méi)有把邏輯理解為是人類意識(shí)結(jié)構(gòu)中的概念運(yùn)動(dòng)產(chǎn)物，從概念運(yùn)動(dòng)的探究中，闡明邏輯的原理。

    重要的是，無(wú)論康德和黑格爾，都沒(méi)有把邏輯限定于形式邏輯中的推理方式，康德把邏輯理解為知性和理性整列概念的不同方式，黑格爾把邏輯理解為思維規(guī)律和思維規(guī)則，他們的眼光遠(yuǎn)遠(yuǎn)比只認(rèn)為邏輯限于推理方式的狹隘見(jiàn)解，深邃的多和寬闊的多。

關(guān)于辯證邏輯，作為邏輯學(xué)的一個(gè)重要分支，從亞里士多德、康德、黑格爾以來(lái)，它以對(duì)立統(tǒng)一的核心方式：

一是提供了矛盾轉(zhuǎn)化的邏輯形式。亞里士多德在《工具論》的范疇篇中，討論了對(duì)立統(tǒng)一“以四種方式發(fā)生，即一事物與另一事物相對(duì)，表現(xiàn)在四方面：有關(guān)系的事物相對(duì)立；互為反對(duì)命題的事物相對(duì)立；缺性和習(xí)性相對(duì)立；肯定命題與否定命題相對(duì)立”。在亞里士多德的討論中，有兩點(diǎn)：1、對(duì)立關(guān)系有著它的命題方式；2、對(duì)立關(guān)系是矛盾轉(zhuǎn)化的，如，“由火變熱，由健康到患疾，由白到黑，由冷到熱（或由熱到冷）。好又可能變壞，壞也可能變好。墮落的人可以被引導(dǎo)到更好的追求和推理能力中，因此會(huì)取得進(jìn)步”。

二是提供了對(duì)稱架構(gòu)的邏輯形式。康德在《純粹理性批判》中，列舉并論證了四對(duì)同樣正確的、“純理性”的相互矛盾的思辨綜合判斷，他稱為四個(gè)“二律背反”的對(duì)稱架構(gòu)：即，1、正題：世界在時(shí)間上和空間上是有限的；反題：世界在時(shí)間上和空間上是無(wú)限的。2、正題：世界上的一切都是由單一的、不可分的部分構(gòu)成的；反題：世界上沒(méi)有單一的東西，一切都是復(fù)雜的、可分的。3、正題：世界上存在有自由；反題：世界上沒(méi)有自由，一切都是必然的。4、正題：存在著世界的最初原因；反題：沒(méi)有世界的最初原因。

三是提供了對(duì)立統(tǒng)一更高進(jìn)階的邏輯形式。讀黑格爾《小邏輯》的總體結(jié)構(gòu)是：1、在存在論篇中，概念又質(zhì)和量的對(duì)立統(tǒng)一進(jìn)階到尺度，并由存在論上升到本質(zhì)論；2、在本質(zhì)論篇中，概念由實(shí)在和現(xiàn)象的對(duì)立統(tǒng)一進(jìn)階到現(xiàn)實(shí)，并由本質(zhì)論上升到概念論；3、在概念論篇中，概念由主觀和客體的對(duì)立統(tǒng)一進(jìn)階到理念，由概念上升到絕對(duì)理念。

對(duì)立統(tǒng)一的辯證邏輯提供了矛盾轉(zhuǎn)化、對(duì)稱架構(gòu)、更高進(jìn)階的思維規(guī)則，展現(xiàn)的是人類概念運(yùn)動(dòng)內(nèi)在的心靈活動(dòng)，它使人類的精神和人類的實(shí)踐在各個(gè)時(shí)代獲得了概念進(jìn)動(dòng)的歷史創(chuàng)造。把這種人類概念思維自身內(nèi)在的心靈活動(dòng)，斥責(zé)為外在的意識(shí)形態(tài)產(chǎn)物，是十分荒謬的。特別是認(rèn)為辯證法使得邏輯在20世紀(jì)大受摧殘的說(shuō)法更是無(wú)稽之談。

    怎樣來(lái)看待20世紀(jì)邏輯空前大發(fā)展呢？關(guān)鍵之見(jiàn)在，于20世紀(jì)的邏輯發(fā)展并不是什么形式邏輯和辯證邏輯之爭(zhēng)的結(jié)果，而是人類的邏輯思維發(fā)展出了一種新的邏輯分支，即以集合論為底蘊(yùn)的程序邏輯的涌現(xiàn)。

2000年美國(guó)學(xué)者馬丁·戴維斯所著的《邏輯的引擎》，為我們講述了現(xiàn)代計(jì)算機(jī)背后的那些基本概念和發(fā)展這些概念的人，描寫了萊布尼茨、布爾、費(fèi)雷格、康托爾、希爾伯特、哥德?tīng)?、圖靈等天才的生活和工作。網(wǎng)上有很多讀后感，但都沒(méi)有講到要點(diǎn)。真正的要點(diǎn)是，萊布尼茨的夢(mèng)想，也就是把所有人類知識(shí)符號(hào)化，輸入一個(gè)算法公式，以此判斷所有命題的真假，由此消除因語(yǔ)言含糊所帶來(lái)的分歧的夢(mèng)想，其內(nèi)涵的是：1、所有人類知識(shí)符號(hào)化構(gòu)成的“無(wú)限集”；2、一個(gè)算法構(gòu)成的“有限集”；3、如何把這兩個(gè)“無(wú)限集”和“有限集”對(duì)應(yīng)起來(lái)，由此實(shí)現(xiàn)所有命題的真假處理。

萊布尼茨的夢(mèng)想，一方面，帶來(lái)上世紀(jì)初英國(guó)劍橋分析哲學(xué)的興起，把哲學(xué)問(wèn)題還原為語(yǔ)言問(wèn)題，認(rèn)為語(yǔ)言的規(guī)則就是事物的規(guī)則和世界的規(guī)則；另一方面，帶來(lái)了集合論的興起，特別是“集”符號(hào)和“集”運(yùn)算符號(hào)的創(chuàng)立，使“潛無(wú)限”獲得了“實(shí)無(wú)限”的符號(hào)表達(dá)方式，以及“無(wú)限集”和“有限集”對(duì)應(yīng)的思路，經(jīng)過(guò)費(fèi)雷格、希爾伯特，圖靈等等的努力，產(chǎn)生了以集合論為哲學(xué)基礎(chǔ)，無(wú)限集的數(shù)據(jù)輸入和有限集的數(shù)碼程序相對(duì)應(yīng)輸出的計(jì)算機(jī)程序邏輯。計(jì)算機(jī)程序邏輯的創(chuàng)立，其重要的特征是，它是無(wú)限集和有限集對(duì)應(yīng)的邏輯形式，它的出現(xiàn)更說(shuō)明邏輯并不限于推理方式。

    在這樣的過(guò)程中，我們并沒(méi)有看到形式邏輯和辯證邏輯的爭(zhēng)斗，也沒(méi)有看到對(duì)辯證邏輯的揚(yáng)棄，恰恰看到的是無(wú)限和有限對(duì)稱架構(gòu)的辯證思維魅力。這種無(wú)限和有限的對(duì)稱架構(gòu)在集合論的興起中，獲得了無(wú)限集和有限集對(duì)應(yīng)的更高進(jìn)階，即程序邏輯的創(chuàng)立。搞清了這樣的史實(shí)，所謂20世紀(jì)邏輯的空前發(fā)展，在本質(zhì)上是一種以集合論和二進(jìn)制數(shù)碼為根基的新的邏輯分支的出現(xiàn)。這種新的邏輯分支的出現(xiàn)它是對(duì)應(yīng)形式的而不是推理形式的。說(shuō)邏輯在20世紀(jì)空前發(fā)展的同時(shí)大受摧殘的論見(jiàn)，說(shuō)的不好是一種概念的自相矛盾，說(shuō)其實(shí)質(zhì)則是，以推理形式式為邏輯的唯一絕對(duì)，以其它形式為似是而非的偏見(jiàn)，恰恰是這種偏見(jiàn)使得國(guó)內(nèi)邏輯學(xué)的發(fā)展和創(chuàng)立處于了停滯和毫無(wú)新的建樹(shù)。

    此外，以推理方式為邏輯的唯一絕對(duì)，主張?jiān)谶壿嬛信懦龤w納，則是完全割斷了推理和歸納的內(nèi)在聯(lián)系。歸納和推理盡管有所不同，但我們必須從整體上搞清：歸納是經(jīng)驗(yàn)綜合的概念抽象，推理是歸納后抽象演繹，兩者在邏輯上是不可分割的。第一，任何推理都是以歸納為前提的。在三段論推理中，有定言的三段論推理，有假言的三段論推理，有選言的三段論推理，為何如此？根本的原因在于，三段論推理的前提都是源自于歸納的綜合范圍，如，全稱肯定歸納、全稱否定歸納，特稱歸納，等等，造成了三段論推理的不同范圍。第二，歸納是經(jīng)驗(yàn)綜合的概念抽象，受制于經(jīng)驗(yàn)，作為三段論推理的前提，決定了任何一個(gè)三段論推理的邏輯必然，都是抽象的必然，而不是實(shí)在的必然。這種抽象的必然，必須返回經(jīng)驗(yàn)實(shí)證的證明，才能獲得它的抽象和實(shí)在的統(tǒng)一?？梢?jiàn)，任何一個(gè)推理都是不能揚(yáng)棄歸納，歸納和推理一樣是邏輯的重要形式。

    推理形式，辯證形式，數(shù)理形式，對(duì)應(yīng)形式，說(shuō)到底都是邏輯主干上的，為人類理智內(nèi)省所制訂的分支規(guī)則，它們每一個(gè)都不是邏輯的唯一形式。于是我們需要討論邏輯的主干是什么。黑格爾的邏輯學(xué)認(rèn)為邏輯的對(duì)象是思維規(guī)律和思維規(guī)則，是思維自身內(nèi)在的產(chǎn)物。但需要進(jìn)一步深入到人類的思維是憑借什么來(lái)進(jìn)行的。在康德的認(rèn)識(shí)論中，知性沒(méi)有直觀，感性沒(méi)有思維，如同黑格爾所說(shuō)，人的意識(shí)，總是先形成表象，后才形成概念。無(wú)論知性和理性，或者說(shuō)人的意識(shí)實(shí)際上都是憑借概念進(jìn)行思維的。這樣，對(duì)思維規(guī)律和思維規(guī)則的探討，對(duì)邏輯的探討，歸根到底要還原為對(duì)概念運(yùn)動(dòng)方式和運(yùn)動(dòng)機(jī)制的探討，以概念邏輯為邏輯的總體和主干。

    從人類的意識(shí)結(jié)構(gòu)分析，人類的意識(shí)結(jié)構(gòu)是感性表象意識(shí)和概念抽象意識(shí)的聯(lián)結(jié)，其中，感性表象意識(shí)是直觀的，無(wú)思維的。其功能是和外部刺激打交道，把外部刺激轉(zhuǎn)換為視覺(jué)的、聽(tīng)覺(jué)的、嗅覺(jué)的、味覺(jué)的、觸覺(jué)的直觀表象。概念抽象意識(shí)則和直觀表象打交道，賦予直觀表象符號(hào)指稱的概念構(gòu)造，即通過(guò)符號(hào)方式的名稱指稱和定義指稱，生成事物的概念抽象。然后以形成的概念抽象為材料，展開(kāi)抽象之抽象的概念虛構(gòu)，進(jìn)而把種種形成的概念虛構(gòu)反饋于經(jīng)驗(yàn)實(shí)證的制作和求取，獲得抽象和經(jīng)驗(yàn)統(tǒng)一的概念之物創(chuàng)造，由此生成認(rèn)識(shí)、虛構(gòu)、精神追求、實(shí)踐創(chuàng)造和自我統(tǒng)覺(jué)的豐富內(nèi)容的思維活動(dòng)。

    概念的運(yùn)動(dòng)方式和機(jī)制，其主干包括概念的生成機(jī)制，概念的虛構(gòu)機(jī)制，概念的實(shí)踐機(jī)制，概念的自我機(jī)制，它們聯(lián)系在一起構(gòu)成一個(gè)總體的概念邏輯。形式邏輯、辯證邏輯、數(shù)理邏輯、對(duì)應(yīng)邏輯等等都是人類理智從概念邏輯主干的內(nèi)省中制訂的一些規(guī)則，形成邏輯的一些分支形式。要懂得這些分支形式，需要深入概念邏輯的探求，才能清本正源搞清它們的生成和由來(lái)。猶如，人們常常問(wèn)哲學(xué)是什么？但從不思考哲學(xué)思維是怎樣從人的心底中邏輯必然地涌現(xiàn)出來(lái)的。哲學(xué)思維，根源于人類概念意識(shí)中的概念集合進(jìn)階致使，即概念從個(gè)別的集合進(jìn)階上升到特殊階乘，從特殊的集合進(jìn)階上升到普遍階乘，進(jìn)而在普遍階乘的概念頂層上統(tǒng)攝一切，由此生成事物的根本原理和以絕對(duì)為對(duì)象的哲學(xué)思考。只有這樣我們才能透徹了解，哲學(xué)思維為何會(huì)在人類的心底中邏輯必然地涌現(xiàn)。

從現(xiàn)代計(jì)算機(jī)程序邏輯的人工智能分析，計(jì)算機(jī)人工智能是建立在無(wú)限集和有限集對(duì)應(yīng)運(yùn)算的程序邏輯基礎(chǔ)上的，要實(shí)現(xiàn)計(jì)算機(jī)人工智能向人類智能的提升，或者人機(jī)接口的實(shí)現(xiàn)，憑現(xiàn)有的形式邏輯分支、辯證邏輯分支，數(shù)理邏輯分支，對(duì)應(yīng)邏輯分支是遠(yuǎn)遠(yuǎn)不夠的。在我看來(lái)，需要通過(guò)對(duì)概念邏輯的總體探求和諸多新的邏輯分支規(guī)則制訂，才有望逐步積累合成地實(shí)現(xiàn)。這亦表明，邏輯學(xué)在我們這個(gè)時(shí)代乃至未來(lái)仍需不懈探求。

明確邏輯是概念運(yùn)動(dòng)的總體方式和機(jī)制，是概念意識(shí)的產(chǎn)物，那么毫無(wú)疑義，邏輯是概念意識(shí)自身內(nèi)在的規(guī)律，那種以為邏輯規(guī)律是事物規(guī)律的反映，邏輯規(guī)律首先就是事物規(guī)律，然后才是思維規(guī)律的見(jiàn)解，其實(shí)質(zhì)是把邏輯規(guī)律說(shuō)成是外在事物規(guī)律在思維中呈現(xiàn)，這種見(jiàn)解：第一，是一種本體論觀念，而不是認(rèn)識(shí)論觀念。這種本體論觀念，仍然循守著客觀反映論，完全否定了主體具有它的直觀表象和概念構(gòu)造的能動(dòng)，就認(rèn)識(shí)論而言，是一種倒退；第二，如果說(shuō)，邏輯規(guī)律是外在事物規(guī)律在思維中的呈現(xiàn)，那么為何這種外在事物規(guī)律，可以在抽象的思維中呈現(xiàn)，而不能在直觀的表象中呈現(xiàn)呢？！對(duì)此，我們?nèi)绾蝸?lái)回答一種見(jiàn)解，這種見(jiàn)解心心念念地認(rèn)為，事物可以在概念構(gòu)造中呈現(xiàn)出來(lái) ，一如它也可以在感覺(jué)、知覺(jué)、回憶、想象中呈現(xiàn)出來(lái)一樣。

由此，我以為諸葛殷同先生，在《尋覓了半個(gè)世紀(jì)的辯證邏輯》一文中的諸多見(jiàn)解，思想陳舊狹隘，充滿了對(duì)邏輯和辯證邏輯的極端偏見(jiàn)，是需要質(zhì)疑和批判的。