弗里嘉的模型虛構(gòu)論研究

李立晨

摘? ?要? ?模型在科研過程中應(yīng)用廣泛，科學(xué)家常用模型來研究相關(guān)現(xiàn)象。什么是模型？模型的表征能力源自哪里？使用模型的合理性是什么？模型擬真論認(rèn)為，模型是抽象實(shí)體或數(shù)學(xué)結(jié)構(gòu)，模型因?yàn)榕c目標(biāo)系統(tǒng)相似或同構(gòu)，因而可以表征目標(biāo)系統(tǒng)。該理論解決了合理性問題，但在回答模型本體論問題和表征條件問題時(shí)面臨著困難。為了解決這些困難，弗里嘉提出了基于假裝游戲和地圖機(jī)制的模型虛構(gòu)論，但這種模型虛構(gòu)論有著模型的同一性問題、增殖問題和認(rèn)識論問題。

關(guān)鍵詞? ?模型? 表征? 假裝游戲? 鑰匙

中圖分類號? ?N09

文獻(xiàn)標(biāo)識碼? ?A

一? ? 導(dǎo)言： 與科學(xué)模型相關(guān)的哲學(xué)問題

模型在科研過程中應(yīng)用廣泛，科學(xué)家常使用模型來研究相關(guān)現(xiàn)象。例如物理學(xué)家用整體色對稱模型來研究夸克禁閉，經(jīng)濟(jì)學(xué)家用阿克洛夫汽車市場模型來研究信息不對稱，疾控專家用流行病模型來研究疫情防控。隨著信息技術(shù)的發(fā)展，各種大數(shù)據(jù)模型更是層出不窮。模型的誕生帶來了相關(guān)的哲學(xué)問題： 什么是模型？模型的表征能力源自哪里？使用模型的合理性是什么？第一個問題討論的是模型的本體論地位，第二個問題牽涉了模型的表征條件和表征方式，第三個問題則是模型的認(rèn)識論方法。

早期以迪昂（P. Duhem）為代表的經(jīng)驗(yàn)主義哲學(xué)家對模型不屑一顧，他們認(rèn)為科學(xué)模型只具有啟發(fā)式的意義，其作用僅僅是輔助科學(xué)家建構(gòu)關(guān)于現(xiàn)實(shí)世界的理論[1]。但隨著科學(xué)實(shí)踐的發(fā)展，不少哲學(xué)家注意到了科學(xué)模型也可以像理論那樣，獨(dú)立地對現(xiàn)實(shí)世界進(jìn)行解釋、預(yù)測，因而關(guān)注起了科學(xué)模型在科學(xué)實(shí)踐中的作用，并嘗試建立起關(guān)于科學(xué)模型的哲學(xué)理論。模型擬真論強(qiáng)調(diào)模型與現(xiàn)實(shí)世界之間具有一致性，可以用于表征現(xiàn)實(shí)世界。至于這種一致性是什么，以吉爾（R. N. Giere）、邁凱（U. M?ki）等哲學(xué)家為代表的模型相似論者認(rèn)為是依據(jù)研究者的目的而定的，在某些方面某種程度上的真實(shí)的、客觀的相似（[2]，pp. 32—33;[3]，p. 748），以薩普（P. Suppes）、范弗拉森（B. C. van Fraassen）、弗蘭奇（S. French）、雷迪曼（J. Ladyman）等哲學(xué)家為代表的模型同構(gòu)論者認(rèn)為是數(shù)學(xué)結(jié)構(gòu)上的同構(gòu)[4—6]。這兩種模型擬真論在認(rèn)識論上很有優(yōu)勢，通過“把模型與客觀性、真實(shí)性、真理性緊緊地捆綁在一起” （[7]，頁3），很好地說明了使用模型的合理性。但由于相似和同構(gòu)自身的特點(diǎn)，模型擬真論在回答模型的表征條件問題和本體論問題時(shí)，面臨著一些困境。與此同時(shí)，蘇亞雷斯（M. Suárez）、弗里嘉（R. Frigg）、圖恩（A. Toon）等哲學(xué)家注意到了虛構(gòu)在科學(xué)模型中的重要作用，故而提出了模型虛構(gòu)論，并試圖以此來理解與模型相關(guān)的科學(xué)實(shí)踐[8—10]。在眾多不同的模型虛構(gòu)論中，理論最全面、影響最大的是弗里嘉基于假裝游戲和地圖機(jī)制的模型虛構(gòu)論。目前已有少量中文文獻(xiàn)介紹了弗里嘉的理論，但這些學(xué)者在論述弗里嘉的理論動因時(shí)，僅考慮了模型擬真論的部分缺陷，在論述弗里嘉的理論建構(gòu)時(shí)，僅考慮了模型描述對模型系統(tǒng)的p-表征[7， 11]。本文較為完整地介紹弗里嘉的理論動因、理論建構(gòu)，并對弗里嘉的理論進(jìn)行評析。

二? ?弗里嘉的理論動因：模型擬真論的兩方面缺陷

