題 目： 論數(shù)字生命的實在論地位
作 者： 李建會（北京師范大學(xué)哲學(xué)系 北京100875）
日 期： 2004.8.5
20世紀(jì)的計算革命導(dǎo)致了自伽利略以來又一場新的方法論革命。這場方法論革命的產(chǎn)物之一就是計算機(jī)和生物學(xué)交叉的前沿學(xué)科——人工生命的誕生。作為一門學(xué)科，人工生命以計算機(jī)為工具，力圖在計算機(jī)或現(xiàn)實世界中創(chuàng)造出具有生命特征的人工實體——人工生命。人工生命主要有兩種形式：虛擬人工生命（也叫數(shù)字版本的人工生命）和現(xiàn)實人工生命（又叫機(jī)器人版本的人工生命）。數(shù)字人工生命主要采取軟件的形式在計算機(jī)中創(chuàng)造人工生命；機(jī)器人人工生命主要采取硬件的方式在現(xiàn)實世界中創(chuàng)造展示生命特征的人工生命。對于機(jī)器人版本的人工生命的實在論地位問題，人們并沒有什么疑問。然而，對于數(shù)字人工生命的實在論地位問題，人們的認(rèn)識并不一致。它們是真實的生命嗎？它們的世界和我們的世界具有相同的實在論（或本體論）地位嗎？本文試圖回答這些問題并對一些反對意見進(jìn)行批判性的分析。
一、 數(shù)字生命研究的主要內(nèi)容
數(shù)字生命的研究可以追溯到圖靈(A. Turing)和馮諾伊曼(John von Neumann)。圖靈證明生物的胚胎發(fā)育可以用計算的方法加以研究。馮諾伊曼則試圖用計算的方法描述生物自我繁殖的邏輯形式。到了20世紀(jì)70年代和80年代，隨著計算機(jī)速度的大幅度提高以及個人計算機(jī)的普及，在康韋（J. Conwey）等人有關(guān)“生命游戲”研究的基礎(chǔ)上，蘭頓(C. Langton)提出了在計算機(jī)虛擬環(huán)境中創(chuàng)造展示生命特征的人工生命的思想。1987年9月在美國圣菲研究所的支持下，蘭頓主持召開了第一屆國際人工生命研討會，這次會議宣布了一門新的計算機(jī)與生物學(xué)交叉的前沿學(xué)科的誕生。自1987年至今，包括數(shù)字生命在內(nèi)的人工生命研究得到了越來越多的計算機(jī)專家和生物學(xué)家關(guān)注，出現(xiàn)了“生物形態(tài)”、 Tierra世界、“Avida”、“阿米巴世界”等數(shù)字生命模型。其中一些模型曾是著名科學(xué)雜志《自然》和《科學(xué)》報道的熱點。下面我們舉兩個例子說明數(shù)字生命研究的主要內(nèi)容。
1．生物形態(tài)
在首屆國際人工生命研討會上，著名生物學(xué)家道金斯（R. Dawkins）展示的一個被稱為“生物形態(tài)”（Biomorphs）的程序格外引人注目。生物形態(tài)從一個默認(rèn)的簡單線條畫開始，隨后產(chǎn)生若干變異了的線條。程序使這些變異出現(xiàn)在計算機(jī)屏幕上，可以使使用者看到。使用者這時扮演大自然的角色：根據(jù)自己的喜好，在屏幕上選擇最喜歡的圖畫。程序接著復(fù)制這種圖畫，并使它發(fā)生新的變異。使用者接著選擇最喜歡的圖畫使它發(fā)生新的復(fù)制和變異。多次重復(fù)上述突變和選擇過程，道金斯最后得到了許多個不相同的生物形態(tài)圖案。這些生物形態(tài)與自然界的許多生物形態(tài)有著驚人的相似性。
在道金斯之后，皮克奧弗采用了一種新的更為簡單的方法創(chuàng)造出更令人驚異的生物形態(tài)。皮克奧弗的方法是：在一個二維的平面上選取一個初始點，然后規(guī)定產(chǎn)生下一個點的特殊的函數(shù)規(guī)則。選擇不同的初始點，經(jīng)過大量的迭代后，我們就會得到與真實自然界中的放射蟲等生物具有驚人相似性的計算機(jī)生物形態(tài)（詳細(xì)規(guī)則和圖形可參見卡斯蒂1998中文版：45）。
2．Tierra世界
1990年是數(shù)字生命發(fā)展的一個不平凡的一年，美國熱帶雨林專家托馬斯?雷(Thomas Ray)編寫的Tierra（西班牙語意為地球）模型轟動了整個人工生命界。雷宣稱，他的Tierra中的“生物”事實上就是“活的”。他把他的模型命名為“地球”，其意就在表明，人們已經(jīng)在扮演上帝，開始了第二次創(chuàng)世紀(jì)！
雷在編寫他的模型時，與大多數(shù)數(shù)字生命的模擬研究不同，他的目標(biāo)不是直接模擬自然的生命，而是制造出完全不同于在我們周圍看得見的生命形式。
一般地說，生命都具有新陳代謝、復(fù)制和進(jìn)化的能力。在自然界中，生物是由有限的食物供給和有限的生存空間約束的。在Tierra中，“生物”由一系列能夠自我復(fù)制的機(jī)器代碼或程序組成，它在計算機(jī)中的復(fù)制分別受到計算機(jī)的存儲空間和CPU時間約束。能有效地占有內(nèi)存空間和利用CPU時間的生物體，將具有更高的適應(yīng)度，傳遞到下一代的機(jī)會就越大。
在Tierra中，計算機(jī)的RAM（隨機(jī)訪問存儲器）中有一塊專門的空間，這個空間中放置了一個“祖先有機(jī)體”，該祖先有機(jī)體根據(jù)它的匯編程序代碼中的指令開始復(fù)制對它的生存是基本的代碼。隨著有機(jī)體的數(shù)目的增加，RAM中的空間減少了，因此有機(jī)體為了自己的生存空間開始競爭。
為了運行包含在有機(jī)體匯編程序代碼中的指令，有機(jī)體需要計算機(jī)中央處理器的一定的時間（CPU時間）。因為每個有機(jī)體應(yīng)該是一個獨立的實體，所以，每個有機(jī)體都能接近它自己私人的CPU。這一點在并行處理器上是很簡單的，但是，因為大多數(shù)計算機(jī)是串行處理器，所以必須做一些折衷處理。Tierra使用的解決方法是在單個處理器上給每個有機(jī)體依次分配“一段”時間。這是任何運行多任務(wù)操作系統(tǒng)的計算機(jī)使用的相同的方法。這些工作其實并不是真的同時運行的，而是給每個工作分配一定的時間，在這段時間內(nèi)它進(jìn)行一定數(shù)量的工作，如果在這段時間并沒有完成這個工作，它就臨時中斷，開始運行下一個工作。直到所有的工作運行了一些時間后，第一個工作重新啟動，開始新一輪的運行。因此，在Tierra內(nèi)，某個有機(jī)體得到一段時間，在這段時間內(nèi)，它可以執(zhí)行固定數(shù)目的指令直到它變成休眠狀態(tài)，然后機(jī)會就給予了另外一個有機(jī)體。這就在模型中引入了另外一種競爭。那種在較少時間內(nèi)實現(xiàn)其功能的有機(jī)體，將處于優(yōu)勢地位，因為它比它的鄰居能夠更快地復(fù)制，因此它能夠在其它的有機(jī)體占有空閑的內(nèi)存空間之前占有更多的內(nèi)存空間。
Tierra的祖先有機(jī)體包含80個匯編程序指令，包括一個擴(kuò)展的代碼，其中有產(chǎn)生子代有機(jī)體的方法。因為每一個由匯編程序指令編碼的行動具有一定的執(zhí)行錯誤的概率，因此進(jìn)化是可能的。
為了避免快速復(fù)制的有機(jī)體快速填滿所有可用的內(nèi)存空間，Tierra包含一個“收割器”功能，以模擬自然“死亡”。一旦群體達(dá)到某一臨界水平，“收割器”就開始消滅有機(jī)體。一般情況下，有機(jī)體一出生，它就進(jìn)入收割器隊列。當(dāng)收割器功能判定到了要求有犧牲者的時候，它總是清除隊列前面的有機(jī)體。產(chǎn)生錯誤的有機(jī)體被提到隊列的前面，而有效地完成行動的有機(jī)體則被拉回來。
雷在運行它的Tierra時吃驚地發(fā)現(xiàn)，他的電子世界的的確確生出許多“生物”。開始時只有一個祖先生物，但經(jīng)過526萬條指令的計算之后，仿佛寒武紀(jì)生物大爆發(fā)在區(qū)區(qū)數(shù)小時內(nèi)發(fā)生了。這時，在Tierra虛擬世界中游動的是366種不同大小的生物。在運行25.6億條指令后，1180種不同大小的生物產(chǎn)生了。在新產(chǎn)生的生物中，不但出現(xiàn)了一些寄生生物，而且也出現(xiàn)了超寄生生物（靠其它寄生者生活的寄生者），甚至超-超-寄生生物。與真實世界中的生命演化類似，Tierra生物最終產(chǎn)生了對寄生生物具有免疫能力的生物。Tierra中也演化出了一些長期進(jìn)化的特征，間斷平衡現(xiàn)象在Tierra模型中也被觀察到。另外，在Tierra世界中甚至可能演化出一些社會性行為（Ray, 1991）?？傊?，差不多自然演化過程中的所有特征，以及與地球生命相近的各類功能行為組織，全都出現(xiàn)在Tierra中。
雷的實驗是限制在單個的計算機(jī)中的，由于這臺計算機(jī)的CPU和內(nèi)存規(guī)定了Tierra的邊界，因此可能產(chǎn)生的演化生物的種類受到了一定程度的限制。雷已經(jīng)提出在國際互聯(lián)網(wǎng)上建立Tierra，這樣就可以利用網(wǎng)上計算機(jī)中閑置的空間，作為Tierra資源的一部分。雷期望在這種新的條件下，他的祖先生物會演化出更多的物種和更多的存活和繁殖策略。
二、虛擬的真實性
前面我們提到的道金斯的生物形態(tài)，皮克奧弗的放射蟲，雷的Tierra等，都是計算機(jī)根據(jù)簡單的規(guī)則產(chǎn)生的。如果根據(jù)人們建立科學(xué)模型的一些標(biāo)準(zhǔn)，比如簡單性，清晰性，無偏見性和易操作性等來衡量，那么，“它們的完美性不容置疑。畢竟，幾乎沒有哪個規(guī)則能夠比前面皮克奧弗用來產(chǎn)生放射蟲所采用的規(guī)則更簡單、更清晰（卡斯蒂1998中文版：49）?！?根據(jù)這種完美性，我們能說它們可以作為真實世界生物體形式的一種模型嗎？問題似乎并不那么簡單。雖然這些計算機(jī)形態(tài)與我們今天在地球上看到的真實生物在某些方面非常相似，但也有很多差異。真實生物體是三維的對象，有豐富的內(nèi)部結(jié)構(gòu)，然而，生物形態(tài)僅僅是二維創(chuàng)造物，根本沒有體積。而且，生物形態(tài)實際上什么都不做，它們僅僅是數(shù)學(xué)對象。所以，當(dāng)這些計算機(jī)創(chuàng)造物面對“可信度”問題時，“無一幸免地遭到了失敗。很難使人們相信，像放射蟲的硅形式這樣一個簡單三次方程模型，與大自然用來創(chuàng)建真實世界放射蟲的規(guī)則極為相近（同上）?！?
但是，如果我們換一種視角，即是說，如果我們不考慮這些人工生命模型與真實世界的聯(lián)系，而是單從計算機(jī)內(nèi)部來看模型，那情況會是怎樣的呢？這時，我們會發(fā)現(xiàn)，模型本身是計算機(jī)內(nèi)部的一種符號系統(tǒng)，它們按著規(guī)定的規(guī)則在計算機(jī)內(nèi)部活動和表現(xiàn)。以皮克奧弗的放射蟲為例，如果我們只是從計算機(jī)硅世界本身來看它，那么，它就不再是放射蟲的模型，而是一種計算機(jī)生物形態(tài)自身的定義?！霸谀莻€人工世界中，產(chǎn)生放射蟲的規(guī)則就是生命（同上書：50）。”
這就是說，如果我們放棄對人工生命模型與真實生命的聯(lián)系的關(guān)注，而去思考作為一個硅世界的人工生命系統(tǒng)，我們前面講到的人工生命例子，從道金斯的生物形態(tài)，一直到雷的“Tierra世界”，就都成為計算機(jī)硅世界中的“居民”，而不僅僅是現(xiàn)實生命世界的模型。這個“硅世界”中的“居民”事實上都是真實的存在。
很多人可能會覺得這個結(jié)論完全不可思議。但正如卡斯蒂所說，“那僅僅是一種偏見。根本沒有理由認(rèn)為，我們所熟悉的世界擁有任何享有特權(quán)的本體狀態(tài)，并且比我們用硅而不是體外創(chuàng)建的世界更加真實。如果從計算機(jī)內(nèi)部，而不是從通常的外部的觀點看它們的話，那么，這些計算機(jī)世界與我們自己的真實世界具有相同的真實性（卡斯蒂1998中文版：51）?！?/p>
三、數(shù)字生命實在性的理論論證
計算機(jī)在剛產(chǎn)生時，主要目的是為了完成工作量巨大的數(shù)值計算。然而今天我們知道，計算機(jī)不僅可以計算，而且可以創(chuàng)造；計算機(jī)不只是一個數(shù)字“搗弄機(jī)”，而且是一種創(chuàng)造新世界的工具。在計算機(jī)產(chǎn)生之前，我們被限制在一個世界中，即我們真實的地球世界。而今天，計算機(jī)的產(chǎn)生和發(fā)展已經(jīng)使我們有可能創(chuàng)建許多可供選擇的世界，人工生命世界就是這樣的世界之一。這種關(guān)于計算機(jī)的全新觀點不可避免地提出了一些關(guān)于實在的基本的物理學(xué)和哲學(xué)問題。拉斯穆森（Steen Rasmussen）就認(rèn)為，計算機(jī)新工具的出現(xiàn)，不僅可以使我們從新的視角提出問題，而且可以使我們從新的視角回答這些問題。他說，“我相信，我們理解生命的努力迫使我們發(fā)展一個新的關(guān)于信息、生命、實在和物理過程關(guān)系的概念（Rasmussen 1991: 768）?！崩鼓律鴩L試對數(shù)字生命的實在性問題進(jìn)行理論論證。強(qiáng)人工生命，即相信數(shù)字生命是真實的生命的支持者的思想在拉斯穆森這里得到了最鮮明的反映。
根據(jù)圖靈，創(chuàng)造通用的計算機(jī)是可能的。而根據(jù)蘭頓（1991）和弗里德金（E. Fredkin）（1990），物理世界支持通用的計算，物理事物的過程本身實際上也可以被看作是計算。所以，拉斯穆森得出了他的第一個邏輯前提：
公理1：圖靈機(jī)層次上的通用計算機(jī)可以模擬任何物理過程（物理的丘奇-圖靈命題）。
從馮諾伊曼到蘭頓，人工生命支持者的一個核心思想是：生命的本質(zhì)是形式而不是具體的物質(zhì)實體；是物質(zhì)組織的性質(zhì)，而不是物質(zhì)事物本身。因此，我們可以得出第二條公理：
公理2：生命是一種物理過程。
從公理1和公理2，我們可以得出如下一條推論：
推論1：因為圖靈機(jī)可以模擬任何物理過程，而生命是一種物理過程，所以，用通用圖靈機(jī)模擬生命過程是完全可能的。
我們知道，定義生命是非常困難的。但不管怎樣，定義生命是可能的。雖然我們給出的定義有些人可能并不贊同，但隨著生命科學(xué)的進(jìn)一步發(fā)展，人們的認(rèn)識可能最終會達(dá)成共識。據(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ī)過程是否是有生命的。
生命的一個重要特征是它與外界環(huán)境的靈活適應(yīng)的關(guān)系。這意味著，即使是最簡單的生命客體也必定有原始的自我和自我的外部環(huán)境的概念。因此，在我們創(chuàng)建的計算機(jī)生命程序時，我們也需要為這種生命創(chuàng)造一個適應(yīng)它生存的環(huán)境。這樣，在計算機(jī)中，計算機(jī)生命就和它的環(huán)境發(fā)生適應(yīng)性反應(yīng)，甚至在計算機(jī)環(huán)境的“自然選擇”下，計算機(jī)生命會發(fā)生適應(yīng)性進(jìn)化，就像Tierra中的有機(jī)體因為內(nèi)存空間和CPU時間的限制而發(fā)生進(jìn)化一樣。這樣，計算機(jī)生命與其環(huán)境之間就形成了一個自我封閉的系統(tǒng)，這個系統(tǒng)我們可以把它看作是一個新的實在世界。正像我們的實在世界按著自然的規(guī)律產(chǎn)生出支持生命的環(huán)境并進(jìn)而產(chǎn)生出生命一樣，計算機(jī)世界也可以產(chǎn)生出支持生命存在的環(huán)境，并進(jìn)而產(chǎn)生計算機(jī)生命。因此，我們可以得到如下的公理：
公理4：人工生命必然能感受到一個實在R2，這個實在對它的真實性，就像真實的實在R1對我們的真實性是一樣的。
從邏輯上說，我們可以在計算機(jī)中創(chuàng)造一個與外部真實世界的物理過程完全不同的世界，比如我們可以在R2中創(chuàng)造一個引力為負(fù)的世界。在這些新世界中，我們遇到的事物完全可以根據(jù)它們所代表的那個世界的規(guī)則加以評判。因此，R1和R2的性質(zhì)可能完全不同。但從原則上說，R2是一個獨立的世界。所以，我們又可以得到這樣的公理：
公理5：R1和R2具有相同的實在論地位。
從公理5和推論1，我們可以得出第三個推論：
推論3：在計算機(jī)中產(chǎn)生的生命過程有著自己獨立的實在論地位，而不僅僅是對現(xiàn)實生命的模擬。
四、哥德爾定理與數(shù)字生命
1． 一種批評的觀點
數(shù)字人工生命的最高形式可能就是在計算機(jī)中創(chuàng)造出像人一樣具有智能的生命。計算機(jī)專家圖靈最早提出用計算機(jī)創(chuàng)造智能的思想，并提出了著名的“圖靈檢驗”，作為檢驗機(jī)器智能的標(biāo)準(zhǔn)。然而，圖靈的思想受到了諸多學(xué)者的反對，其中比較有名的是美國哲學(xué)家盧卡斯(Lucas)。盧卡斯的出發(fā)點是哥德爾定理。他說：“哥德爾定理必須應(yīng)用于控制論的機(jī)器，因為機(jī)器的本質(zhì)應(yīng)當(dāng)是一個形式系統(tǒng)的具體實現(xiàn)。這意味著，給定任何一致的、能夠做簡單的算術(shù)的機(jī)器，必定有一個公式機(jī)器不能證明它是真的——就是說，該公式在這個系統(tǒng)中不能被證明，但我們卻能看出它是真的。因此，沒有機(jī)器可以成為心的完全的或適當(dāng)?shù)哪Ｐ?，心在本質(zhì)上不同于機(jī)器（Lucas 1961: 113）?！北热?，我們說“這個公式在這個系統(tǒng)中是不能證明的”，就是一個不能證明的命題，但是人心卻能看出它是真的。后來英國物理學(xué)家彭羅斯 （Roger Penrose）在《皇帝新腦》一書中，對盧卡斯論證作了進(jìn)一步的擴(kuò)展，以證明人心比計算機(jī)聰明。
與盧卡斯等人利用哥德爾定理否定計算機(jī)可以像人一樣具有真正的智能類似，人工生命產(chǎn)生之后，有人也根據(jù)哥德爾定理否定計算機(jī)可以產(chǎn)生真正的生命。
根據(jù)拉斯穆森的公理4，人工生命感受的人工實在是真實的，就像我們感受的真實實在是真實的一樣。真實世界的事物都處在真實的時間和空間中，事物與事物之間的各種相互作用受到自然界的各種物理規(guī)律的支配。計算機(jī)人工生命世界中的各種事物之間也應(yīng)當(dāng)按著自己的特定規(guī)則發(fā)生相互作用。由于人工生命的實在世界是我們通過編程創(chuàng)造出來的，因此，這個世界就是一個非常特殊的世界。這個世界實際上跨越了兩個世界：一個是實際的世界，因為計算機(jī)本身是由實際世界中的物理器件構(gòu)成的，它的運行受實際世界中的物理規(guī)律的約束；另一個世界是一個抽象的世界，即數(shù)學(xué)的世界，因為計算機(jī)在計算的時候處理的是各種算法。換句話說，如果我們把計算看作是現(xiàn)實世界中的計算機(jī)器不斷地在內(nèi)存中搬動開關(guān)的過程，那么它就是深深根植于物質(zhì)可觀察世界中的過程；另一方面，如果我們把計算看作是根據(jù)一組規(guī)則的運算，那么它就是一個純粹的數(shù)學(xué)過程，屬于符號對象及其相互關(guān)系的世界。
計算世界是按著嚴(yán)格的規(guī)則運行的世界。我們在創(chuàng)造數(shù)字人工生命客體時，我們同時需要創(chuàng)造這種生命所要生存的整個的物理環(huán)境。數(shù)字生命及其物理環(huán)境之間需要有非常協(xié)調(diào)的適應(yīng)性相互作用。數(shù)字生命本身及其生存的物理環(huán)境都需要通過對計算機(jī)進(jìn)行編程得來。因此，數(shù)字人工生命創(chuàng)造者必須能夠保證，他們能夠給計算機(jī)系統(tǒng)編制出一組形式模型，這個模型可以產(chǎn)生能夠支持?jǐn)?shù)字生命的人工物理過程。蘇靈斯（John P. Sullins Ⅲ）曾把數(shù)字生命的這個隱含的思想表述成如下的公理形式：
“存在一組最小的形式系統(tǒng)，它可以被用作創(chuàng)造一個完整的能夠支持人工生命的人工物理過程（Sullins 1999: 9）?！?/p>
由于這樣的世界對人工生命來說就像真實世界對我們來說一樣真實，所以，對人工生命為真的一切事件都應(yīng)當(dāng)在這個系統(tǒng)中被推演出來。然而，哥德爾的不完備定理告訴我們，建造一個邏輯一致的形式系統(tǒng)證明所有的算術(shù)真理是不可能的。換句話說，哥德爾的不完備定理認(rèn)為，在任何一個其能力強(qiáng)大到足以表達(dá)任何關(guān)于整數(shù)的陳述的邏輯一致性系統(tǒng)內(nèi)，總存在一些陳述，利用該邏輯系統(tǒng)中的規(guī)則，它們既不能得到證明，也不能得到否證。就是說，目前我們還不可能有一個完整的能夠把握即使是最簡單的數(shù)學(xué)系統(tǒng)的全部的形式系統(tǒng)。具體到強(qiáng)人工生命，哥德爾定理意味著，至少有一個為真的實在對象在我們可以想象得到的人工世界——即一個完備的數(shù)學(xué)形式系統(tǒng)——中將總是不能出現(xiàn)或者沒有保證。由于人工世界總是丟失實在的一些重要部分，所以，蘇靈斯認(rèn)為，人工實在R2在本體論上與我們的實在R1并不能真正等同。因此，蘇靈斯認(rèn)為，人工實在不可能支持真正的生命（Sullins 1999）。
2． 對批評的批評
盧卡斯的觀點發(fā)表后，美國哲學(xué)家懷特利（C. H. Whitely）發(fā)表了雖簡短但強(qiáng)有力的反駁。懷特利對盧卡斯論證給出了一個非常有趣的反論證。考慮這樣一個陳述：“盧卡斯不能一致地肯定這個陳述?！边@句話是一個真的陳述，因為如果盧卡斯肯定這個陳述，他自己就會自相矛盾。這就是說，懷特利和我們都能看到這個陳述是真的，而盧卡斯自己卻不能，一當(dāng)他肯定這個陳述，就等于他否定了這個陳述。由此，懷特利反問道，這是不是意味著懷特利和我們能夠證明事情，而盧卡斯不能呢？這是否意味著我們比盧卡斯聰明呢？顯然不能這么說。所以，懷特利認(rèn)為，盧卡斯的論證是有缺陷的。
這個例子說明，問題的關(guān)鍵是我們能不能跳到系統(tǒng)之外去看問題。哥德爾陳述的正確性在系統(tǒng)之內(nèi)無法證明或否證，但在系統(tǒng)之外，我們發(fā)現(xiàn)這些陳述的確正確。當(dāng)盧卡斯和彭羅斯在論證人心勝過計算機(jī)時，他們把人放在系統(tǒng)之外，但卻把計算機(jī)放在系統(tǒng)之內(nèi)。我們讓我們自己處在一個更高的層次來確定哥德爾命題的真?zhèn)?，卻讓計算機(jī)在其形式系統(tǒng)內(nèi)部來確定。盧卡斯和彭羅斯等人這樣來分析問題，肯定得出對人有利的結(jié)論。
人工生命和人工智能的情況稍微有些不同。對于人工智能，人們感興趣的是計算機(jī)能不能比人聰明，但在人工生命的情況下，人們感興趣的是人工生命的世界能不能建立。蘇靈斯在把哥德爾定理運用到人工生命時，主要是認(rèn)為，人工生命世界與現(xiàn)實世界不能完全等同，因為在人工世界總有一些性質(zhì)在系統(tǒng)內(nèi)部無法確定。這里似乎隱含著哥德爾定理不適合現(xiàn)實世界。事實上，哥德爾定理在現(xiàn)實世界同樣成立。所以，有人就反問道，既然哥德爾的不完全定理在我們的世界也成立，而這并沒有影響我們世界的實在性，那為什么哥德爾不完全定理在人工實在中成立，就要影響它的實在性了呢？
反對強(qiáng)人工生命的人要求計算機(jī)虛擬世界要與我們的世界完全的一一對應(yīng)，其實這是完全的誤解。我們已經(jīng)知道，計算機(jī)人工生命并不一定是現(xiàn)實生命的真實的一對一的模擬，比如，Tierra就是一個完全新型的人工系統(tǒng)。人工生命主要模擬的是生命的特征，而不是在具體構(gòu)成上對生命進(jìn)行一對一的模擬。另外，我們也說過，計算機(jī)不僅是一個數(shù)字處理機(jī)，而且是一個創(chuàng)造的工具。所以，我們說R2世界和R1世界具有相同的實在論地位，我們并不是說它們必須一一對應(yīng)，而是說在計算機(jī)中的事件與事件之間的關(guān)系與現(xiàn)實世界中事件與事件之間的關(guān)系一樣是因果的關(guān)系。
（作者簡介：李建會，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）?！短搶嵤澜纾河嬎銠C(jī)仿真如何改變科學(xué)的疆域》。王千祥等譯。上海：上?？萍冀逃霭嫔纭?br>8. 李建會（2001）。“計算機(jī)仿真實驗”?！抖皇兰o(jì)》（香港），10：92-95。
本文原載《哲學(xué)研究》2002年第12期；現(xiàn)載《走向計算主義——數(shù)字時代人工創(chuàng)造生命的哲學(xué)》一書（有改動）。引用請以發(fā)表的論文或《走向計算主義》一書為準(zhǔn)。
