題    目：  論數(shù)字生命的實(shí)在論地位
作    者： 李建會(huì)（北京師范大學(xué)哲學(xué)系 北京100875）
日    期： 2004.8.5

    20世紀(jì)的計(jì)算革命導(dǎo)致了自伽利略以來又一場新的方法論革命。這場方法論革命的產(chǎn)物之一就是計(jì)算機(jī)和生物學(xué)交叉的前沿學(xué)科——人工生命的誕生。作為一門學(xué)科，人工生命以計(jì)算機(jī)為工具，力圖在計(jì)算機(jī)或現(xiàn)實(shí)世界中創(chuàng)造出具有生命特征的人工實(shí)體——人工生命。人工生命主要有兩種形式：虛擬人工生命（也叫數(shù)字版本的人工生命）和現(xiàn)實(shí)人工生命（又叫機(jī)器人版本的人工生命）。數(shù)字人工生命主要采取軟件的形式在計(jì)算機(jī)中創(chuàng)造人工生命；機(jī)器人人工生命主要采取硬件的方式在現(xiàn)實(shí)世界中創(chuàng)造展示生命特征的人工生命。對于機(jī)器人版本的人工生命的實(shí)在論地位問題，人們并沒有什么疑問。然而，對于數(shù)字人工生命的實(shí)在論地位問題，人們的認(rèn)識(shí)并不一致。它們是真實(shí)的生命嗎？它們的世界和我們的世界具有相同的實(shí)在論（或本體論）地位嗎？本文試圖回答這些問題并對一些反對意見進(jìn)行批判性的分析。

一、 數(shù)字生命研究的主要內(nèi)容

    數(shù)字生命的研究可以追溯到圖靈(A. Turing)和馮諾伊曼(John von Neumann)。圖靈證明生物的胚胎發(fā)育可以用計(jì)算的方法加以研究。馮諾伊曼則試圖用計(jì)算的方法描述生物自我繁殖的邏輯形式。到了20世紀(jì)70年代和80年代，隨著計(jì)算機(jī)速度的大幅度提高以及個(gè)人計(jì)算機(jī)的普及，在康韋（J. Conwey）等人有關(guān)“生命游戲”研究的基礎(chǔ)上，蘭頓(C. Langton)提出了在計(jì)算機(jī)虛擬環(huán)境中創(chuàng)造展示生命特征的人工生命的思想。1987年9月在美國圣菲研究所的支持下，蘭頓主持召開了第一屆國際人工生命研討會(huì)，這次會(huì)議宣布了一門新的計(jì)算機(jī)與生物學(xué)交叉的前沿學(xué)科的誕生。自1987年至今，包括數(shù)字生命在內(nèi)的人工生命研究得到了越來越多的計(jì)算機(jī)專家和生物學(xué)家關(guān)注，出現(xiàn)了“生物形態(tài)”、 Tierra世界、“Avida”、“阿米巴世界”等數(shù)字生命模型。其中一些模型曾是著名科學(xué)雜志《自然》和《科學(xué)》報(bào)道的熱點(diǎn)。下面我們舉兩個(gè)例子說明數(shù)字生命研究的主要內(nèi)容。

1．生物形態(tài)

    在首屆國際人工生命研討會(huì)上，著名生物學(xué)家道金斯（R. Dawkins）展示的一個(gè)被稱為“生物形態(tài)”（Biomorphs）的程序格外引人注目。生物形態(tài)從一個(gè)默認(rèn)的簡單線條畫開始，隨后產(chǎn)生若干變異了的線條。程序使這些變異出現(xiàn)在計(jì)算機(jī)屏幕上，可以使使用者看到。使用者這時(shí)扮演大自然的角色：根據(jù)自己的喜好，在屏幕上選擇最喜歡的圖畫。程序接著復(fù)制這種圖畫，并使它發(fā)生新的變異。使用者接著選擇最喜歡的圖畫使它發(fā)生新的復(fù)制和變異。多次重復(fù)上述突變和選擇過程，道金斯最后得到了許多個(gè)不相同的生物形態(tài)圖案。這些生物形態(tài)與自然界的許多生物形態(tài)有著驚人的相似性。

    在道金斯之后，皮克奧弗采用了一種新的更為簡單的方法創(chuàng)造出更令人驚異的生物形態(tài)。皮克奧弗的方法是：在一個(gè)二維的平面上選取一個(gè)初始點(diǎn)，然后規(guī)定產(chǎn)生下一個(gè)點(diǎn)的特殊的函數(shù)規(guī)則。選擇不同的初始點(diǎn)，經(jīng)過大量的迭代后，我們就會(huì)得到與真實(shí)自然界中的放射蟲等生物具有驚人相似性的計(jì)算機(jī)生物形態(tài)（詳細(xì)規(guī)則和圖形可參見卡斯蒂1998中文版：45）。