弗里嘉的理論動因是模型擬真論，在回答模型的表征條件問題和本體論問題上存在缺陷：在表征問題上，相似或同構(gòu)無法勝任表征的充分必要條件，這要求尋求新的表征條件; 在本體論問題上，模型擬真論無法說明模型的本體論地位，這要求發(fā)展新的理論來回答模型的本體論問題。

1. 相似或同構(gòu)無法勝任表征的充分必要條件

模型擬真論強(qiáng)調(diào)相似或同構(gòu)在表征過程中的重要作用，弗里嘉在斯坦福哲學(xué)百科的“科學(xué)表征”（scientific representation）這一條目中，將模型擬真論對表征條件問題的回答總結(jié)為： 模型M表征目標(biāo)系統(tǒng)T，當(dāng)且僅當(dāng)M與T相似，或M與T同構(gòu)。模型擬真論對表征條件問題的回答面臨著邏輯性質(zhì)問題、非決定性問題、誤表征問題（misrepresentation）、意向性問題（intention）。

1.1邏輯性質(zhì)問題

相似和同構(gòu)都具有自反性和對稱性，事物與其自身相似或同構(gòu)，若A與B相似，則B也與A相似，若A與B同構(gòu)，則B也與A同構(gòu)，而表征則沒有自反性和對稱性，模型并不表征其自身，模型M表征目標(biāo)系統(tǒng)T，但目標(biāo)系統(tǒng)T并不表征模型M[12]。因此，如若把相似或同構(gòu)看作表征的充分必要條件，就會造成邏輯性質(zhì)的不一致。

1.2非決定性問題

在科學(xué)實(shí)踐中，有的模型與其表征的目標(biāo)系統(tǒng)并不相似或同構(gòu)，也有許多模型與另外的目標(biāo)系統(tǒng)相似或同構(gòu)，但這些模型并不是對那些目標(biāo)系統(tǒng)的表征，這說明相似或同構(gòu)既不是表征的必要條件，又不是表征的充分條件[13]。前者如信息經(jīng)濟(jì)學(xué)中重要的阿克洛夫汽車市場模型： 該模型假設(shè)了二手汽車市場存在著嚴(yán)重的信息不對稱，消費(fèi)者無法判斷汽車質(zhì)量，致使市場上劣車泛濫;然而在現(xiàn)實(shí)的二手汽車市場中，由于存在可靠的評定機(jī)構(gòu)，消費(fèi)者可以判斷汽車質(zhì)量，劣車也沒有驅(qū)逐良車。阿克洛夫汽車市場模型與現(xiàn)實(shí)的二手汽車市場既不相似也不同構(gòu)，但卻表征二手汽車市場。

同樣的，相似和同構(gòu)也不是表征的充分條件，這種案例在經(jīng)典力學(xué)中比比皆是。例如彈簧振子模型與單擺模型在運(yùn)動方程上相似，數(shù)學(xué)結(jié)構(gòu)上同構(gòu)，兩者都是同一個二階微分方程，然而這種相似或同構(gòu)并沒有使得彈簧振子模型與單擺模型是同一個模型，也沒有使得彈簧振子模型表征單擺，同時(shí)沒有使得單擺模型表征彈簧振子?；谶@兩方面，可以斷定相似或同構(gòu)既不是模型表征目標(biāo)系統(tǒng)的必要條件，也不是模型表征目標(biāo)系統(tǒng)的充分條件。

1.3誤表征問題

一個可被接受的模型表征論應(yīng)包容模型不精確，乃至錯誤的表征[14]，而這種不精確的表征和錯誤的表征在科學(xué)史上時(shí)有發(fā)生。例如相較于盧瑟福模型，湯姆遜棗糕模型可以被視為對原子不精確、乃至錯誤的表征。盡管如此，棗糕模型仍然表征原子。然而，按照模型相似論，由于棗糕模型與原子沒有在一定程度上相似，例如在棗糕模型中，電子均勻分布在原子中，而現(xiàn)實(shí)情況是電子圍繞原子核運(yùn)動，故棗糕模型不表征原子;按照模型同構(gòu)論，由于棗糕模型在數(shù)學(xué)結(jié)構(gòu)上與原子結(jié)構(gòu)不同構(gòu)，故棗糕模型不表征原子。這說明了模型相似論和模型結(jié)構(gòu)論不能包容模型的誤表征，與科學(xué)實(shí)踐相違背。

1.4意向性問題

