[提 要] 本文根據(jù)維特根斯坦的前期著作《邏輯哲學(xué)論》來(lái)分析維特根斯坦對(duì)現(xiàn)代邏輯哲學(xué)的一些主要貢獻(xiàn)，并以數(shù)理邏輯例如重言式等來(lái)對(duì)應(yīng)計(jì)算機(jī)上的電路設(shè)計(jì)，從而以具體實(shí)例指出了計(jì)算機(jī)其實(shí)就是按照數(shù)理邏輯來(lái)設(shè)計(jì)和制造的，也就是數(shù)理邏輯的實(shí)在化#65377;

[關(guān)鍵詞]數(shù)理邏輯;維特根斯坦;計(jì)算機(jī)

[作者簡(jiǎn)介] 郭 斌(1967—)，女，江西省社會(huì)科學(xué)院哲學(xué)所副研究員#65377;(江西南昌 330077)

一直以來(lái)，《邏輯哲學(xué)論》都是維特根斯坦的前期代表作#65377;相比于后期思想，維特根斯坦的前期思想較為哲學(xué)界所冷落#65377;不過(guò)，筆者以為，雖然維特根斯坦的前期哲學(xué)基本上屬于機(jī)械唯物論的范疇，但它對(duì)邏輯思想以及對(duì)語(yǔ)言的論述頗為精當(dāng)?shù)胤从沉擞?jì)算機(jī)世界中的一些情況，因此，仍然有值得研究的價(jià)值#65377;

一#65380;關(guān)于重言式

維特根斯坦在現(xiàn)代邏輯上的一個(gè)重要貢獻(xiàn)就是他第一個(gè)設(shè)計(jì)出真值表這種我們目前經(jīng)常在邏輯中使用的方式，同時(shí)他還對(duì)重言式進(jìn)行了深入的研究#65377;重言式就是我們現(xiàn)在俗稱(chēng)的“永真式”#65377;這種永真式不論其中的元素是真還是假，最后得到的結(jié)果都是真值#65377;它與矛盾式是正相反對(duì)的#65377;

維特根斯坦認(rèn)為，重言式和矛盾式的特點(diǎn)就在于:

命題顯示它們所說(shuō)的東西，重言式和矛盾式則顯示它們什么也沒(méi)有說(shuō)#65377;[1](P59)

也就是說(shuō)，不論是重言式還是矛盾式，它們都是缺乏意義的:

重言式和矛盾式是缺少意義的#65377;[2](P59)

之所以是缺少意義，是因?yàn)?

命題顯示它們所說(shuō)的東西，重言式和矛盾式則顯示它們什么也沒(méi)有說(shuō)#65377;

重言式?jīng)]有真值條件，因?yàn)樗鼰o(wú)條件地為真;而矛盾式則不在任何條件下為真#65377;[3](P59)

維特根斯坦對(duì)此舉了一個(gè)實(shí)例:

(例如，當(dāng)我知道或者下著雨或者沒(méi)有下雨時(shí)，關(guān)于天氣我就什么也不知道#65377;)[4](P59)

那么，我們要問(wèn)的一個(gè)問(wèn)題就是:屬于現(xiàn)代邏輯中的重言式在計(jì)算機(jī)中又有什么意義呢?在這里可以解釋得清楚的是，同一律肯定是重言式的一種，重言式也一定可以轉(zhuǎn)化為同一律#65377;在計(jì)算機(jī)中的電路設(shè)計(jì)中，不管是多么復(fù)雜的電路最后都必須轉(zhuǎn)化為同一律#65377;也就是說(shuō)，從電路上來(lái)說(shuō)，我們知道，一般的插頭至少都有兩根線(xiàn)，一根進(jìn)路，一根回路#65377;如果進(jìn)路開(kāi)了，那么回路的線(xiàn)也應(yīng)該處于開(kāi)的狀態(tài)，這樣才得通電#65377;如果我們把1置于開(kāi)的狀態(tài)，那么在電腦上的電路元件的狀態(tài)就相當(dāng)于1=1=1=……=1，這樣電路一直暢通著，電流才得從回路回去#65377;如果是矛盾式，一頭處于開(kāi)，另一邊處于關(guān)的狀態(tài)，就會(huì)不導(dǎo)電，因而計(jì)算機(jī)無(wú)論如何都不能開(kāi)機(jī)通電，或者是造成短路而燒壞機(jī)器#65377;

二#65380;語(yǔ)言(或邏輯)圖像論

維特根斯坦的邏輯哲學(xué)中有一個(gè)非常突出的特色，就在于他用圖像來(lái)解釋邏輯和語(yǔ)言，現(xiàn)在人們將之稱(chēng)為語(yǔ)言圖像論#65377;維特根斯坦首先把語(yǔ)言所描述的世界比作一種空間:

每個(gè)事物都像是在一個(gè)可能事態(tài)的空間里#65377;我可以設(shè)想這個(gè)空間是空的，但是我不能設(shè)想沒(méi)有這空間的事物#65377;[5](P26)

在這種空間中最基本的存在就是命題:

一個(gè)命題規(guī)定邏輯空間中的一個(gè)位置#65377;命題的各組成部分的存在——有意義的命題的存在，即保證了這種邏輯位置的存在#65377;[6](P40)

有了邏輯空間，才好把邏輯或語(yǔ)言作出圖像式的比喻:

每一個(gè)圖像同時(shí)也是一個(gè)邏輯圖像#65377;(另一方面，例如，并非每一個(gè)圖像都是一個(gè)空間圖像#65377;)[7](P30)

邏輯圖像中的最小原子是由對(duì)象組成的:

在圖像中圖像的要素代表對(duì)象#65377;[81](P29)

那么，由對(duì)象與命題組合起來(lái)的圖像給我們勾勒出怎樣的一幅圖像呢:

包容一切而反映著世界的邏輯之所以能夠運(yùn)用這種特別的鉤子和裝置，是因?yàn)樗鼈內(nèi)急舜私Y(jié)合著成為一張無(wú)比精細(xì)的網(wǎng)——一面巨大的鏡子#65377;[9](P76)

那么，這種網(wǎng)又是什么樣的呢?維特根斯坦以牛頓力學(xué)舉例道:

牛頓力學(xué)給世界的描述提供了一種統(tǒng)一的形式#65377;讓我們?cè)O(shè)想一個(gè)上面有著一些不規(guī)則黑斑的白色表面#65377;于是我們可以說(shuō)，不管這些斑塊構(gòu)成一種什么圖像，只要用一張足夠精細(xì)的方格網(wǎng)覆蓋住這個(gè)表面，然后說(shuō)出每一個(gè)方格是黑的還是白的，我就總是能夠使對(duì)這個(gè)表面的描述達(dá)到任意程度的近似#65377;用這個(gè)辦法我就給這個(gè)表面的描述提供了一種統(tǒng)一的形式#65377;這種形式是任意選擇的，因?yàn)槲铱梢杂靡粡埲切胃褡踊蛘吡切胃褡拥木W(wǎng)來(lái)達(dá)到同樣的效果#65377;也許用三角形格子的網(wǎng)會(huì)使描述更為簡(jiǎn)單:也就是說(shuō)，用較稀的三角形網(wǎng)格也許比用較密的四方形網(wǎng)格能夠更精確地描述這個(gè)表面(或者相反)，如此等等#65377;不同的網(wǎng)相當(dāng)于不同的描述世界的系統(tǒng)#65377;力學(xué)規(guī)定了一種描述世界的形式:它指出，所有描述世界的命題都必須以一定的方式從若干給定的命題——力學(xué)公理而得到#65377;這樣它就提供了建筑科學(xué)大廈的磚塊，而且指出:不管你想建筑怎樣的大廈，你總得必須使用而且只能使用這些磚塊#65377;[10](P98)

在這里，維特根斯坦一定是意識(shí)到了牛頓力學(xué)中所依據(jù)的不可分割的絕對(duì)時(shí)間和空間的原子實(shí)際上是可以轉(zhuǎn)化為邏輯原子的#65377;但這些都是一種比喻#65377;也就是說(shuō)，在現(xiàn)實(shí)的經(jīng)驗(yàn)生活中，根本不存在著這些東西#65377;這種東西只能是作為背景而起作用，或者用一個(gè)哲學(xué)上的術(shù)語(yǔ)，就是本體在起著作用#65377;那么，這種本體的作用又是什么呢?維特根斯坦又作了一個(gè)比喻:

邏輯命題描述世界的腳手架，或者不如說(shuō)，它們展示世界的腳手架，它們不‘論及’什么#65377;[11](P93)

然而，維特根斯坦認(rèn)為，這種邏輯的梯子或腳手架也是無(wú)意義的:

我的命題應(yīng)當(dāng)是以如下方式來(lái)起闡明作用的:任何理解我的人，當(dāng)他用這些命題為梯級(jí)而超越了它們時(shí)，就會(huì)終于認(rèn)識(shí)到它們是無(wú)意義的#65377;(可以說(shuō)，在登上高處之后他必須把梯子扔掉#65377;)[12](P105)

我們應(yīng)該怎樣來(lái)理解維特根斯坦對(duì)邏輯“腳手架”的比喻和“邏輯網(wǎng)狀”圖像的比喻?筆者以為，不論是維特根斯坦的邏輯“腳手架”還是邏輯網(wǎng)狀的圖像說(shuō)，都十分酷似圖靈以方格來(lái)代表的邏輯原子，而這也說(shuō)明了數(shù)理邏輯實(shí)際上就是以牛頓力學(xué)的絕對(duì)時(shí)空觀(guān)作為本體或背景因素的#65377;當(dāng)然，這種絕對(duì)時(shí)空觀(guān)是沒(méi)有意義的，也就是相當(dāng)于圖靈的空白方格，因?yàn)樗囊饬x必須在以后由人們把數(shù)據(jù)輸入進(jìn)去才能得到#65377;而這種毫無(wú)意義只是一種純機(jī)械的狀態(tài):

邏輯中的證明只是一種使得復(fù)雜的情況下易于辨識(shí)重言式的機(jī)械的便利方法#65377;[13](P94)

同時(shí)，這也說(shuō)明，這種邏輯“腳手架”只是一種處理數(shù)據(jù)的網(wǎng)絡(luò)或篩子#65377;正是通過(guò)這道巨大的精細(xì)的網(wǎng)狀篩子的過(guò)濾，我們輸入的數(shù)據(jù)才能為計(jì)算機(jī)所接受#65377;而維特根斯坦所說(shuō)的要把梯子扔掉，其實(shí)我們想一想計(jì)算機(jī)上的分層結(jié)構(gòu)，使得最接近上一層具體應(yīng)用的使用者不必對(duì)計(jì)算機(jī)的下一層結(jié)構(gòu)十分清楚#65377;也就是說(shuō)，我們?cè)谂渲煤昧讼到y(tǒng)裝置之后，就可以不再去管這些系統(tǒng)裝置，不再去關(guān)心它了，也就相當(dāng)于扔掉梯子了#65377;除非下一層的系統(tǒng)出了故障#65377;

邏輯圖像是不是實(shí)在的?維特根斯坦的回答是:是的:

圖像是實(shí)在的一種模型#65377;[14](P29)

邏輯圖像可以圖示世界#65377;[15](P30)

我們從維特根斯坦表述出來(lái)的邏輯圖像，能夠看出什么來(lái)呢?維特根斯坦的邏輯圖像，與其說(shuō)是邏輯的，不如說(shuō)是類(lèi)似于我們現(xiàn)在所說(shuō)的數(shù)學(xué)模型#65377;而維特根斯坦本人也具有一些初步的邏輯主義思想，他說(shuō):

數(shù)學(xué)是一種邏輯的方法#65377;[16](P96)

也就是說(shuō)，維特根斯坦本人所描繪的這幅邏輯圖像，實(shí)際上就是由數(shù)學(xué)模型構(gòu)造起來(lái)的#65377;事實(shí)上，維特根斯坦的邏輯或語(yǔ)言圖像論是一種以反映論為基礎(chǔ)的唯物主義路線(xiàn)，它把我們的語(yǔ)言與實(shí)在看作是一一對(duì)應(yīng)的，是與實(shí)在完全一致的，這樣，就取消了邏輯與語(yǔ)言的自身發(fā)展的規(guī)律性，而變成實(shí)驗(yàn)科學(xué)的附庸#65377;