2．Tierra世界

    1990年是數(shù)字生命發(fā)展的一個(gè)不平凡的一年，美國熱帶雨林專家托馬斯?雷(Thomas Ray)編寫的Tierra（西班牙語意為地球）模型轟動(dòng)了整個(gè)人工生命界。雷宣稱，他的Tierra中的“生物”事實(shí)上就是“活的”。他把他的模型命名為“地球”，其意就在表明，人們已經(jīng)在扮演上帝，開始了第二次創(chuàng)世紀(jì)！

　雷在編寫他的模型時(shí)，與大多數(shù)數(shù)字生命的模擬研究不同，他的目標(biāo)不是直接模擬自然的生命，而是制造出完全不同于在我們周圍看得見的生命形式。

　　一般地說，生命都具有新陳代謝、復(fù)制和進(jìn)化的能力。在自然界中，生物是由有限的食物供給和有限的生存空間約束的。在Tierra中，“生物”由一系列能夠自我復(fù)制的機(jī)器代碼或程序組成，它在計(jì)算機(jī)中的復(fù)制分別受到計(jì)算機(jī)的存儲(chǔ)空間和CPU時(shí)間約束。能有效地占有內(nèi)存空間和利用CPU時(shí)間的生物體，將具有更高的適應(yīng)度，傳遞到下一代的機(jī)會(huì)就越大。

　　在Tierra中，計(jì)算機(jī)的RAM（隨機(jī)訪問存儲(chǔ)器）中有一塊專門的空間，這個(gè)空間中放置了一個(gè)“祖先有機(jī)體”，該祖先有機(jī)體根據(jù)它的匯編程序代碼中的指令開始復(fù)制對它的生存是基本的代碼。隨著有機(jī)體的數(shù)目的增加，RAM中的空間減少了，因此有機(jī)體為了自己的生存空間開始競爭。

　　為了運(yùn)行包含在有機(jī)體匯編程序代碼中的指令，有機(jī)體需要計(jì)算機(jī)中央處理器的一定的時(shí)間（CPU時(shí)間）。因?yàn)槊總€(gè)有機(jī)體應(yīng)該是一個(gè)獨(dú)立的實(shí)體，所以，每個(gè)有機(jī)體都能接近它自己私人的CPU。這一點(diǎn)在并行處理器上是很簡單的，但是，因?yàn)榇蠖鄶?shù)計(jì)算機(jī)是串行處理器，所以必須做一些折衷處理。Tierra使用的解決方法是在單個(gè)處理器上給每個(gè)有機(jī)體依次分配“一段”時(shí)間。這是任何運(yùn)行多任務(wù)操作系統(tǒng)的計(jì)算機(jī)使用的相同的方法。這些工作其實(shí)并不是真的同時(shí)運(yùn)行的，而是給每個(gè)工作分配一定的時(shí)間，在這段時(shí)間內(nèi)它進(jìn)行一定數(shù)量的工作，如果在這段時(shí)間并沒有完成這個(gè)工作，它就臨時(shí)中斷，開始運(yùn)行下一個(gè)工作。直到所有的工作運(yùn)行了一些時(shí)間后，第一個(gè)工作重新啟動(dòng)，開始新一輪的運(yùn)行。因此，在Tierra內(nèi)，某個(gè)有機(jī)體得到一段時(shí)間，在這段時(shí)間內(nèi)，它可以執(zhí)行固定數(shù)目的指令直到它變成休眠狀態(tài)，然后機(jī)會(huì)就給予了另外一個(gè)有機(jī)體。這就在模型中引入了另外一種競爭。那種在較少時(shí)間內(nèi)實(shí)現(xiàn)其功能的有機(jī)體，將處于優(yōu)勢地位，因?yàn)樗人泥従幽軌蚋斓貜?fù)制，因此它能夠在其它的有機(jī)體占有空閑的內(nèi)存空間之前占有更多的內(nèi)存空間。