吉爾、邁凱、弗里嘉等人注意到了在科學(xué)實(shí)踐中，模型對目標(biāo)系統(tǒng)的表征需要有實(shí)踐主體參與，“不是模型在進(jìn)行表征;而是使用模型的科學(xué)家在進(jìn)行表征”（[2]，p. 747），憑借模型使用者的這種具有意向性的行為，模型才可以表征目標(biāo)系統(tǒng)。例如，螞蟻爬過的痕跡并不表征柏拉圖，即使該痕跡與柏拉圖形狀上相似、數(shù)學(xué)結(jié)構(gòu)上同構(gòu)，這是因?yàn)槲浵佋诹粝潞圹E時(shí)沒有表征柏拉圖的意向性，痕跡與柏拉圖形狀上相似、數(shù)學(xué)結(jié)構(gòu)上同構(gòu)只能被視為一種巧合。如若我們在模型相似論和模型同構(gòu)論對表征條件問題的回答中加入意向性條件，變?yōu)椤澳Ｐ蚆表征目標(biāo)系統(tǒng)T，當(dāng)且僅當(dāng)M與T相似＼同構(gòu)，且實(shí)踐主體意欲用M表征T” 會如何呢？弗里嘉指出這種回答面臨著兩個問題： 一是取消了相似或同構(gòu)的重要地位，將表征完全歸結(jié)為主體; 二是乞題，將科學(xué)家使用模型表征目標(biāo)系統(tǒng)來作為表征的充分必要條件，并不能幫助我們理解模型的表征能力（[15]，p. 55）。

綜合以上四點(diǎn)，不適合用相似或同構(gòu)來回答表征的條件問題。這使得弗里嘉轉(zhuǎn)而訴諸模型具有的引發(fā)想象的特點(diǎn)，在表征問題上走向了模型虛構(gòu)論。

2. 模型擬真論無法合理回答模型本體論問題

模型擬真論最初的目的是回答模型的表征條件問題和使用模型的合理性問題，但隨著自身理論的發(fā)展，模型的本體論問題日益凸顯。

2.1模型同構(gòu)論的本體論困境

模型同構(gòu)論認(rèn)為模型是個數(shù)學(xué)結(jié)構(gòu)，是一個有序二元組，U是一個包括許多元素的非空集，R是這些元素在該結(jié)構(gòu)上的關(guān)系。根據(jù)該理論，那些具有相同數(shù)學(xué)結(jié)構(gòu)的模型應(yīng)該是同一個模型。然而，在科學(xué)實(shí)踐中，大量不同的模型有著相同的數(shù)學(xué)結(jié)構(gòu)，例如上述的彈簧振子模型和單擺模型，它們的數(shù)學(xué)結(jié)構(gòu)相同，但卻是兩個不同的模型，這說明模型不僅僅是個數(shù)學(xué)結(jié)構(gòu)，還應(yīng)該包括對這些數(shù)學(xué)結(jié)構(gòu)的解釋說明。

2.2模型相似論的本體論困境

一些學(xué)者注意到了科學(xué)模型中所描述的對象在現(xiàn)實(shí)世界中不存在，甚至不可能“在現(xiàn)實(shí)世界中實(shí)例化”（[16]，p. 57），是一個“消失的系統(tǒng)”（missing system）[17]，這種模型如何與目標(biāo)系統(tǒng)相似呢？為此，吉爾區(qū)分了模型系統(tǒng)（model system）和模型描述（model description）。模型系統(tǒng)指的是供我們研究的、用以表征某個現(xiàn)實(shí)系統(tǒng)的某一理想化系統(tǒng)，而模型描述則是對該理想化系統(tǒng)的介紹說明（[18]，p. 82—84）。基于這種區(qū)分，模型相似論的表征模式變?yōu)榱四Ｐ兔枋龆x了模型系統(tǒng)，而模型系統(tǒng)由于與目標(biāo)系統(tǒng)相似而表征目標(biāo)系統(tǒng)。不難看出，這種改進(jìn)后的模型相似論將模型系統(tǒng)置于中心位置，這就引發(fā)了模型系統(tǒng)的本體論問題。吉爾、特勒（P. Teller）將模型系統(tǒng)視為一個抽象實(shí)體（abstract entities）（[18]，p. 78）或抽象對象（abstract objects）（[2]，p. 745），這種抽象實(shí)體或抽象對象“展示且僅展示所有在法則中的性質(zhì)”（[2]，p. 745），“它們被具體的事物所例示”（[19]，p. 399）。顯然，這種抽象實(shí)體或抽象對象并不占據(jù)時(shí)空，這就造成了一種“內(nèi)在不一致性”（[17]，p. 291）： 一方面這種抽象實(shí)體是沒有時(shí)空性質(zhì)的，另一方面卻又要展示諸如周期、位置等時(shí)空性質(zhì)。

模型擬真論無法合理回答模型本體論問題，這使得弗里嘉在本體論問題上轉(zhuǎn)向了虛構(gòu)論，強(qiáng)調(diào)模型系統(tǒng)是個虛構(gòu)角色（fictional character），并結(jié)合沃爾頓的假裝游戲理論建構(gòu)了模型虛構(gòu)論。

三? 弗里嘉的理論建構(gòu)： 基于假裝游戲和地圖機(jī)制的模型虛構(gòu)論

弗里嘉認(rèn)為，模型描述以假裝游戲（game of make-believe）的形式表征模型系統(tǒng)，而模型系統(tǒng)則以類似于地圖的機(jī)制表征目標(biāo)系統(tǒng)。前者被稱為p-表征，后者被稱為t-表征。

1. 基于假裝游戲的p-表征

