概念邏輯的程序化

一、形式邏輯、先驗(yàn)邏輯和概念邏輯。

當(dāng)我們談?wù)撨壿?，首先涉及到邏輯學(xué)的歷史發(fā)展。邏輯學(xué)起端于亞里士多德的形式邏輯?？档潞秃诟駹枌?duì)形式邏輯都有評(píng)價(jià)和批判。

康德在《純粹理性批判》第二版序中認(rèn)為：邏輯學(xué)“從亞里士多德以來(lái)已不允許作任何退步了”，“還值得注意的是，它直到今天也不能邁出任何前進(jìn)的步子，因而從一切表現(xiàn)看，它都似乎已經(jīng)封閉和完成了”。

康德在《純粹理性批判》中，以他的先驗(yàn)哲學(xué)體系認(rèn)為，經(jīng)驗(yàn)的形式邏輯已經(jīng)封閉完成了，但從先天的視野上，邏輯學(xué)需要有一條先天的路線(xiàn)。這條先天的路線(xiàn)：

一是先天知性的概念認(rèn)識(shí)和判斷邏輯，即質(zhì)的、量的、關(guān)系的、模態(tài)的十二個(gè)范疇判斷；

二是先天理性的推論邏輯和二律背反邏輯。

在康德的先驗(yàn)哲學(xué)中，知性邏輯和理性邏輯，如同感性的空間和時(shí)間都是我們心靈的先天具有。心靈把這種先天的東西放到經(jīng)驗(yàn)中，一方面，以先天的普遍必然適用生成經(jīng)驗(yàn)知識(shí)的規(guī)律；另一方面，為形式邏輯的賴(lài)以發(fā)生，提供了先驗(yàn)的邏輯根基。

黑格爾在《小邏輯》第一部邏輯學(xué)的著述中指出：“對(duì)思維的細(xì)密研究，將會(huì)揭示其規(guī)律與規(guī)則，而對(duì)其規(guī)律與規(guī)則的知識(shí)，我們可以從經(jīng)驗(yàn)中得來(lái)，從這種觀點(diǎn)來(lái)研究思維的規(guī)律，曾構(gòu)成往常所謂邏輯的內(nèi)容。亞里士多德就是這門(mén)科學(xué)的創(chuàng)始人。他把他認(rèn)為思維所具有的那種力量，都揭示了出來(lái)”。“亞里士多德這種邏輯一直到現(xiàn)在還是大家所公認(rèn)的邏輯，經(jīng)過(guò)中世紀(jì)的經(jīng)院哲學(xué)家們雖有所推衍，卻沒(méi)有增加什么材料，只是在原有材料上更加細(xì)致的發(fā)揮罷了”，“人們可以利用關(guān)于有限思維的形式的知識(shí)，把它作為研究經(jīng)驗(yàn)科學(xué)的工具，由于經(jīng)驗(yàn)科學(xué)是依照這些形式進(jìn)行的，所以在這個(gè)意義下，也有人稱(chēng)形式邏輯為工具邏輯”。

黑格爾的《小邏輯》旨在闡明形式邏輯是一種經(jīng)驗(yàn)有限知識(shí)和有限思維形式，認(rèn)為這種有限思維形式的缺陷在于，它沒(méi)有深入到思維的本體，即概念運(yùn)動(dòng)。在黑格爾邏輯學(xué)中，概念是思維賴(lài)以發(fā)生的本體，這樣的概念本體具有先天的自身矛盾否定的辯證發(fā)展運(yùn)動(dòng)，這是邏輯的根本所在。在《小邏輯》中，黑格爾闡述了他的概念邏輯，即：對(duì)立統(tǒng)一的邏輯，抽象進(jìn)階的邏輯，普遍、特殊、個(gè)別三個(gè)基本環(huán)節(jié)的邏輯，建構(gòu)事物的邏輯（事物之所以是事物是有概念活動(dòng)在其中），等等。從思維邏輯深入到思維本體的概念邏輯是黑格爾邏輯學(xué)的重要功獻(xiàn)，它為我們進(jìn)一步深化概念邏輯的探討提供了思想的啟發(fā)。