　　Tierra的祖先有機(jī)體包含80個(gè)匯編程序指令，包括一個(gè)擴(kuò)展的代碼，其中有產(chǎn)生子代有機(jī)體的方法。因?yàn)槊恳粋€(gè)由匯編程序指令編碼的行動(dòng)具有一定的執(zhí)行錯(cuò)誤的概率，因此進(jìn)化是可能的。

　　為了避免快速復(fù)制的有機(jī)體快速填滿所有可用的內(nèi)存空間，Tierra包含一個(gè)“收割器”功能，以模擬自然“死亡”。一旦群體達(dá)到某一臨界水平，“收割器”就開始消滅有機(jī)體。一般情況下，有機(jī)體一出生，它就進(jìn)入收割器隊(duì)列。當(dāng)收割器功能判定到了要求有犧牲者的時(shí)候，它總是清除隊(duì)列前面的有機(jī)體。產(chǎn)生錯(cuò)誤的有機(jī)體被提到隊(duì)列的前面，而有效地完成行動(dòng)的有機(jī)體則被拉回來。

　　雷在運(yùn)行它的Tierra時(shí)吃驚地發(fā)現(xiàn)，他的電子世界的的確確生出許多“生物”。開始時(shí)只有一個(gè)祖先生物，但經(jīng)過526萬條指令的計(jì)算之后，仿佛寒武紀(jì)生物大爆發(fā)在區(qū)區(qū)數(shù)小時(shí)內(nèi)發(fā)生了。這時(shí)，在Tierra虛擬世界中游動(dòng)的是366種不同大小的生物。在運(yùn)行25.6億條指令后，1180種不同大小的生物產(chǎn)生了。在新產(chǎn)生的生物中，不但出現(xiàn)了一些寄生生物，而且也出現(xiàn)了超寄生生物（靠其它寄生者生活的寄生者），甚至超-超-寄生生物。與真實(shí)世界中的生命演化類似，Tierra生物最終產(chǎn)生了對寄生生物具有免疫能力的生物。Tierra中也演化出了一些長期進(jìn)化的特征，間斷平衡現(xiàn)象在Tierra模型中也被觀察到。另外，在Tierra世界中甚至可能演化出一些社會(huì)性行為（Ray, 1991）?？傊?，差不多自然演化過程中的所有特征，以及與地球生命相近的各類功能行為組織，全都出現(xiàn)在Tierra中。

　　雷的實(shí)驗(yàn)是限制在單個(gè)的計(jì)算機(jī)中的，由于這臺(tái)計(jì)算機(jī)的CPU和內(nèi)存規(guī)定了Tierra的邊界，因此可能產(chǎn)生的演化生物的種類受到了一定程度的限制。雷已經(jīng)提出在國際互聯(lián)網(wǎng)上建立Tierra，這樣就可以利用網(wǎng)上計(jì)算機(jī)中閑置的空間，作為Tierra資源的一部分。雷期望在這種新的條件下，他的祖先生物會(huì)演化出更多的物種和更多的存活和繁殖策略。

二、虛擬的真實(shí)性

　　前面我們提到的道金斯的生物形態(tài)，皮克奧弗的放射蟲，雷的Tierra等，都是計(jì)算機(jī)根據(jù)簡單的規(guī)則產(chǎn)生的。如果根據(jù)人們建立科學(xué)模型的一些標(biāo)準(zhǔn)，比如簡單性，清晰性，無偏見性和易操作性等來衡量，那么，“它們的完美性不容置疑。畢竟，幾乎沒有哪個(gè)規(guī)則能夠比前面皮克奧弗用來產(chǎn)生放射蟲所采用的規(guī)則更簡單、更清晰（卡斯蒂1998中文版：49）?！?根據(jù)這種完美性，我們能說它們可以作為真實(shí)世界生物體形式的一種模型嗎？問題似乎并不那么簡單。雖然這些計(jì)算機(jī)形態(tài)與我們今天在地球上看到的真實(shí)生物在某些方面非常相似，但也有很多差異。真實(shí)生物體是三維的對象，有豐富的內(nèi)部結(jié)構(gòu)，然而，生物形態(tài)僅僅是二維創(chuàng)造物，根本沒有體積。而且，生物形態(tài)實(shí)際上什么都不做，它們僅僅是數(shù)學(xué)對象。所以，當(dāng)這些計(jì)算機(jī)創(chuàng)造物面對“可信度”問題時(shí)，“無一幸免地遭到了失敗。很難使人們相信，像放射蟲的硅形式這樣一個(gè)簡單三次方程模型，與大自然用來創(chuàng)建真實(shí)世界放射蟲的規(guī)則極為相近（同上）?！?