在弗里嘉看來，模型描述對模型系統(tǒng)的表征是場假裝游戲。談到假裝游戲，容易想到小孩子的過家家。在過家家的游戲中，有作為道具（prop）的洋娃娃，它的作用是讓游戲參與者想象孩子，使大家進(jìn)入到游戲的情景中（[20]，pp. 21—22）。在游戲中還會有一些生成規(guī)則（principle of generation）（[20]，p. 38），如用泥團(tuán)來代表饅頭，當(dāng)游戲參與者把泥團(tuán)搗碎，則意味著饅頭被吃掉了。由道具和生成規(guī)則直接生成的陳述被稱為初始（primary）陳述，而由初始陳述推導(dǎo)出來的陳述則是導(dǎo)出（implied）陳述（[20]，p. 140）。在游戲中，這些陳述具有一定的“客觀性”，對它們的想象不是任意的，而是被游戲決定的，這就區(qū)分出了虛構(gòu)事實(shí)（fictional truth）和單純的想象：假裝游戲中的命題p是虛構(gòu)事實(shí)，當(dāng)且僅當(dāng)命題p由道具和生成規(guī)則所規(guī)定（[20]，pp. 38—39），而單純的想象則不是。例如，在上述的過家家的游戲中，有個孩子把泥團(tuán)捏的小了些， “較小的泥團(tuán)是饅頭”這個命題是虛構(gòu)事實(shí)，因?yàn)檫@個命題是由假裝游戲所規(guī)定的。也許有個孩子會想象“較小的泥團(tuán)是燒麥”，這個命題就僅僅是一種想象了。這種虛構(gòu)事實(shí)不是現(xiàn)實(shí)世界中的事實(shí)，也不是一種新類型的事實(shí)（[20]，p. 41），而僅僅是在假裝游戲這個世界中的事實(shí)（[20]，p. 35），它們由道具和生成規(guī)則規(guī)定，無論是否有人真的想象了它們（[20]，p. 39）。

注意到，上述的例子中存在著兩個道具，一是洋娃娃，二是泥團(tuán)。依據(jù)沃爾頓的理論，表征物（representation）指的是“其功能就是道具的那些事物”（[20]，p. 52）。因此洋娃娃是表征物，而泥團(tuán)則不是，因?yàn)槟鄨F(tuán)是在上述這個游戲中臨時(shí)規(guī)定的，而洋娃娃則“被設(shè)計(jì)成為道具; 它們是為了這個目的特別制作的”（[20]，p. 51），而“不是為某個特別的游戲設(shè)計(jì)的”（[20]，p. 51）。這種讓表征物行使自己本來作為道具功能的游戲被沃爾頓稱為授權(quán)游戲（authorized game）（[20]，p. 51），但有時(shí)我們也會讓這些表征物行使其他功能，例如我們可能會把洋娃娃約定成獎品，這種游戲被稱作非正式游戲（unofficial game）（[20]，p. 406）。

基于假裝游戲理論，弗里嘉首先回答了模型的本體論問題： “模型描述應(yīng)被理解為假裝游戲的道具。”（[21]，p. 262）而模型系統(tǒng)則是“類似于虛構(gòu)文學(xué)中出現(xiàn)的實(shí)體”（[21]，p. 257）。弗里嘉指出，模型描述往往以“考慮……”或“假設(shè)……”開頭，這表明模型描述的語用功能并非是描述現(xiàn)實(shí)世界，而是要求我們想象某一特定的情況（[21]，pp. 262—263），使我們進(jìn)入到這場假裝游戲中。這是模型描述本身的，而不是特設(shè)的功能，我們這樣使用模型描述是在進(jìn)行授權(quán)游戲，這證明了模型描述是沃爾頓意義下的表征物（[21]，p. 268），它表征模型系統(tǒng)，用以規(guī)定（prescribe）我們對模型系統(tǒng)的想象。弗里嘉稱這種模型描述對模型系統(tǒng)的表征為p-表征，用以強(qiáng)調(diào)模型描述是個假裝游戲中的道具（[21]，p. 268）。