康德和黑格爾都通過(guò)形式邏輯的批判開(kāi)辟自己的方向：一個(gè)是先驗(yàn)邏輯的方向，一個(gè)是概念邏輯的方向。這兩個(gè)方向都是主張思維邏輯的先天根源，盡管這種先天根源和形式邏輯相比缺乏經(jīng)驗(yàn)科學(xué)實(shí)用的工具性，但卻內(nèi)含了邏輯學(xué)的深入思考，特別是黑格爾的概念邏輯更有著揭示人類(lèi)概念智能意識(shí)的實(shí)在意義。

黑格爾概念邏輯的缺陷是始終認(rèn)為，“我們并不形成概念，并且一般來(lái)說(shuō)，概念決不可認(rèn)作有什么來(lái)源的東西”。在黑格爾那里，概念是絕對(duì)理念的先天創(chuàng)造力量，它既貫穿于人類(lèi)的思維活動(dòng)，又外化于事物建構(gòu)。然而事實(shí)上，概念從來(lái)不是什么先天的降臨，概念本質(zhì)上是一種意識(shí)方式，源自于人類(lèi)文化演化加入的符號(hào)指稱(chēng)抽象構(gòu)。符號(hào)指稱(chēng)抽象構(gòu)造賦予了概念生成的符號(hào)、指稱(chēng)、抽象、構(gòu)造的普遍必然方式。這種符號(hào)、指稱(chēng)、抽象、構(gòu)造的普遍必然方式，在概念意識(shí)活動(dòng)中形成了自身的概念邏輯，即：符號(hào)制作使用的邏輯、直觀抽象的認(rèn)識(shí)邏輯、概念統(tǒng)攝的共相邏輯、概念組合的想象邏輯、概念集合進(jìn)階的邏輯、抽象之抽象的概念虛構(gòu)邏輯、反饋經(jīng)驗(yàn)實(shí)證的概念之物創(chuàng)造邏輯，概念的自我意識(shí)邏輯，等等。由此生成人類(lèi)特有的語(yǔ)言、制圖、認(rèn)識(shí)、虛構(gòu)、創(chuàng)造、自我的概念智能，并在經(jīng)驗(yàn)知識(shí)中獲得思維規(guī)則和規(guī)律的形式邏輯。

二、概念邏輯和程序邏輯。

現(xiàn)代計(jì)算機(jī)電腦的出現(xiàn)，使人腦外載了一種以電子技術(shù)為支撐的程序邏輯，產(chǎn)生了一種電腦人工智能的發(fā)展。

如何來(lái)看待和理解電腦的程序邏輯呢？

程序邏輯的顯著特點(diǎn)是：

第一，它建立在電子技術(shù)的基礎(chǔ)上；

第二，它需要把一切感知和認(rèn)知的表象轉(zhuǎn)化為二進(jìn)制的0和1組成的數(shù)碼符號(hào)，輸入電腦的程序邏輯，通過(guò)電路開(kāi)、關(guān)瞬間數(shù)千萬(wàn)或數(shù)億次的運(yùn)行處理，獲得程序處理的指令輸出。

美國(guó)學(xué)者馬丁·戴維斯在《邏輯的引擎》著述中，從萊布尼茨之夢(mèng)，布爾把邏輯變成代數(shù)，弗雷格從突破到絕望，康托爾在無(wú)限中摸索，希爾伯特的營(yíng)救，哥德?tīng)柺褂?jì)劃落空、圖靈構(gòu)想通用計(jì)算機(jī)等等的歷史回顧中指出：“計(jì)算機(jī)從20世紀(jì)50年代的塞滿(mǎn)整個(gè)房間的龐然大物，逐步演變成今天輕巧而強(qiáng)大的能夠完成各種任務(wù)的機(jī)器，在這整個(gè)過(guò)程中，其背后的邏輯始終保持一致。這些邏輯是幾個(gè)世紀(jì)以來(lái)數(shù)位天才思想家一步步發(fā)展出來(lái)的”。（引言第一頁(yè)）“計(jì)算機(jī)實(shí)際上是邏輯機(jī)器。它的電路體現(xiàn)了幾個(gè)世紀(jì)以來(lái)一大批邏輯學(xué)家所提出的觀點(diǎn)之精華。當(dāng)前，正當(dāng)我們羨慕工程師們令人矚目的成就之時(shí)，我們很容易忘記那些邏輯學(xué)家，正是他們的思想使得這一切成為可能”。