　　但是，如果我們換一種視角，即是說，如果我們不考慮這些人工生命模型與真實(shí)世界的聯(lián)系，而是單從計(jì)算機(jī)內(nèi)部來看模型，那情況會(huì)是怎樣的呢？這時(shí)，我們會(huì)發(fā)現(xiàn)，模型本身是計(jì)算機(jī)內(nèi)部的一種符號系統(tǒng)，它們按著規(guī)定的規(guī)則在計(jì)算機(jī)內(nèi)部活動(dòng)和表現(xiàn)。以皮克奧弗的放射蟲為例，如果我們只是從計(jì)算機(jī)硅世界本身來看它，那么，它就不再是放射蟲的模型，而是一種計(jì)算機(jī)生物形態(tài)自身的定義?！霸谀莻€(gè)人工世界中，產(chǎn)生放射蟲的規(guī)則就是生命（同上書：50）?！?/P>

　　這就是說，如果我們放棄對人工生命模型與真實(shí)生命的聯(lián)系的關(guān)注，而去思考作為一個(gè)硅世界的人工生命系統(tǒng)，我們前面講到的人工生命例子，從道金斯的生物形態(tài)，一直到雷的“Tierra世界”，就都成為計(jì)算機(jī)硅世界中的“居民”，而不僅僅是現(xiàn)實(shí)生命世界的模型。這個(gè)“硅世界”中的“居民”事實(shí)上都是真實(shí)的存在。

　　很多人可能會(huì)覺得這個(gè)結(jié)論完全不可思議。但正如卡斯蒂所說，“那僅僅是一種偏見。根本沒有理由認(rèn)為，我們所熟悉的世界擁有任何享有特權(quán)的本體狀態(tài)，并且比我們用硅而不是體外創(chuàng)建的世界更加真實(shí)。如果從計(jì)算機(jī)內(nèi)部，而不是從通常的外部的觀點(diǎn)看它們的話，那么，這些計(jì)算機(jī)世界與我們自己的真實(shí)世界具有相同的真實(shí)性（卡斯蒂1998中文版：51）?！?/P>

三、數(shù)字生命實(shí)在性的理論論證

　　計(jì)算機(jī)在剛產(chǎn)生時(shí)，主要目的是為了完成工作量巨大的數(shù)值計(jì)算。然而今天我們知道，計(jì)算機(jī)不僅可以計(jì)算，而且可以創(chuàng)造；計(jì)算機(jī)不只是一個(gè)數(shù)字“搗弄機(jī)”，而且是一種創(chuàng)造新世界的工具。在計(jì)算機(jī)產(chǎn)生之前，我們被限制在一個(gè)世界中，即我們真實(shí)的地球世界。而今天，計(jì)算機(jī)的產(chǎn)生和發(fā)展已經(jīng)使我們有可能創(chuàng)建許多可供選擇的世界，人工生命世界就是這樣的世界之一。這種關(guān)于計(jì)算機(jī)的全新觀點(diǎn)不可避免地提出了一些關(guān)于實(shí)在的基本的物理學(xué)和哲學(xué)問題。拉斯穆森（Steen Rasmussen）就認(rèn)為，計(jì)算機(jī)新工具的出現(xiàn)，不僅可以使我們從新的視角提出問題，而且可以使我們從新的視角回答這些問題。他說，“我相信，我們理解生命的努力迫使我們發(fā)展一個(gè)新的關(guān)于信息、生命、實(shí)在和物理過程關(guān)系的概念（Rasmussen 1991: 768）?！崩鼓律鴩L試對數(shù)字生命的實(shí)在性問題進(jìn)行理論論證。強(qiáng)人工生命，即相信數(shù)字生命是真實(shí)的生命的支持者的思想在拉斯穆森這里得到了最鮮明的反映。