在模型描述表征模型系統(tǒng)的假裝游戲中，可以談?wù)撊N命題，弗里嘉將其歸類為： 虛構(gòu)內(nèi)命題（intraficational proposition）、元虛構(gòu)命題（metafictional proposition）、虛構(gòu)間命題（transfictional proposition）。所謂虛構(gòu)內(nèi)命題，指的是在一個假裝游戲中我們?nèi)ハ胂蟮拿}（[22]，p. 117），例如在彈簧振子模型中，我們可能會去想象“彈簧振子的周期與小球質(zhì)量有關(guān)”，也可能會去想象“彈簧振子的周期與小球質(zhì)量無關(guān)”，這兩個命題都是虛構(gòu)內(nèi)命題。根據(jù)沃爾頓的假裝游戲理論，前者不是虛構(gòu)事實(shí)，而后者是，因?yàn)閺椈烧褡拥倪\(yùn)動方程規(guī)定了對后者的想象。由此，一個假裝游戲中的虛構(gòu)內(nèi)命題p是虛構(gòu)事實(shí)，當(dāng)且僅當(dāng)該命題被該假裝游戲的道具和生成規(guī)則所規(guī)定（[22]，p. 117）。所謂元虛構(gòu)命題，指的是形如“在虛構(gòu)作品w中，p”這樣的命題，其中p是個虛構(gòu)內(nèi)命題（[22]，p. 119）。元虛構(gòu)命題為真，當(dāng)且僅當(dāng)p在虛構(gòu)作品w中是個虛構(gòu)事實(shí)（[22]，p. 119）。顯然，當(dāng)我們斷言元虛構(gòu)命題為真時(shí)，我們所謂的“真”是傳統(tǒng)意義上的真。所謂跨虛構(gòu)命題，指的是將虛構(gòu)角色與虛構(gòu)角色或現(xiàn)實(shí)事物相對比的命題（[22]，p. 119），例如命題“感染新冠肺炎的人數(shù)呈流行病模型那樣增長”將現(xiàn)實(shí)中感染新冠肺炎的人數(shù)與流行病模型中的人數(shù)相對比，是個跨虛構(gòu)命題。弗里嘉認(rèn)為，這種跨虛構(gòu)的對比，實(shí)際上是對相關(guān)性質(zhì)的對比，例如上述命題對比的是人數(shù)。因此，一個跨虛構(gòu)命題為真，當(dāng)且僅當(dāng)所比較的性質(zhì)一致（[22]，p. 120）。

2.基于地圖機(jī)制的t-表征

p-表征體現(xiàn)的是模型內(nèi)部的表征關(guān)系，那么模型與外部世界的關(guān)系是什么樣的呢？弗里嘉表示，模型系統(tǒng)對目標(biāo)系統(tǒng)的表征類似于地圖對現(xiàn)實(shí)世界的表征，弗里嘉稱這種表征關(guān)系為t-表征，而：

X t-表征Y當(dāng)且僅當(dāng)

（R1）X指謂（denote）Y，且

（R2）X同時(shí)附帶一個鑰匙（key）K來說明如何將關(guān)于X的事實(shí)（fact）翻譯成關(guān)于Y的主張（claim）。（[22]，p. 126）

弗里嘉以南倫敦地圖和玻爾氫原子模型為例進(jìn)行了說明。在南倫敦地圖的案例中： 首先 “有一個南倫敦地圖放在我面前，它首先滿足第一個條件： 這個地圖指謂南倫敦地區(qū)” （[22]，p. 127），然后我們根據(jù)圖例、比例尺，以及地圖上的一些元素可以將地圖上的事實(shí)翻譯為關(guān)于現(xiàn)實(shí)世界的事實(shí)，例如“標(biāo)著‘卡姆登路的黑色矩形由一個黃色的線與一個標(biāo)著‘肯特市的黑色的方塊相連（地圖上的事實(shí)），這被翻譯成為通過一個主干道，卡姆登路地鐵站與肯特市地鐵站相連（關(guān)于南倫敦地區(qū)的事實(shí)）”（[22]，p. 127）。在玻爾氫原子模型的案例中： 首先玻爾的氫原子模型指謂現(xiàn)實(shí)中的氫原子，滿足條件（R1）;然后我們可以將模型中的能級翻譯成現(xiàn)實(shí)中氫原子的能級，滿足條件（R2）（[22]，p. 128）。對于這種可以起到翻譯作用的鑰匙K具體是什么，弗里嘉指出 “這是個極為困難的任務(wù)，無法在這里保證有哪些類型的鑰匙”（[22]，p. 128）。但他認(rèn)為這并不構(gòu)成對該理論的反駁，因?yàn)椤斑@種鑰匙往往是含蓄的，并且是由語境決定的”（[22]，p. 128），例如地圖的案例中，我們將圖例、比例尺等當(dāng)做鑰匙K，而在氫原子模型中，這種鑰匙就比較含蓄，這說明了我們不必給出所有的鑰匙。這種模型系統(tǒng)與目標(biāo)系統(tǒng)t-表征關(guān)系變相回答了替代合理性問題，我們可以通過研究模型來替代研究目標(biāo)系統(tǒng)，因?yàn)榇嬖阼€匙K可以將關(guān)于模型的事實(shí)翻譯成關(guān)于目標(biāo)系統(tǒng)的主張。

3. 模型虛構(gòu)論的方法論