程序邏輯實(shí)際上是由電子技術(shù)基礎(chǔ)上的兩大邏輯建構(gòu)的：

一是二進(jìn)制的數(shù)碼邏輯。它可以把一切直觀建構(gòu)的表象和概念建構(gòu)的表象全部轉(zhuǎn)換為由二進(jìn)制0和1組成的數(shù)碼符號(hào)，輸入電腦程序運(yùn)行處理。

二是集對(duì)應(yīng)處理邏輯。通過(guò)集符號(hào)，把思想中的潛無(wú)限轉(zhuǎn)變?yōu)榧?hào)的實(shí)無(wú)限，為無(wú)限集和有限集對(duì)應(yīng)處理建構(gòu)的程序編碼打開(kāi)了實(shí)現(xiàn)的通道，即無(wú)限集數(shù)據(jù)輸入和有限集處理的對(duì)應(yīng)程序，在程序處理的規(guī)則中生成輸出的電腦操控的指令。

這里我們看到：

第一，人腦的概念邏輯和電腦的程序邏輯有一個(gè)重要的共同之處在于，它們都是建筑在符號(hào)的制作和運(yùn)行基礎(chǔ)上的。人腦的制作運(yùn)行的符號(hào)是聲符和圖符，電腦的制作運(yùn)行的符號(hào)是數(shù)碼。符號(hào)形式哲學(xué)家卡西爾認(rèn)為，人是“符號(hào)的動(dòng)物”。同為原理，我們可以認(rèn)為，電腦是“符號(hào)的邏輯機(jī)器”。

第二，概念邏輯制作運(yùn)行的符號(hào)，如語(yǔ)言符號(hào)、文字符號(hào)、圖形符號(hào)等都可以一一轉(zhuǎn)換為程序邏輯賴(lài)以運(yùn)行的數(shù)碼符號(hào)，并可由數(shù)碼符號(hào)一一還原為概念邏輯的語(yǔ)言符號(hào)、文字符號(hào)、圖形符號(hào)等。

第三，共同的符號(hào)為載體的運(yùn)行表明，程序邏輯實(shí)質(zhì)上是概念邏輯在電子技術(shù)基礎(chǔ)上的的延伸。也就是說(shuō)，程序邏輯本質(zhì)上是概念邏輯的外延部分 ，不過(guò)是這個(gè)外延部分需要運(yùn)行在電腦中，而不是運(yùn)行在人腦中。

概念邏輯的程序化是完全可能的。關(guān)鍵在于需要在邏輯學(xué)的發(fā)展中，把概念邏輯的程序化真正放到哲學(xué)和科學(xué)共同協(xié)作的議事日程。這就需要：一方面；邏輯學(xué)發(fā)展的新創(chuàng)立，對(duì)概念邏輯構(gòu)造的深入探究；另一方面，為實(shí)現(xiàn)概念邏輯的程序化提供新穎發(fā)展的電子芯片和程序設(shè)計(jì)。

概念邏輯程序化的實(shí)在意義是:

第一，實(shí)現(xiàn)人機(jī)接口。一旦實(shí)現(xiàn)概念邏輯的程序化，人腦和電腦才能建立真正的聯(lián)系，即電腦能夠通過(guò)概念邏輯化的芯片，識(shí)別、讀取、溝通人腦的思想和目標(biāo)，轉(zhuǎn)化為電腦操控的指令和行為。美國(guó)企業(yè)家馬斯克近年來(lái)的腦機(jī)接口，至今難以成就，所困擾的最根本問(wèn)題是，工程師們并沒(méi)有意識(shí)到人腦中的概念邏輯存在和探討，而沒(méi)有概念邏程的程序化芯片，電腦是不可能識(shí)別、讀取和溝通人腦中的思想的，亦是不可能實(shí)現(xiàn)腦機(jī)接口的。

第二，實(shí)現(xiàn)記憶轉(zhuǎn)移。一旦實(shí)現(xiàn)概念邏輯的程序化，那么，把人腦中的意識(shí)活動(dòng)信號(hào)和記憶轉(zhuǎn)移到電腦的永久儲(chǔ)存，使個(gè)體意識(shí)的還原有了潛在到實(shí)在的實(shí)現(xiàn)可能。對(duì)于人類(lèi)而言，這將是未來(lái)生命意識(shí)和生存命運(yùn)的又一次重大改變。