那么現(xiàn)在有沒(méi)有維特根斯坦所說(shuō)的邏輯圖像呢?當(dāng)然有#65377;現(xiàn)代的計(jì)算機(jī)就是這么一種邏輯圖像機(jī)#65377;不管怎么說(shuō)，計(jì)算機(jī)是一種按照數(shù)理邏輯思想即把演繹變成一種計(jì)算的機(jī)器#65377;我們可以把數(shù)學(xué)模型作為它的內(nèi)在結(jié)構(gòu)，在顯示器上將這種按數(shù)學(xué)模型步驟演算出來(lái)的結(jié)果顯示出來(lái)#65377;這種結(jié)果可以是數(shù)據(jù)性的符號(hào)，也可以是圖像性的#65377;這實(shí)際上就是把數(shù)理邏輯思想變成一種可視圖像，因此，可以說(shuō)，維特根斯坦所說(shuō)的邏輯圖像就是現(xiàn)代計(jì)算機(jī)上所展示出來(lái)的現(xiàn)象，因此，他所說(shuō)的邏輯圖像所顯示的一張精細(xì)的無(wú)比巨大的鏡子，其實(shí)就是現(xiàn)在顯現(xiàn)在計(jì)算機(jī)或網(wǎng)絡(luò)上的數(shù)字世界#65377;不過(guò)，有一點(diǎn)維特根斯坦是過(guò)于保守了，這就是他要求這種圖像與實(shí)在有一一對(duì)應(yīng)性，例如他說(shuō):

圖示形式是這種可能性，即事物之間的聯(lián)系方式和圖像要素之間的聯(lián)系方式是相同的#65377;[17](P29)

但事實(shí)上，目前計(jì)算機(jī)上的圖像與實(shí)在并不一定對(duì)應(yīng)#65377;當(dāng)然，有要求與實(shí)在對(duì)應(yīng)的，這表現(xiàn)在科學(xué)演算及實(shí)驗(yàn)?zāi)M以及工程設(shè)計(jì)乃至于臨境和遙在控制上#65377;在科學(xué)演算及實(shí)驗(yàn)?zāi)M以及工程設(shè)計(jì)乃至于臨境和遙在控制上，在這些情況中，我們可以說(shuō)計(jì)算機(jī)上所展示的就是世界的投影，或者如維特根斯坦所說(shuō):

邏輯不是一種學(xué)說(shuō)，而是世界的一個(gè)映像#65377;[18](P95)

而計(jì)算機(jī)當(dāng)然就相當(dāng)于數(shù)理邏輯機(jī)了#65377;但也有很多時(shí)候我們用計(jì)算機(jī)進(jìn)行電影動(dòng)畫(huà)設(shè)計(jì)等等虛擬設(shè)計(jì)，這就不一定保證計(jì)算機(jī)上所演示的情形與實(shí)在一一對(duì)應(yīng)了#65377;當(dāng)然，在維特根斯坦寫(xiě)作《邏輯哲學(xué)論》的那個(gè)時(shí)代，也就是第一次世界大戰(zhàn)結(jié)束前后，那時(shí)計(jì)算機(jī)還沒(méi)有誕生，也就不能過(guò)于苛求維特根斯坦了#65377;不過(guò)，這里還要指出的是，現(xiàn)在計(jì)算機(jī)上的最基本的原子應(yīng)該是0和1，既不是維特根斯坦的事實(shí)，也不是羅素的函項(xiàng)#65377;不過(guò)到了后來(lái)，維特根斯坦完全違背了他自己所提出的語(yǔ)言圖像論，而轉(zhuǎn)向?qū)φZ(yǔ)言圖像論的批判了，這些當(dāng)然是后話(huà)了#65377;

[參考文獻(xiàn)]

[1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18]維特根斯坦.邏輯哲學(xué)論[M].北京:商務(wù)印書(shū)館，1996.

[責(zé)任編輯:堯水根]