基于整套理論考慮，弗里嘉以太陽-地球系統(tǒng)的牛頓力學(xué)模型為例，給出了研究模型的方法。該過程大致分為三步，分別是建模、研究模型、通過模型來研究目標(biāo)系統(tǒng)。在建模過程中，首先要明確研究目的，并根據(jù)研究目的確定模型描述，例如通過研究太陽-地球系統(tǒng)的牛頓力學(xué)模型，我們想獲得關(guān)于地球公轉(zhuǎn)軌道的知識，根據(jù)該研究目的，我們將模型描述設(shè)為萬有引力定律和一些諸如完美球體等理想化條件（[22]，p. 133）。緊接著我們要建立模型描述與模型系統(tǒng)之間的p-表征關(guān)系，當(dāng)我們讀到以上的模型描述時(shí)，我們要把這些模型描述當(dāng)做假裝游戲的道具，并根據(jù)模型描述去想象模型系統(tǒng)（[22]，p. 133）。接下來我們要建立模型系統(tǒng)與目標(biāo)系統(tǒng)之間的t-表征關(guān)系，亦即找出R1和R2兩個條件，在該案例中，太陽-地球系統(tǒng)的牛頓力學(xué)模型指謂現(xiàn)實(shí)世界中的太陽-地球系統(tǒng)，滿足R1，我們可以依據(jù)“如果現(xiàn)實(shí)目標(biāo)與模型系統(tǒng)誤差小于δ，那么現(xiàn)實(shí)目標(biāo)行為與模型系統(tǒng)行為之間誤差小于ε”（[22]，p. 134）這個鑰匙K將關(guān)于模型系統(tǒng)的命題翻譯為關(guān)于目標(biāo)系統(tǒng)的命題，滿足R2。建好模型后，緊接著研究模型，依據(jù)模型中的道具和生成規(guī)則，得到關(guān)于模型系統(tǒng)的虛構(gòu)事實(shí)，例如根據(jù)地球-太陽系統(tǒng)的牛頓力學(xué)模型，我們可以得到虛構(gòu)事實(shí)“地球的公轉(zhuǎn)軌道是橢圓的”。最后，使用鑰匙K，將這些關(guān)于模型系統(tǒng)的虛構(gòu)事實(shí)翻譯成關(guān)于現(xiàn)實(shí)世界的命題，例如我們根據(jù)以上的鑰匙K，可以將虛構(gòu)事實(shí)“地球的公轉(zhuǎn)軌道是橢圓的”翻譯成“地球的公轉(zhuǎn)軌道近似橢圓”。按照以上的幾個步驟，就可以通過研究模型來獲取關(guān)于目標(biāo)系統(tǒng)的信息了。

四? 對弗里嘉模型虛構(gòu)論的反思

弗里嘉的模型虛構(gòu)論在本體論和表征模式上優(yōu)勢明顯，但基于引發(fā)想象的p-表征機(jī)制會帶來模型增殖、模型的本體論問題，基于翻譯的t-表征機(jī)制會帶來模型的認(rèn)識論問題。

1. 模型虛構(gòu)論的優(yōu)勢

在本體論問題上，這種將模型系統(tǒng)看作虛構(gòu)作品中的角色而非抽象實(shí)體的觀點(diǎn)，可以解決模型相似論面臨的不一致問題： 虛構(gòu)作品中的角色雖然不占據(jù)時(shí)空，但我們可以合法地談?wù)撍麄兊臅r(shí)空性質(zhì)，例如福爾摩斯是小說中的虛構(gòu)角色，他本身不占據(jù)時(shí)空，但我們可以合法地說“福爾摩斯生活在維多利亞時(shí)期，他的房子在貝克街上”。

在表征模式上，模型描述引發(fā)對模型系統(tǒng)的p-表征機(jī)制解決了模型擬真論面臨的邏輯性質(zhì)問題：模型描述不會引發(fā)對模型描述自身的想象，正如同小說上的文字不會引發(fā)對這些文字自身的想象，避免了相似和同構(gòu)的自反性問題;由于是模型描述規(guī)定了對模型系統(tǒng)的想象，兩者之間是規(guī)定與被規(guī)定的關(guān)系，因而也不存在對稱性問題。模型系統(tǒng)對目標(biāo)系統(tǒng)的這種t-表征機(jī)制避免了模型擬真論的邏輯性質(zhì)問題： 模型系統(tǒng)并不指謂其自身，目標(biāo)系統(tǒng)也不指謂模型系統(tǒng)。同時(shí)，這種t-表征還可以包容不精確或不正確的表征，例如對于棗糕模型，首先該模型指謂原子， 滿足R1，同時(shí)我們可以將關(guān)于棗糕模型的事實(shí)翻譯成關(guān)于原子的主張，例如可以將棗糕模型中的事實(shí)“電子均勻分布在原子中”直接翻譯成關(guān)于現(xiàn)實(shí)原子的主張“電子均勻分布在原子中”，滿足R2，這說明棗糕模型t-表征原子。此外，這種t-表征的充要條件還包括了意向性，因?yàn)橹钢^是一種具有意向性的活動。

2. p-表征機(jī)制帶來的模型增殖、模型的本體論問題

根據(jù)弗里嘉的論述，兩個模型相同，當(dāng)且僅當(dāng)這兩個模型所包括的虛構(gòu)事實(shí)相同（[22]，p. 134），亦即模型描述規(guī)定的對模型系統(tǒng)的想象相同。按照弗里嘉的理論，這種規(guī)定應(yīng)該是嚴(yán)格的規(guī)定。如若不然，則會直接導(dǎo)致模型的同一性問題。

