大話邏輯研究論文
時(shí)間:2022-03-17 12:46:00
導(dǎo)語(yǔ):大話邏輯研究論文一文來(lái)源于網(wǎng)友上傳,不代表本站觀點(diǎn),若需要原創(chuàng)文章可咨詢客服老師,歡迎參考。
正如在學(xué)中,假定每一個(gè)消費(fèi)者對(duì)于他所要買來(lái)以供日用的所有商品是真正的內(nèi)行一樣,──現(xiàn)在上認(rèn)為也要遵守這樣的假定。所謂科學(xué)的自由,就是人們可以撰寫(xiě)他們所沒(méi)有學(xué)過(guò)的一切東西,而這被冒充是唯一嚴(yán)格的科學(xué)。
──恩格斯《反杜林論》
在廣州購(gòu)書(shū)中心買書(shū),邏輯類的書(shū)籍中既然有《泛演化邏輯引論-思維邏輯學(xué)的本體論基礎(chǔ)》(何新著,時(shí)事出版社2005年版,以下從該書(shū)引用的文字,簡(jiǎn)稱何著頁(yè)××,表示該書(shū)第××頁(yè))這本書(shū)。何新先生名氣雖大,但邏輯圈的人知道他不是做邏輯的,何以他也寫(xiě)下一本有關(guān)邏輯的書(shū)呢?出于好奇,我隨手翻了一下,發(fā)現(xiàn)很有些東西能夠刺激我們這些專搞邏輯的人。便買下了何先生的書(shū),由此有了這篇讀后感。
一大話學(xué)者:從反杜林論談起
大約在150年前,德國(guó)出了一個(gè)大話學(xué)者杜林,他創(chuàng)造了一個(gè)主義的新體系。恩格斯在批判杜林的體系時(shí),杜林的東西總算還被恩格斯稱為高超的胡說(shuō)。杜林,這個(gè)創(chuàng)造體系的所謂「智者」,自稱為在哲學(xué)和所有科學(xué)領(lǐng)域中都實(shí)行了全面的變革,并對(duì)所有的知識(shí)前輩都用嘲弄謾罵的語(yǔ)氣予以了無(wú)情批判。
在時(shí)間之軸上,不同時(shí)段的事件和人物雖各有不同,卻有驚人的可比較之處。歲月不居,時(shí)節(jié)如流,一個(gè)半世紀(jì)倏忽而過(guò)。在當(dāng)代大陸也出現(xiàn)了一個(gè)大話學(xué)者,其著作等身,幾乎全知全能。中國(guó)的這位「學(xué)者」似乎比杜林的功勞更大,不僅在哲學(xué)和其它社會(huì)科學(xué)領(lǐng)域碩果累累,在宗教、、古代中國(guó)文化、、、甚至是國(guó)際政治領(lǐng)域,他也爭(zhēng)取到機(jī)會(huì)淋漓盡致地發(fā)揮了一番,遠(yuǎn)遠(yuǎn)超越了當(dāng)年杜林所涉獵的知識(shí)范圍。甚至一般學(xué)者望而生畏的邏輯和數(shù)學(xué)領(lǐng)域,他也敢大大咧咧地闖將進(jìn)來(lái),并極為自得地宣稱:「布爾、弗雷格創(chuàng)立布爾代數(shù)和數(shù)理(符號(hào))邏輯以后,作為一個(gè)中國(guó)學(xué)者,我為自己能發(fā)現(xiàn)一種新的邏輯工具而感到欣慰。」(見(jiàn)何著頁(yè)11)
不僅如此,在他洋洋自得宣稱的同時(shí),幾乎對(duì)所有的邏輯,不僅僅是邏輯知識(shí)本身,也包括對(duì)邏輯的先驅(qū)和后學(xué),使用了非常不得體的評(píng)論方式。這種評(píng)論堪和杜林對(duì)知識(shí)先輩的評(píng)論相媲美。
我們先看恩格斯引用的杜林對(duì)哲學(xué)家的評(píng)論:
缺乏任何優(yōu)良操守的萊布尼茲,這個(gè)一切哲學(xué)侍臣中的佼佼者;
出現(xiàn)了特別是叫做費(fèi)希特和謝林的這兩個(gè)直接模仿者的謬誤和既輕率又無(wú)聊的蠢話;
達(dá)爾文主義的半詩(shī)和變態(tài)術(shù)……。(《馬克思恩格斯選集》三卷第70頁(yè))
我們?cè)賮?lái)看何新這位大話學(xué)者對(duì)現(xiàn)當(dāng)代邏輯學(xué)者的評(píng)論:
羅素試圖以愚蠢的指號(hào)論消除哲學(xué)本體論。這種獨(dú)斷論的邏輯斯蒂,可以戲稱為「邏輯」中的「法西斯蒂」。(何著序言頁(yè)11)
當(dāng)今國(guó)內(nèi)的主流邏輯學(xué)界,幾乎已被維也納學(xué)派和學(xué)派獨(dú)擅言語(yǔ)權(quán)。因此,當(dāng)時(shí)我的文章難以發(fā)表。但正是在那個(gè)會(huì)上,我有幸第一次接觸了中國(guó)的「邏輯斯蒂學(xué)派」的若干主要代表人物,欣賞到了他們那種笨拙地模仿羅素的「當(dāng)且僅當(dāng)」的有趣獨(dú)斷論觀點(diǎn)。(何著頁(yè)12)
邏輯正好是我所從事的專業(yè),雖然在這個(gè)領(lǐng)域,一個(gè)以教學(xué)為業(yè)的邏輯研究者并沒(méi)有做出甚么開(kāi)創(chuàng)性的工作。但邏輯是一門嚴(yán)肅的科學(xué),中國(guó)邏輯學(xué)界是一個(gè)有著良好學(xué)術(shù)傳統(tǒng)的團(tuán)體。以致在當(dāng)今哲學(xué)界,有很多人認(rèn)為,從事邏輯學(xué)教學(xué)和研究的這個(gè)團(tuán)體,最鮮明地體現(xiàn)了學(xué)科研究的國(guó)際規(guī)范。盡管這個(gè)團(tuán)體有其存在的種種,但把獨(dú)斷論說(shuō)成是中國(guó)主流邏輯學(xué)界的特點(diǎn),實(shí)在表明評(píng)論者對(duì)中國(guó)邏輯學(xué)界的無(wú)知。這種無(wú)知,又是評(píng)論者對(duì)邏輯學(xué)本身也無(wú)知的一個(gè)體現(xiàn)。出于對(duì)邏輯學(xué)科的良知和感悟,也出于對(duì)我所在的邏輯學(xué)團(tuán)體的尊重,我感到有一種無(wú)法遏止的沖動(dòng),要對(duì)這種無(wú)知的大話學(xué)者和無(wú)理的大話邏輯予以清算。
二大話邏輯:有根無(wú)葉的哲學(xué)思辨
在《反杜林論》中,恩格斯評(píng)論他所在的德國(guó)學(xué)術(shù)界,有一段妙語(yǔ):「近來(lái)在德國(guó),天體物、自然哲學(xué)、政治學(xué)、經(jīng)濟(jì)學(xué)等等體系,雨后春筍般地生長(zhǎng)起來(lái)。最蹩腳的哲學(xué)博士,甚至大學(xué)生,不動(dòng)則已,一動(dòng)至少就要?jiǎng)?chuàng)造一個(gè)完整的體系?!梗R克思恩格斯選集三卷第46頁(yè))
我把泛演化邏輯稱為大話邏輯,就是因?yàn)檫@個(gè)邏輯要就不建立,一旦要建立,那就不僅是要?jiǎng)?chuàng)造一個(gè)完整的體系,而且是導(dǎo)引和拓荒意義上的體系,它還是一個(gè)革命性的體系。泛演化邏輯的大話可以用作者自己的語(yǔ)言概括為以下四點(diǎn):
第一,這樣一種邏輯的「根本重要點(diǎn)在于,它并不是一種形式化的主觀的數(shù)理邏輯,而是一種有效預(yù)測(cè)事物演化趨勢(shì)的智能邏輯」。
第二,這樣一種邏輯在更普遍的意義上可以構(gòu)成古典邏輯的本體論基礎(chǔ)。
第三,泛演化邏輯,乃是邏輯的邏輯,可以稱作真正意義上的元邏輯。
第四,現(xiàn)代邏輯多以數(shù)學(xué)中的形式集合論為基礎(chǔ),我的泛演化邏輯對(duì)于概念類集理論的重新研究必將涉及邏輯基礎(chǔ)的重大革命。(何著頁(yè)11)
更令人驚詫不已的是,這種邏輯他早就應(yīng)該完全建立起來(lái),但何先生志趣深廣,「當(dāng)時(shí)中國(guó)改革進(jìn)程中發(fā)生的激烈的思想和文化沖突與辯論吸引了我,我的研究重點(diǎn)轉(zhuǎn)到了經(jīng)濟(jì)、政治、文化等問(wèn)題上」(何著頁(yè)112)。按照和何先生歷史概念類集的思辨方法不同的方法,現(xiàn)在,何先生對(duì)邏輯的興趣回歸了。他從對(duì)泛演化邏輯的興趣,遷移到中國(guó)改革進(jìn)程中的政治、經(jīng)濟(jì)和文化,但時(shí)過(guò)境遷,他再?gòu)?fù)歸為今天的所謂邏輯興趣。這樣一個(gè)短暫時(shí)間段內(nèi)的興趣遷移,似乎是濃縮了個(gè)體有關(guān)概念歷史演進(jìn)的另一種一般進(jìn)程。但這里沒(méi)有進(jìn)化,作者還在原先知識(shí)的起點(diǎn)上。
但奇怪的是,所謂的創(chuàng)造性竟然依舊存在。這個(gè)邏輯依然是別人沒(méi)有做出,只是他做出的「完全新型的邏輯」。在知識(shí)變化如此迅速演進(jìn)的現(xiàn)時(shí)代,時(shí)隔二十多年。還敢于聲稱這種邏輯是完全新型的邏輯,真讓人佩服他的自信和勇氣。但有點(diǎn)令人欣慰的是,他開(kāi)始把邏輯看成是非常重要的東西了,遠(yuǎn)超出他以前對(duì)政治、經(jīng)濟(jì)和文化問(wèn)題的重視。因?yàn)樵诤挝闹?,何先生聲稱:他那個(gè)有關(guān)泛演化邏輯的著作成了何先生一切著作中最重要的著作之一了(何著頁(yè)11)。
何先生的邏輯是不是非常重要的邏輯創(chuàng)造呢?我先做出兩個(gè)簡(jiǎn)要的評(píng)述,在本文第三部分再討論何氏邏輯的核心部分:概念歷史類集。
第一個(gè)評(píng)論,泛演化邏輯只有哲學(xué)思辨的根,沒(méi)有邏輯的根和葉。
現(xiàn)時(shí)代的知識(shí)體系,其專業(yè)門類紛繁復(fù)雜,對(duì)從事專業(yè)研究的人員,有較高的專業(yè)素質(zhì)要求?,F(xiàn)時(shí)代的任何一個(gè)學(xué)科分支,都有其圈內(nèi)的游戲規(guī)則,首先得遵守規(guī)則,然后才有可能突破規(guī)則。我想在這一點(diǎn)上,何新不可能是例外,雖然任何規(guī)則都可能有例外。
但遺憾的是,泛演化邏輯只有主流哲學(xué)和主流思辨的根,除了亞里士多德和黑格爾,卻沒(méi)有任何邏輯學(xué)者的工作。它既和主流的邏輯無(wú)關(guān),和我國(guó)的非主流邏輯研究也扯不上關(guān)系。在何先生眼里,只有哲學(xué)家和革命家是邏輯學(xué)家,只有錢學(xué)森先生是邏輯學(xué)家,其它的人都不是。而黑格爾的邏輯體系呢?除了馬克思、恩格斯和列寧三個(gè)人重視并且理解之外,只有何先生重視并且理解,再也沒(méi)有其它人重視和理解。這實(shí)在是對(duì)中國(guó)邏輯學(xué)界的一個(gè)歪曲,在中國(guó)邏輯學(xué)界,既有何先生所說(shuō)的主流邏輯研究學(xué)者,現(xiàn)代邏輯的研究團(tuán)體,辯證邏輯研究也是邏輯學(xué)界中重要的研究項(xiàng)目之一,也有一個(gè)專門的辯證邏輯研究團(tuán)體。
談及現(xiàn)代邏輯的歷史、現(xiàn)狀和,則何文的態(tài)度簡(jiǎn)直是認(rèn)為不值一提,現(xiàn)代邏輯幾乎全是陷入死胡同似的東西。用何先生的話:現(xiàn)代邏輯正在變成一種及其主觀和非常形式主義的東西,一個(gè)及其空洞的東西(何著頁(yè)117)。相信進(jìn)化的何先生出此之言,進(jìn)化大概就只能理解成退化了。
邏輯是一門很專門的學(xué)科,外行可以領(lǐng)導(dǎo)內(nèi)行,但外行不能代替內(nèi)行,外行也很難代替內(nèi)行。哲學(xué)家或者革命家從圈外層面上來(lái)看待一個(gè)學(xué)科,這和學(xué)科本身的發(fā)展是一種非常弱勢(shì)的聯(lián)系。權(quán)威是有語(yǔ)境限制的,權(quán)威的論斷不能代替學(xué)科本身的發(fā)展。邏輯有其自身的發(fā)展契機(jī)和進(jìn)化歷程。某個(gè)政治家的青睞,某個(gè)財(cái)團(tuán)的資助,某個(gè)圈外權(quán)威人士的首肯,不能改變學(xué)科本身的發(fā)展軌跡。在二十世紀(jì)的整個(gè)一百年,邏輯學(xué)科枝葉繁茂,生成了一個(gè)巨大的知識(shí)群落,何先生視而不見(jiàn),也未看到作甚么研究。在政治、經(jīng)濟(jì)、文化等熱鬧領(lǐng)域玩膩了之后,換一個(gè)游戲場(chǎng)所,看一點(diǎn)黑格爾的哲學(xué)著作,就擺起開(kāi)山祖師的架勢(shì)。幾十年前這尚有可能,在如今的普適大眾傳媒不再,整個(gè)市場(chǎng)細(xì)分,整個(gè)知識(shí)門類細(xì)分的條件下,無(wú)異于天外夢(mèng)想。
第二個(gè)評(píng)論,現(xiàn)代邏輯并不排斥黑格爾邏輯。
何文說(shuō):由于羅素、弗雷格、維特根斯坦等近代邏輯學(xué)家根本搞不懂黑格爾邏輯,反而由于無(wú)知而對(duì)黑格爾持輕視的態(tài)度,因此他們對(duì)黑格爾的動(dòng)態(tài)邏輯原理可以說(shuō)一無(wú)所知(何著頁(yè)117)。
簡(jiǎn)單地把現(xiàn)代邏輯學(xué)者都看成是黑格爾邏輯的反對(duì)者是不公道的。在邏輯實(shí)證主義的初期,黑格爾哲學(xué)(包括他的邏輯)因?yàn)槠渌急嫘再|(zhì)而成為科學(xué)拒斥的對(duì)象。但現(xiàn)代邏輯發(fā)展到二十世紀(jì)的50年代,情況發(fā)生了很大的變化,辯證邏輯也開(kāi)始受到現(xiàn)代邏輯學(xué)者的關(guān)注。當(dāng)然,伴隨著這種關(guān)注,仍然存在著重大的爭(zhēng)論。
辯證邏輯是源于西方近代哲學(xué),特別是黑格爾辯證法體系的產(chǎn)物,作為不同于主流經(jīng)典模式的一種邏輯,它是值得我們關(guān)注的。但是辯證邏輯更適合于看作是哲學(xué)邏輯的一個(gè)分支方向,看作是數(shù)理邏輯在非經(jīng)典邏輯方向上的一個(gè)發(fā)展。如同道義邏輯是哲學(xué)邏輯的一個(gè)分支,因此道義邏輯實(shí)際上就是演繹邏輯的一個(gè)延續(xù)一樣,辯證邏輯也應(yīng)該看作是演繹邏輯的一個(gè)延續(xù)。由波蘭學(xué)者盧卡西維奇,雅斯科夫斯基和巴西學(xué)者科斯塔開(kāi)創(chuàng)的次協(xié)調(diào)邏輯研究,體現(xiàn)的就是對(duì)辯證邏輯的一種研究。
這樣一種邏輯,芬蘭邏輯學(xué)家馮賴特作過(guò)頗帶辯證法意味的一個(gè)估計(jì)。一方面,馮賴特表示,這一邏輯是二十世紀(jì)下半葉最有意義的發(fā)展之一(桂起權(quán)等著《次協(xié)調(diào)邏輯與人工智能》,武漢大學(xué)出版社,2002年版,前言第3頁(yè));另一方面,馮賴特又表示:
在過(guò)去的幾十年中,在邏輯的非經(jīng)典方向的發(fā)展中,發(fā)現(xiàn)了一個(gè)出乎意料的、但我認(rèn)為是不可靠的同盟軍,那就是源自于黑格爾的辯證邏輯。我們可以希望的最好結(jié)果是,用次協(xié)調(diào)邏輯和相關(guān)的變異邏輯的形式工具對(duì)辯證法的處理,能夠有助于闡明它的那些不大適合理性理解的特征。(馮賴特著,陳波等譯:《知識(shí)之樹(shù)》,三聯(lián)書(shū)店,2003年版,第166頁(yè))
我并不完全同意馮賴特的看法,我對(duì)辯證邏輯承認(rèn)矛盾的新奇思想是取支持態(tài)度的。辯證邏輯的一些思想是對(duì)經(jīng)典邏輯的某種顛覆,含有野性思維的成分。而正是野性,才可能是理論創(chuàng)新的原動(dòng)力(同桂起權(quán)等著,第10頁(yè))。但是何先生對(duì)待辯證邏輯、對(duì)待現(xiàn)代邏輯的態(tài)度,卻讓我頗存疑慮。在學(xué)術(shù)上,誰(shuí)具有獨(dú)斷論的色彩,把何先生的話語(yǔ)和上述馮賴特的引語(yǔ)相對(duì)照,結(jié)論就是一目了然的了。我們關(guān)于邏輯的討論最好是不要討論了,最好的思想和最革命的理論已經(jīng)創(chuàng)造出來(lái),邏輯本體論的基礎(chǔ)已經(jīng)建立起來(lái),那里還需要我們?nèi)プ瞿切o(wú)聊至極的學(xué)術(shù)討論。
三告別大話時(shí)代:普遍性訴求的衰落
何先生邏輯的核心內(nèi)容,是其歷史概念類集,以馬概念為例:
集合A:馬∣白馬-黑馬-紅馬∣,
集合B:馬∣始祖馬→新馬→真馬∣
集合A是馬的空間分類,是非歷史的。集合B則是描述動(dòng)物進(jìn)化過(guò)程的一個(gè)歷史概念類集。由這個(gè)類集的理解,概念的邏輯關(guān)系依然參照亞里士多德的詞項(xiàng)間關(guān)系,但呈現(xiàn)黑格爾的由簡(jiǎn)單到復(fù)雜的進(jìn)化:同一關(guān)系→矛盾關(guān)系→交叉關(guān)系→對(duì)立及種屬關(guān)系(何著頁(yè)36)。
概念真是這樣一個(gè)進(jìn)化過(guò)程嗎?邏輯也相信直覺(jué),但這里的概念進(jìn)化過(guò)程,讓人很難直覺(jué)地接受。一個(gè)更容易產(chǎn)生的概念間關(guān)系的直覺(jué),并不是何先生的概念的思辨想象,最大的可能是基于基因的生物鏈聯(lián)想。何先生先有一般關(guān)系的想象,再找一些并不得體的例子來(lái)論證自己的想象,無(wú)非是共相在先,例證在后的先驗(yàn)觀,不知道其中的創(chuàng)新之處何在。看看在現(xiàn)代經(jīng)典邏輯基礎(chǔ)上建立的模態(tài)邏輯,看看集合論,看看今天橫亙于邏輯和數(shù)學(xué)之間的關(guān)系語(yǔ)義學(xué)!你就會(huì)感覺(jué)到,和主流的邏輯學(xué)家和數(shù)學(xué)家在其中所討論的關(guān)系結(jié)構(gòu)和關(guān)系性質(zhì)相比,所謂泛演化邏輯的歷史概念類集,是一個(gè)多么小兒科的東西。類集概念分析實(shí)際上僅僅只是對(duì)亞里士多德詞項(xiàng)外延間關(guān)系的笨拙模仿,毫無(wú)任何現(xiàn)代感可言。很難理解,錢學(xué)森這位科學(xué)家為甚么把這樣的常識(shí)性理解看成是一個(gè)創(chuàng)造,并把這個(gè)概念類集的簡(jiǎn)單圖示美譽(yù)為一個(gè)專業(yè)的「何新樹(shù)」的稱謂。現(xiàn)代模態(tài)邏輯早就在研究樹(shù)結(jié)構(gòu),還有其它的結(jié)構(gòu)方式。何先生對(duì)樹(shù)的小兒科理解,哪里能夠和現(xiàn)代邏輯學(xué)家對(duì)樹(shù)和其它關(guān)系結(jié)構(gòu)的研究相比(見(jiàn)劍橋大學(xué)出版社,2001年版,《模態(tài)邏輯》,第一章基本概念部分)。
即使這個(gè)邏輯構(gòu)想真是一個(gè)合理的構(gòu)想,那也用不著抬到具有革命性轉(zhuǎn)折意義的高度。革命在今天已經(jīng)不是一個(gè)時(shí)髦的詞匯,也許用不著革命同樣可以實(shí)現(xiàn)進(jìn)化。而夸張說(shuō)泛演化邏輯是邏輯的邏輯,一種真正意義上的元邏輯,這不過(guò)是普遍性訴求在何文中的回光返照。今天的時(shí)代,是告別大話的時(shí)代,普遍性訴求正在衰落。即使是經(jīng)濟(jì)的全球化趨勢(shì),也無(wú)法去除各個(gè)社會(huì)群體、各種社會(huì)知識(shí)的個(gè)性特征和語(yǔ)境特征。
人類知識(shí)體系,從古希臘一直到現(xiàn)在,似乎都假定了至少有一個(gè)被認(rèn)為在理論上無(wú)懈可擊、在實(shí)踐上歷久長(zhǎng)新,因此非??赡苁侨f(wàn)世不移的普遍原則,它被當(dāng)作是知識(shí)體系的基石。通常這類據(jù)信為「絕對(duì)無(wú)疑的」普遍原則,被人們稱為「金規(guī)則」。而且,那些在歷史中各自獨(dú)立地自發(fā)生成并且以不同方式表述出來(lái)的金規(guī)則,似乎含義上也「都驚人地相似」,其邏輯語(yǔ)義也似乎是完全一致的。這種一致性也就表明,金規(guī)則應(yīng)該是放之四海而皆準(zhǔn)的普遍必然原則。
然而現(xiàn)代社會(huì)的實(shí)踐活動(dòng)表明,所謂普遍必然的原則,現(xiàn)在到處都在面臨挑戰(zhàn)。就是在作為理性標(biāo)準(zhǔn)的邏輯和數(shù)學(xué)領(lǐng)域,也并不存在一個(gè)理論上無(wú)懈可擊,在實(shí)踐上歷久常新的萬(wàn)世不移法則。在美國(guó)學(xué)者克萊因的著作《數(shù)學(xué)─確定性的喪失》一書(shū)中,克萊因以令人信服的證據(jù)表明,數(shù)學(xué)之確定性、絕對(duì)無(wú)疑性并不存在,邏輯也同樣如此。1930年哥德?tīng)柕闹ɡ砑仁菍?duì)數(shù)學(xué)提出的質(zhì)疑,也是對(duì)邏輯學(xué)提出的質(zhì)疑。正是哥德?tīng)柕倪@個(gè)定理引起了數(shù)學(xué)和邏輯的巨變,并且使數(shù)學(xué)和邏輯隨后的發(fā)展帶來(lái)更大的麻煩。但是,這些麻煩并沒(méi)有消滅數(shù)學(xué)和邏輯,而是給數(shù)學(xué)和邏輯增加了更多可能的結(jié)構(gòu),同時(shí)把數(shù)學(xué)家和邏輯學(xué)家分成了更多的不同派別。用美國(guó)數(shù)學(xué)家克萊因在《數(shù)學(xué)─確定性的喪失》一書(shū)中的表述:
數(shù)學(xué)的當(dāng)前困境是有許多種數(shù)學(xué)而不是只有一種,而且由于種種原因每一種都無(wú)法使對(duì)立學(xué)派滿意。顯然,普遍接受的概念、正確無(wú)誤的推理體系──1800年時(shí)的尊貴數(shù)學(xué)和那時(shí)人的自豪──現(xiàn)在都成了癡心妄想。與未來(lái)數(shù)學(xué)相關(guān)的不確定性和可疑,取代了過(guò)去的確定性和自滿(克萊因著,李宏魁譯:《數(shù)學(xué)-確定性的喪失》,湖南出版社,2000年版,第7頁(yè))。
何文建立起來(lái)的所謂泛演化邏輯,充其量不過(guò)是邏輯學(xué)探索長(zhǎng)河中的一個(gè)小小支流。企圖把這個(gè)思辨探索的粗糙猜想看成是某種普遍邏輯法則,甚至是法則的法則,這只是一種知識(shí)的迷信和盲目的自大。數(shù)學(xué)原則和邏輯原則通過(guò)我們的直覺(jué)就有可能被我們所接受,但仍然是有可能受到質(zhì)疑的。就此而言,泛演化邏輯普世化的知識(shí)訴求,在今天這樣一個(gè)永不停息地推陳出新的現(xiàn)代社會(huì)中,在競(jìng)爭(zhēng)和博弈幾乎存在于一切現(xiàn)存領(lǐng)域的社會(huì)中,也許永遠(yuǎn)只能是我們的主觀想象,而不能是生活世界的現(xiàn)實(shí)。四邏輯走進(jìn)死胡同了嗎?
何文的無(wú)知主要不在其泛演化邏輯,他至少看了很多黑格爾的書(shū)。在其《泛演化邏輯引論》一書(shū)中,粗略而且保守地估計(jì)一下,其中討論黑格爾思想和著作的篇幅占到了全書(shū)的四分之三以上,討論現(xiàn)代邏輯的章節(jié)卻一個(gè)也沒(méi)有。
所以,他就有資格說(shuō)全世界只有他真正地懂得了黑格爾。就是恩格斯也「并沒(méi)有徹悟黑格爾的思辨邏輯,因此他所謂『辯證邏輯』體系從未建立成功」(何著頁(yè)6)。
所以,他也就有資格初生牛犢不怕虎,反正這虎是厲害還是不厲害他全然不知,冒犯了也可以不負(fù)任何責(zé)任,頂多就是被老虎咬傷吃掉而已。但誰(shuí)能吃掉一個(gè)思辨的天才,一個(gè)雄心勃勃的知識(shí)界英雄?
看黑格爾的書(shū)并不意味著你就懂現(xiàn)代邏輯,現(xiàn)代邏輯和黑格爾的邏輯是完全不同的的邏輯。何先生把現(xiàn)代形式邏輯獨(dú)斷地、武斷地認(rèn)定為:「現(xiàn)代邏輯在形式化道路上愈走愈遠(yuǎn),現(xiàn)在已經(jīng)陷入了死胡同」(何著頁(yè)117),這是很不負(fù)責(zé)任的說(shuō)法,實(shí)際的情形正好相反。僅以我所關(guān)注的模態(tài)邏輯而言,這一新邏輯正獲得其中的一個(gè)極好機(jī)遇。這個(gè)說(shuō)法可不是信口開(kāi)河,僅憑思辨和懂一點(diǎn)黑格爾思辨邏輯就能獲得的。
模態(tài)邏輯是二十世紀(jì)50年代以來(lái)最富成長(zhǎng)性的一門邏輯分支。路易斯在20年代針對(duì)實(shí)質(zhì)蘊(yùn)涵提出嚴(yán)格蘊(yùn)涵的概念,到30年代,由路易斯創(chuàng)立了最早的模態(tài)邏輯系統(tǒng)。自50年代以來(lái),模態(tài)邏輯在語(yǔ)形方向、代數(shù)方向、模型論方向以及道義、可證性、多值、直覺(jué)主義、認(rèn)知等等領(lǐng)域發(fā)展迅速。一直到今天還繼續(xù)保持向許多領(lǐng)域滲透和擴(kuò)張的強(qiáng)勁勢(shì)頭。模態(tài)邏輯既在人文社科領(lǐng)域具有形上思辨的啟示功能,例如在倫理道德、法制建構(gòu)、博弈領(lǐng)域;在和工程科學(xué)領(lǐng)域,特別是在機(jī)和人工智能領(lǐng)域也顯示出良好的前景。今天,模態(tài)邏輯幾乎是我國(guó)所有邏輯學(xué)生課程中的必修課程。近二十年來(lái),國(guó)家社科基金和部人文社科規(guī)劃都對(duì)模態(tài)邏輯的研究給與了支持。這些錢絕不是白花的,它為邏輯學(xué)研究和世界接軌,并創(chuàng)造出新的邏輯知識(shí)打下了良好的基礎(chǔ)。
邏輯學(xué)的當(dāng)展,一個(gè)頗富啟示力的說(shuō)法是:邏輯科學(xué)在今天的社會(huì)和社會(huì)發(fā)展過(guò)程中開(kāi)始展現(xiàn)出極好的發(fā)展機(jī)遇。邏輯和計(jì)算機(jī)科學(xué)之間的關(guān)系,非常類似于數(shù)學(xué)應(yīng)用于物和工程學(xué)的關(guān)系;如同數(shù)學(xué)是自然科學(xué)的工具一樣,邏輯在計(jì)算機(jī)科學(xué)中的工具作用有愈來(lái)愈明顯的體現(xiàn)。而邏輯科學(xué)的這種工具作用,主要體現(xiàn)在模態(tài)邏輯的當(dāng)展中。認(rèn)知邏輯、道義邏輯、可證性邏輯這樣一些模態(tài)邏輯分支在知識(shí)表示技術(shù)、知識(shí)專家系統(tǒng)、的分布和交換系統(tǒng)、網(wǎng)絡(luò)協(xié)議制定等等領(lǐng)域都日漸顯示出其不可替代的作用。
現(xiàn)代邏輯沒(méi)有走向末路,走向末路的只能是那些標(biāo)榜擁有歷久常新、萬(wàn)世不移金規(guī)則的所謂絕對(duì)理念,絕對(duì)知識(shí)。我想,泛演化邏輯,如果是何先生著作中的這樣一個(gè)狀態(tài),它的發(fā)展趨勢(shì),就只可能是一條走不通的胡同。