　　根據(jù)圖靈，創(chuàng)造通用的計(jì)算機(jī)是可能的。而根據(jù)蘭頓（1991）和弗里德金（E. Fredkin）（1990），物理世界支持通用的計(jì)算，物理事物的過程本身實(shí)際上也可以被看作是計(jì)算。所以，拉斯穆森得出了他的第一個(gè)邏輯前提：

公理1：圖靈機(jī)層次上的通用計(jì)算機(jī)可以模擬任何物理過程（物理的丘奇-圖靈命題）。

　　從馮諾伊曼到蘭頓，人工生命支持者的一個(gè)核心思想是：生命的本質(zhì)是形式而不是具體的物質(zhì)實(shí)體；是物質(zhì)組織的性質(zhì)，而不是物質(zhì)事物本身。因此，我們可以得出第二條公理：

公理2：生命是一種物理過程。

從公理1和公理2，我們可以得出如下一條推論：

推論1：因?yàn)閳D靈機(jī)可以模擬任何物理過程，而生命是一種物理過程，所以，用通用圖靈機(jī)模擬生命過程是完全可能的。

　　我們知道，定義生命是非常困難的。但不管怎樣，定義生命是可能的。雖然我們給出的定義有些人可能并不贊同，但隨著生命科學(xué)的進(jìn)一步發(fā)展，人們的認(rèn)識(shí)可能最終會(huì)達(dá)成共識(shí)。據(jù)此，我們又可以得出這樣的公理：

公理3：存在著一些標(biāo)準(zhǔn)，根據(jù)這些標(biāo)準(zhǔn)，我們可以區(qū)分生命和非生命。

從公理3，我們可以得出這樣的推論：

推論2：既然原則上可以根據(jù)確定的標(biāo)準(zhǔn)區(qū)分生命和非生命，那么，根據(jù)這些標(biāo)準(zhǔn)應(yīng)當(dāng)能夠確定一些計(jì)算機(jī)過程是否是有生命的。

　　生命的一個(gè)重要特征是它與外界環(huán)境的靈活適應(yīng)的關(guān)系。這意味著，即使是最簡單的生命客體也必定有原始的自我和自我的外部環(huán)境的概念。因此，在我們創(chuàng)建的計(jì)算機(jī)生命程序時(shí)，我們也需要為這種生命創(chuàng)造一個(gè)適應(yīng)它生存的環(huán)境。這樣，在計(jì)算機(jī)中，計(jì)算機(jī)生命就和它的環(huán)境發(fā)生適應(yīng)性反應(yīng)，甚至在計(jì)算機(jī)環(huán)境的“自然選擇”下，計(jì)算機(jī)生命會(huì)發(fā)生適應(yīng)性進(jìn)化，就像Tierra中的有機(jī)體因?yàn)閮?nèi)存空間和CPU時(shí)間的限制而發(fā)生進(jìn)化一樣。這樣，計(jì)算機(jī)生命與其環(huán)境之間就形成了一個(gè)自我封閉的系統(tǒng)，這個(gè)系統(tǒng)我們可以把它看作是一個(gè)新的實(shí)在世界。正像我們的實(shí)在世界按著自然的規(guī)律產(chǎn)生出支持生命的環(huán)境并進(jìn)而產(chǎn)生出生命一樣，計(jì)算機(jī)世界也可以產(chǎn)生出支持生命存在的環(huán)境，并進(jìn)而產(chǎn)生計(jì)算機(jī)生命。因此，我們可以得到如下的公理：

公理4：人工生命必然能感受到一個(gè)實(shí)在R2，這個(gè)實(shí)在對它的真實(shí)性，就像真實(shí)的實(shí)在R1對我們的真實(shí)性是一樣的。

　　從邏輯上說，我們可以在計(jì)算機(jī)中創(chuàng)造一個(gè)與外部真實(shí)世界的物理過程完全不同的世界，比如我們可以在R2中創(chuàng)造一個(gè)引力為負(fù)的世界。在這些新世界中，我們遇到的事物完全可以根據(jù)它們所代表的那個(gè)世界的規(guī)則加以評判。因此，R1和R2的性質(zhì)可能完全不同。但從原則上說，R2是一個(gè)獨(dú)立的世界。所以，我們又可以得到這樣的公理：