我們可以將“命題p是被虛構(gòu)作品w嚴(yán)格規(guī)定的”理解為“在虛構(gòu)作品w中，p可證實(shí)”。按照這種理解，命題“福爾摩斯的房子在貝克街上”是被《福爾摩斯探案集》嚴(yán)格規(guī)定的，而命題“福爾摩斯有兩個腎”則不是。類似的，命題“單擺所受回復(fù)力是線性的”是被單擺模型的模型描述嚴(yán)格規(guī)定的，而命題“單擺在最低點(diǎn)時(shí)速度為1m/s”則不是被所有單擺模型的模型描述所嚴(yán)格規(guī)定的。那么，這種有著不同初值的單擺模型是同一個單擺模型嗎？按照弗里嘉的理論，它們不是，原因是這些有著不同初值的單擺模型的模型描述所規(guī)定的對模型系統(tǒng)的想象不同。這意味著模型產(chǎn)生了增殖， 亦即由一個模型生成了大量與之僅有初值不同的模型。例如，由那種模型描述是“回復(fù)力是線性的……”的單擺模型，生成了“回復(fù)力是線性的……且當(dāng)t為0時(shí)，x為C”的單擺模型，其中C是任意常數(shù)。這與我們的直覺相違背。這個問題導(dǎo)致了模型系統(tǒng)的本體論問題，亦即究竟什么是模型系統(tǒng)。

一種較為容易接受的想法是那些最關(guān)鍵的模型描述所規(guī)定的模型系統(tǒng)是真正的模型系統(tǒng)，例如在單擺模型中，模型描述“回復(fù)力是線性的……”可被視為最關(guān)鍵的模型描述，而被其所決定的模型系統(tǒng)是真正的模型系統(tǒng)。但這種回答面臨著是否關(guān)鍵的判斷標(biāo)準(zhǔn)問題。 “對于A和B而言的關(guān)鍵條件”有兩種理解，第一種是使得A與B相互區(qū)別的條件，第二種是A和B共有的條件，無論我們按哪種方式理解都會產(chǎn)生反例，前者的反例是上述單擺的例子①，后者的反例則是各種不斷完善，不斷發(fā)展的模型，例如聯(lián)合國政府間氣候變化專門委員會第一次評估溫室效應(yīng)使用了FAR模型，該模型只包括大氣和潮濕的大地，第二次評估溫室效應(yīng)使用了SAR模型，在FAR模型的基礎(chǔ)上增加了火山活動、硫酸鹽、海洋及洋流等影響因素，這些影響因素不是兩個模型所共有的，但常被視為SAR模型中的關(guān)鍵因素，是SAR模型區(qū)別于FAR模型的原因。除此之外，對某個條件是否關(guān)鍵的判斷似乎是個價(jià)值判斷，例如在穩(wěn)定系統(tǒng)內(nèi)，初值不是個關(guān)鍵條件，而在混沌系統(tǒng)內(nèi)，初值則是個關(guān)鍵條件。這意味著我們沒有辦法給出一個普遍的對于哪些模型描述是關(guān)鍵的判斷標(biāo)準(zhǔn)，甚至這種標(biāo)準(zhǔn)是依賴于每一個人的，這使得我們對模型系統(tǒng)的本體論問題沒有一個統(tǒng)一的說明。

3. t-表征機(jī)制帶來的模型的認(rèn)識論問題

t-表征聯(lián)系的是模型系統(tǒng)與目標(biāo)系統(tǒng)，按照弗里嘉的理論，通過t-表征，我們可以獲得關(guān)于現(xiàn)實(shí)世界的信息。在t-表征中，一個非常關(guān)鍵的因素是鑰匙K的存在性，這種鑰匙K具有將關(guān)于X的事實(shí)翻譯成關(guān)于Y的主張的能力。很自然的追問，這種鑰匙K普遍存在嗎？關(guān)于X的事實(shí)都可以通過鑰匙K翻譯成關(guān)于Y的主張嗎？我們能根據(jù)這種翻譯獲得關(guān)于現(xiàn)實(shí)世界的信息嗎？

弗里嘉對第一個問題的回答是肯定的，這種鑰匙K普遍存在，只不過“這種鑰匙往往是含蓄的，并且是由語境決定的”（[22]，p. 128）。弗里嘉也許也會認(rèn)為在同一個t-表征關(guān)系中，對于具體的關(guān)于X的每一個事實(shí)，將之翻譯成關(guān)于Y的主張的鑰匙K可能不同，甚至均不同。

那么，關(guān)于X的事實(shí)都可以通過鑰匙K翻譯成關(guān)于Y的主張嗎？我們能根據(jù)這種翻譯獲得關(guān)于現(xiàn)實(shí)世界的信息嗎？這個問題涉及到了對弗里嘉所言的“關(guān)于X的事實(shí)”與“關(guān)于Y的主張”的理解。前者指的是虛構(gòu)事實(shí)，亦即被模型描述所規(guī)定的那些命題; 而后者則僅僅指的是關(guān)于Y的命題，“這些主張可真可假”（[22]，p. 130），因?yàn)椤耙粋€可被接受的對t-表征的定義需要為誤表征留下空間”（[22]，p. 129）。按照這種方式理解，我們通過使用模型系統(tǒng)和鑰匙K，最終得到的關(guān)于目標(biāo)系統(tǒng)的主張異?；祀s，既包括“單擺周期與質(zhì)量無關(guān)”這樣的同為虛構(gòu)事實(shí)和目標(biāo)系統(tǒng)事實(shí)的主張，也包括“單擺上的小球是個質(zhì)點(diǎn)”這樣的僅為虛構(gòu)事實(shí)的主張，那我們該在何種意義上理解通過t-表征來獲取關(guān)于目標(biāo)系統(tǒng)的信息呢？一種可能的理解是，將這些關(guān)于目標(biāo)系統(tǒng)的主張c還原成“如果模型系統(tǒng)與目標(biāo)系統(tǒng)之間存在著關(guān)系R，則c”。但這種關(guān)系究竟是什么呢？顯然不是弗里嘉所言的t-表征關(guān)系，而更像是斯特曼所言的“保真度”（[24]，p. 512），這說明了我們無法僅僅通過研究模型系統(tǒng)而獲得關(guān)于目標(biāo)系統(tǒng)的信息。

參考文獻(xiàn)

[1] Duhem， P.. The Aim and Structure of Physical Theory[M]. Princeton， New Jersey： Princeton University Press， 1954. 55—104.

[2] Giere， R. N.. How Models are Used to Represent Reality[J]. Philosophy of Science， 2004， 71（4）： 742—752.

[3] M?ki， U.. Missing the World： Models as Isolations and Credible Surrogate Systems[J]. Erkenntnis， 2009， 70（1）： 29—43.

[4] Suppes， P.. Representation and Invariance of Scientific Structures[M]. Stanford， CA： CSLI Publications， 2002. 51—95.

[5] van Fraassen， B. C.. Structure and Perspective： Philosophical Perplexity and Paradox[A]. Marisa， L.， Dalla， C.. Eds. Logic and Scientific Methods[C]. Dordrecht： Kluwer， 1997. 511—530.

[6] French， S.， Ladyman， J.. Reinflating the Semantic Approach[J]. International Studies in the Philosophy of Science， 1999， 13（2）： 103—121.

[7]蔡海鋒. 科學(xué)模型是虛構(gòu)的嗎？[J]. 自然辯證法研究， 2014， 30（4）： 3—9.

[8] Suárez， M.. Fictions in Scientific Practice[A]. Suárez， M.. Fictions in Science： Philosophical Essays on Modelling and Idealization[C]. New York： Routledge Press， 2009. 3—15.

[9] Frigg， R.. Models and Fiction[J]. Synthese， 2010， 172（2）： 251—268.

[10] Toon， A.. The Ontology of Theoretical Modelling： Models as Make-Believe[J]. Synthese， 2010， 172（2）： 301—315.

[11]趙聰妹. 科學(xué)模型虛構(gòu)觀研究[D]. 南京： 東南大學(xué)人文學(xué)院， 2016. 9—21.

[12] Goodman， N.. Languages of Art[M]. Indianapolis and Cambridge： Hackett， 1976. 4.

[13] Suárez， M.. Scientific Representation： Against Similarity and Isomorphism[J]. International Studies in the Philosophy of Science， 2003， 17（3）： 225—243.

[14] Toon， A.. Models as Make-Believe： Imagination， Fiction and Scientific Representation[M]. Basingstoke： Palgrave MacMillan， 2002. 23.

[15] Frigg， R.. Scientific Representation and the Semantic View of Theories[J]. Theoria， 2006， 21（1）： 49—65.

[16] Barberousse， A.， Ludwig， P.. Models as Fictions[A]. Frigg， R.， Hunter， M. C. Eds. Beyond Mimesis and Convention： Representation in Art and Science[C]. Berlin： Springer， 2010. 56—73.

[17] Thomson-Jones， M.. Missing Systems and the Face Value Practice[J]. Synthese， 2010， 172（2）： 283—299.

[18] Giere， R. N.. Explaining Science： A cognitive approach[M]. Chicago： The University of Chicago Press， 1988.

[19] Teller， P.. Twilight of the Perfect Model Model[J]. Erkenntnis， 2001， 55（3）： 393—415.

[20] Walton， K.. Mimesis as Make-Believe[M]. Cambridge： Harvard University Press， 1990.

[21] Frigg， R.. Models and Fiction[J]. Synthese， 2010， 172（2）： 251—268.

[22] Frigg， R.. Fiction and Scientific Representation[A]. Frigg， R.， Hunter， M. C.. Beyond Mimesis and Convention： Representation in Art and Science[C]. Berlin： Springer， 2010. 97—138.

[23] Chuang， L.. Against the New Fictionalism： A Hybrid View of Scientific Models[J]. International Studies in the Philosophy of Science， 2016， 30（1）： 39—54.

[24] Sterman， J.. Learning from Evidence in a Complex World[J]. American Journal of Public Health， 2006， 96（3）： 505—514.