公理5：R1和R2具有相同的實(shí)在論地位。

從公理5和推論1，我們可以得出第三個(gè)推論：

推論3：在計(jì)算機(jī)中產(chǎn)生的生命過程有著自己獨(dú)立的實(shí)在論地位，而不僅僅是對現(xiàn)實(shí)生命的模擬。

四、哥德爾定理與數(shù)字生命

1． 一種批評的觀點(diǎn)

　　數(shù)字人工生命的最高形式可能就是在計(jì)算機(jī)中創(chuàng)造出像人一樣具有智能的生命。計(jì)算機(jī)專家圖靈最早提出用計(jì)算機(jī)創(chuàng)造智能的思想，并提出了著名的“圖靈檢驗(yàn)”，作為檢驗(yàn)機(jī)器智能的標(biāo)準(zhǔn)。然而，圖靈的思想受到了諸多學(xué)者的反對，其中比較有名的是美國哲學(xué)家盧卡斯(Lucas)。盧卡斯的出發(fā)點(diǎn)是哥德爾定理。他說：“哥德爾定理必須應(yīng)用于控制論的機(jī)器，因?yàn)闄C(jī)器的本質(zhì)應(yīng)當(dāng)是一個(gè)形式系統(tǒng)的具體實(shí)現(xiàn)。這意味著，給定任何一致的、能夠做簡單的算術(shù)的機(jī)器，必定有一個(gè)公式機(jī)器不能證明它是真的——就是說，該公式在這個(gè)系統(tǒng)中不能被證明，但我們卻能看出它是真的。因此，沒有機(jī)器可以成為心的完全的或適當(dāng)?shù)哪Ｐ?，心在本質(zhì)上不同于機(jī)器（Lucas 1961: 113）?！北热纾覀冋f“這個(gè)公式在這個(gè)系統(tǒng)中是不能證明的”，就是一個(gè)不能證明的命題，但是人心卻能看出它是真的。后來英國物理學(xué)家彭羅斯 （Roger Penrose）在《皇帝新腦》一書中，對盧卡斯論證作了進(jìn)一步的擴(kuò)展，以證明人心比計(jì)算機(jī)聰明。

　　與盧卡斯等人利用哥德爾定理否定計(jì)算機(jī)可以像人一樣具有真正的智能類似，人工生命產(chǎn)生之后，有人也根據(jù)哥德爾定理否定計(jì)算機(jī)可以產(chǎn)生真正的生命。

　　根據(jù)拉斯穆森的公理4，人工生命感受的人工實(shí)在是真實(shí)的，就像我們感受的真實(shí)實(shí)在是真實(shí)的一樣。真實(shí)世界的事物都處在真實(shí)的時(shí)間和空間中，事物與事物之間的各種相互作用受到自然界的各種物理規(guī)律的支配。計(jì)算機(jī)人工生命世界中的各種事物之間也應(yīng)當(dāng)按著自己的特定規(guī)則發(fā)生相互作用。由于人工生命的實(shí)在世界是我們通過編程創(chuàng)造出來的，因此，這個(gè)世界就是一個(gè)非常特殊的世界。這個(gè)世界實(shí)際上跨越了兩個(gè)世界：一個(gè)是實(shí)際的世界，因?yàn)橛?jì)算機(jī)本身是由實(shí)際世界中的物理器件構(gòu)成的，它的運(yùn)行受實(shí)際世界中的物理規(guī)律的約束；另一個(gè)世界是一個(gè)抽象的世界，即數(shù)學(xué)的世界，因?yàn)橛?jì)算機(jī)在計(jì)算的時(shí)候處理的是各種算法。換句話說，如果我們把計(jì)算看作是現(xiàn)實(shí)世界中的計(jì)算機(jī)器不斷地在內(nèi)存中搬動(dòng)開關(guān)的過程，那么它就是深深根植于物質(zhì)可觀察世界中的過程；另一方面，如果我們把計(jì)算看作是根據(jù)一組規(guī)則的運(yùn)算，那么它就是一個(gè)純粹的數(shù)學(xué)過程，屬于符號對象及其相互關(guān)系的世界。

　　計(jì)算世界是按著嚴(yán)格的規(guī)則運(yùn)行的世界。我們在創(chuàng)造數(shù)字人工生命客體時(shí)，我們同時(shí)需要?jiǎng)?chuàng)造這種生命所要生存的整個(gè)的物理環(huán)境。數(shù)字生命及其物理環(huán)境之間需要有非常協(xié)調(diào)的適應(yīng)性相互作用。數(shù)字生命本身及其生存的物理環(huán)境都需要通過對計(jì)算機(jī)進(jìn)行編程得來。因此，數(shù)字人工生命創(chuàng)造者必須能夠保證，他們能夠給計(jì)算機(jī)系統(tǒng)編制出一組形式模型，這個(gè)模型可以產(chǎn)生能夠支持?jǐn)?shù)字生命的人工物理過程。蘇靈斯（John P. Sullins Ⅲ）曾把數(shù)字生命的這個(gè)隱含的思想表述成如下的公理形式：

　　“存在一組最小的形式系統(tǒng)，它可以被用作創(chuàng)造一個(gè)完整的能夠支持人工生命的人工物理過程（Sullins 1999: 9）。”

　　由于這樣的世界對人工生命來說就像真實(shí)世界對我們來說一樣真實(shí)，所以，對人工生命為真的一切事件都應(yīng)當(dāng)在這個(gè)系統(tǒng)中被推演出來。然而，哥德爾的不完備定理告訴我們，建造一個(gè)邏輯一致的形式系統(tǒng)證明所有的算術(shù)真理是不可能的。換句話說，哥德爾的不完備定理認(rèn)為，在任何一個(gè)其能力強(qiáng)大到足以表達(dá)任何關(guān)于整數(shù)的陳述的邏輯一致性系統(tǒng)內(nèi)，總存在一些陳述，利用該邏輯系統(tǒng)中的規(guī)則，它們既不能得到證明，也不能得到否證。就是說，目前我們還不可能有一個(gè)完整的能夠把握即使是最簡單的數(shù)學(xué)系統(tǒng)的全部的形式系統(tǒng)。具體到強(qiáng)人工生命，哥德爾定理意味著，至少有一個(gè)為真的實(shí)在對象在我們可以想象得到的人工世界——即一個(gè)完備的數(shù)學(xué)形式系統(tǒng)——中將總是不能出現(xiàn)或者沒有保證。由于人工世界總是丟失實(shí)在的一些重要部分，所以，蘇靈斯認(rèn)為，人工實(shí)在R2在本體論上與我們的實(shí)在R1并不能真正等同。因此，蘇靈斯認(rèn)為，人工實(shí)在不可能支持真正的生命（Sullins 1999）。

2． 對批評的批評

　　盧卡斯的觀點(diǎn)發(fā)表后，美國哲學(xué)家懷特利（C. H. Whitely）發(fā)表了雖簡短但強(qiáng)有力的反駁。懷特利對盧卡斯論證給出了一個(gè)非常有趣的反論證?？紤]這樣一個(gè)陳述：“盧卡斯不能一致地肯定這個(gè)陳述?！边@句話是一個(gè)真的陳述，因?yàn)槿绻R卡斯肯定這個(gè)陳述，他自己就會(huì)自相矛盾。這就是說，懷特利和我們都能看到這個(gè)陳述是真的，而盧卡斯自己卻不能，一當(dāng)他肯定這個(gè)陳述，就等于他否定了這個(gè)陳述。由此，懷特利反問道，這是不是意味著懷特利和我們能夠證明事情，而盧卡斯不能呢？這是否意味著我們比盧卡斯聰明呢？顯然不能這么說。所以，懷特利認(rèn)為，盧卡斯的論證是有缺陷的。

　　這個(gè)例子說明，問題的關(guān)鍵是我們能不能跳到系統(tǒng)之外去看問題。哥德爾陳述的正確性在系統(tǒng)之內(nèi)無法證明或否證，但在系統(tǒng)之外，我們發(fā)現(xiàn)這些陳述的確正確。當(dāng)盧卡斯和彭羅斯在論證人心勝過計(jì)算機(jī)時(shí)，他們把人放在系統(tǒng)之外，但卻把計(jì)算機(jī)放在系統(tǒng)之內(nèi)。我們讓我們自己處在一個(gè)更高的層次來確定哥德爾命題的真?zhèn)危瑓s讓計(jì)算機(jī)在其形式系統(tǒng)內(nèi)部來確定。盧卡斯和彭羅斯等人這樣來分析問題，肯定得出對人有利的結(jié)論。

　　人工生命和人工智能的情況稍微有些不同。對于人工智能，人們感興趣的是計(jì)算機(jī)能不能比人聰明，但在人工生命的情況下，人們感興趣的是人工生命的世界能不能建立。蘇靈斯在把哥德爾定理運(yùn)用到人工生命時(shí)，主要是認(rèn)為，人工生命世界與現(xiàn)實(shí)世界不能完全等同，因?yàn)樵谌斯な澜缈傆幸恍┬再|(zhì)在系統(tǒng)內(nèi)部無法確定。這里似乎隱含著哥德爾定理不適合現(xiàn)實(shí)世界。事實(shí)上，哥德爾定理在現(xiàn)實(shí)世界同樣成立。所以，有人就反問道，既然哥德爾的不完全定理在我們的世界也成立，而這并沒有影響我們世界的實(shí)在性，那為什么哥德爾不完全定理在人工實(shí)在中成立，就要影響它的實(shí)在性了呢？

　　反對強(qiáng)人工生命的人要求計(jì)算機(jī)虛擬世界要與我們的世界完全的一一對應(yīng)，其實(shí)這是完全的誤解。我們已經(jīng)知道，計(jì)算機(jī)人工生命并不一定是現(xiàn)實(shí)生命的真實(shí)的一對一的模擬，比如，Tierra就是一個(gè)完全新型的人工系統(tǒng)。人工生命主要模擬的是生命的特征，而不是在具體構(gòu)成上對生命進(jìn)行一對一的模擬。另外，我們也說過，計(jì)算機(jī)不僅是一個(gè)數(shù)字處理機(jī)，而且是一個(gè)創(chuàng)造的工具。所以，我們說R2世界和R1世界具有相同的實(shí)在論地位，我們并不是說它們必須一一對應(yīng)，而是說在計(jì)算機(jī)中的事件與事件之間的關(guān)系與現(xiàn)實(shí)世界中事件與事件之間的關(guān)系一樣是因果的關(guān)系。

（作者簡介：李建會(huì)，1964年生，男，哲學(xué)博士，北京師范大學(xué)哲學(xué)系副教授）。

參考文獻(xiàn)
1. Langton, C. G. (1989). Artificial Life. Redwood City, CA: Addison-Wesley.
2. Lucas, J. R. (1961). “Minds, Machines and G?del.” Philosophy, 36: 112-127.
3. Rasmussen, Steen (1991). "Aspects of Information, Life, Reality, and Physics." In C. G. Langton, C. Taylor, J. D. Farmer, & S. Rasmussen, eds. Artificial Life Ⅱ. Redwood City, CA: Addison-Wesley.
4. Ray, Thomas (1991). “An Approach to the Synthesis of Life.” In Langton, C. G., C. Taylor, J. D. Farmer, and S. Rasmussen, eds. Artificial Life II. Redwood City, CA: Addison-Wesley, 1991.
5. Sullins Ⅲ, John P. (1999). “G?del’s Incompleteness Theorems and Artificial Life.” Society for Philosophy & Technology, Volume 2, Number 3-4.
6. Whitely, C. H. (1962). “Minds, Machines and G?del: a Reply to Mr. Lucas.” Philosophy, 37: 61-62.
7. 卡斯蒂（1998）。《虛實(shí)世界：計(jì)算機(jī)仿真如何改變科學(xué)的疆域》。王千祥等譯。上海：上?？萍冀逃霭嫔纭?BR>8. 李建會(huì)（2001）。“計(jì)算機(jī)仿真實(shí)驗(yàn)”。《二十一世紀(jì)》（香港），10：92-95。

本文原載《哲學(xué)研究》2002年第12期；現(xiàn)載《走向計(jì)算主義——數(shù)字時(shí)代人工創(chuàng)造生命的哲學(xué)》一書（有改動(dòng)）。引用請以發(fā)表的論文或《走向計(jì)算主義》一書為準(zhǔn)。