徐瑞陽

實(shí)在論與反實(shí)在論之爭是科學(xué)哲學(xué)研究無論如何也繞不開的話題，斯坦福哲學(xué)百科將標(biāo)準(zhǔn)的科學(xué)實(shí)在論視為一種對(duì)科學(xué)理論的積極認(rèn)識(shí)態(tài)度，其主張可分為以下三個(gè)層次：在形而上學(xué)層次上，科學(xué)實(shí)在論主張世界是獨(dú)立于心靈的存在；在語義學(xué)層次上，它主張對(duì)科學(xué)關(guān)于世界的論斷應(yīng)作字面解釋，也就是說，關(guān)于科學(xué)對(duì)象、事件、過程、屬性以及關(guān)系的論斷，無論是關(guān)于可觀察對(duì)象還是不可觀察對(duì)象的，都應(yīng)該被字面理解為是具有真值的語句；認(rèn)識(shí)論意義上，科學(xué)實(shí)在論主張理論陳述是關(guān)于獨(dú)立于心靈的實(shí)在的知識(shí)。①Anjan Chakravartty， “Scientific Realism”， in Edward N. Zalta （ed.）， The Stanford Encyclopedia of Philosophy，Stanford： The Metaphysics Research Lab， Stanford University， 2017， https://plato.stanford.edu/archives/sum2017/entries/scientific-realism/， 2023-08-25.然而，模型論工具將向我們揭示，同時(shí)堅(jiān)持這三個(gè)主張的科學(xué)實(shí)在論無法應(yīng)對(duì)各種導(dǎo)致指稱不確定性的反駁。并且這些反駁都揭示著同一個(gè)現(xiàn)象，那就是預(yù)設(shè)了語詞與概念一一映射的傳統(tǒng)認(rèn)識(shí)論立場將使得科學(xué)實(shí)在論無法將客觀實(shí)在標(biāo)記為唯一的預(yù)期模型，解決這個(gè)問題需要在語義學(xué)層次上作出一定讓 步。

在下文中，我們將首先引入一些基本的模型論概念，以此為工具對(duì)科學(xué)實(shí)在論的語義學(xué)主張作模型論表述。之后我們將介紹一種構(gòu)造同構(gòu)的簡單方法——推進(jìn)構(gòu)造法，我們將表明它同時(shí)是普特南的置換論證與紐曼對(duì)結(jié)構(gòu)實(shí)在論反駁的實(shí)質(zhì)核心。第三部分我們將通過拉姆齊語句對(duì)實(shí)在論的語義學(xué)主張進(jìn)行回應(yīng)。但是在第四部分中我們將表明，紐曼論證及其變體證明了弱化的指稱語義學(xué)主張仍然無法處理理論無法選定預(yù)期模型的問題。最后我們將對(duì)一些可能的反駁作出回應(yīng)，并討論能行的科學(xué)實(shí)在論方案所應(yīng)當(dāng)滿足的條 件。

一、塔斯基結(jié)構(gòu)與指稱語義學(xué)

在對(duì)指稱不確定性問題的論述中，普特南將實(shí)在論的語義學(xué)主張總結(jié)為符合原則?！罢胬砭褪钦Z詞（或思維符號(hào)）與外在事物（或事物集合）在某種意義上的符合?！雹貶ilary Putnam， Reason， Truth and History， Cambridge： Cambridge University Press， 1981， p. 49.根據(jù)這一觀點(diǎn)，真理刻畫實(shí)在的方式是展現(xiàn)語言與實(shí)在的結(jié)構(gòu)相似。而表達(dá)這種結(jié)構(gòu)相似的最簡單途徑，就是名稱與對(duì)象、謂詞與屬性之間的指稱關(guān)系。②Hilary Putnam， “Realism and Reason”， Proceedings and Addresses of the American Philosophical Association， Vol. 50，No. 6， 1977， p. 484.我們對(duì)這一原則的考察需要首先澄清模型論意義下的語言與結(jié) 構(gòu)。

（一） 作為符號(hào)的語言

首先在最一般的意義上，理論所采用的語言是符號(hào)的集合，不妨設(shè)為。而符號(hào)又可以分為常元符號(hào)與關(guān)系符號(hào)，分別記作與，即。另一方面，語言所刻畫的對(duì)象本質(zhì)上也可以視為一個(gè)集合，根據(jù)刻畫對(duì)象的不同，該集合的元素既可以是物理對(duì)象，也可以是抽象對(duì)象，或者二者兼有。當(dāng)我們?cè)噲D用語言刻畫這一集合的特征時(shí)，其實(shí)就是在固定一個(gè)結(jié)構(gòu)。一個(gè)結(jié)構(gòu)包含以下要素 ：

（1） 一個(gè)非空集合M，稱為結(jié)構(gòu)的論域 。

（3） 對(duì)于任意n-元關(guān)系符號(hào)存在集合與R對(duì)應(yīng) 。

（二） 指稱語義學(xué)的形式表述

根據(jù)普特南的表述，符合原則所主張的語詞與對(duì)象的對(duì)應(yīng)，在最低程度上可以理解為名稱到對(duì)象的指稱關(guān)系，而這在模型論中則可以理解為為詞項(xiàng)集合T到結(jié)構(gòu)論域M的對(duì)應(yīng)。不妨設(shè)σ為見證該對(duì)應(yīng)關(guān)系的映射，令T={t1，t2，t3…}為中的項(xiàng)，定義函數(shù)σ：T →M如下 ：

（2） 對(duì)于任意n-元謂詞符號(hào)為真當(dāng)且僅當(dāng)（σ（t1），…，σ（tn））

這一構(gòu)造可以遞歸地得出給定語言中所有一階語句與結(jié)構(gòu)的滿足關(guān)系。①郝兆寬等：《數(shù)理邏輯：證明及其限度》，上海：復(fù)旦大學(xué)出版社2014 年版，第90—93 頁。σ將真值與指稱聯(lián)系了起來，表達(dá)了符合原則的實(shí)質(zhì)內(nèi)容，即真理是語言與對(duì)象的一一對(duì)應(yīng)。對(duì)結(jié)構(gòu)的句法和語義的這一表述最早由塔斯基提出，因此也稱“塔斯基結(jié)構(gòu)”。②Alfred Tarski， “The Concept of Truth in Formalized Languages”，in Logic， Semantics， Metamathematics： Papers from 1923 to 1938， London： Clarendon Press， 1956， pp. 152—278.而樸素的科學(xué)實(shí)在論對(duì)指稱的看法恰恰預(yù)設(shè)了這種詞與物一一對(duì)應(yīng)的指稱語義學(xué)，用下面這樣一個(gè)簡單的例子即可說 明。

假設(shè)現(xiàn)有一個(gè)理論。它由三個(gè)句子組成：“Ajax 是貓”、“Betty 是貓”、和“Chad不是貓”。對(duì)該理論的形化需要三個(gè)常元符號(hào){a，b，c}，與一個(gè)一元謂詞符號(hào)C。由此我們可以構(gòu)建一個(gè)滿足該理論的結(jié)構(gòu)（即該理論的模型 ）：

當(dāng)我們把常元對(duì)應(yīng)于自然語言中的語詞，謂詞符號(hào)對(duì)應(yīng)于自然語言的中的“……是一只貓”，那么語言對(duì)結(jié)構(gòu)的解釋使得模型指定了一個(gè)特定的指稱關(guān)系，即“Ajax”指稱Ajax，“Betty”指稱Betty，“Chad”指稱Chad，“……是一只貓”則適用于三者中所有的貓，即Ajax 和Betty。在此意義上，“Ajax 是一只貓”為真當(dāng)且僅當(dāng)

至此，一種真理的形式表述呼之欲出：對(duì)于任意給定的形式語言，要定義語句的真，只需要確定論域上的哪些序列可以滿足對(duì)象語言中的原子語句，以及固定一個(gè)見證語言到論域的映射關(guān)系的函數(shù)。這正是塔斯基對(duì)符合論真理觀的經(jīng)典表述，它精確且符合我們對(duì)真理的直 觀。

一旦我們弄清可滿足性的概念，真理的定義將不會(huì)在造成任何困難：真語句就可以定義為那些滿足一個(gè)任意對(duì)象序列的句子。①Alfred Tarski，“ The Concept of Truth in Formalized Languages”， p. 215.

由此塔斯基成功地將真理概念還原為更為基本的可滿足性概念，順帶還創(chuàng)立了模型論。而樸素的科學(xué)實(shí)在論對(duì)指稱的看法恰恰預(yù)設(shè)了這種詞與物一一對(duì)應(yīng)的指稱語義 學(xué)。

（三） 塔斯基與符合論真理

在繼續(xù)使用塔斯基的真理表述分析形而上學(xué)實(shí)在論問題之前，有必要澄清一個(gè)問題，那就是塔斯基的真理表述與符合論真理觀的關(guān)系。首先，雖然塔斯基本人明確意識(shí)到， 通過滿足概念對(duì)真理的遞歸定義與常識(shí)意義上觀念與對(duì)象相符合的真理觀念是一致的，但是塔斯基并不是符合論真理觀的明確支持者。而對(duì)于塔斯基的真理表述是否就是符合論真理觀的形式表達(dá)，則始終存在爭議。雖然二者存在直覺上的一致，但也有觀點(diǎn)認(rèn)為塔斯基的真理表述并不必然蘊(yùn)涵符合論真理觀。②李主斌：《塔斯基：語義性真理論與符合論》，載《邏輯學(xué)研究》2009 年第4 期。Drew Khlentzos，“Challenges to Metaphysical Realism”， in Edward N. Zalta（ ed.）， The Stanford Encyclopedia of Philosophy.關(guān)鍵在于，我們當(dāng)前對(duì)實(shí)在論觀點(diǎn)的形式化分析并不依賴這樣的蘊(yùn)涵關(guān)系，如果不存在某種塔斯基真理表述所無法表達(dá)的符合論觀點(diǎn)，那么，基于這一形式表述去考察符合論， 就不存在任何邏輯上的不嚴(yán)謹(jǐn) 性。

但是，從模型論角度作更細(xì)致的考察之后我們會(huì)發(fā)現(xiàn)，堅(jiān)持這一主張將導(dǎo)致諸多實(shí)在論難以招架的后果。并且這些反駁最終都指向同一個(gè)問題，那就是堅(jiān)持指稱語義學(xué)將致使實(shí)在論者無法選定預(yù)期模 型。

二、推進(jìn)構(gòu)造法與置換論證

普特南的置換論證是眾多借助模型論工具討論指稱不確定性問題的論證中最簡潔直觀的，它也可以視為由同構(gòu)定義的一個(gè)推論。提姆·巴頓（Tim Button）將這一推論的應(yīng)用稱為推進(jìn)構(gòu)造法（Push-Through Construction）。

（一） 同構(gòu)與推進(jìn)構(gòu)造法

推進(jìn)構(gòu)造法依賴于數(shù)個(gè)圍繞同構(gòu)概念的基本形式定

定義1（同構(gòu)）：令與為兩個(gè)結(jié)構(gòu)，雙射是一個(gè)同態(tài)映射當(dāng)且僅當(dāng)對(duì)于任意常元符號(hào)c，任何n-元關(guān)系符號(hào)R，任意元函數(shù)符號(hào)f，任意a1，…，an∈M：

（1）h（c）=c

（2）（a1，…，an）∈當(dāng)且僅當(dāng)（h（a1），…，h（an））∈義。

定理1：對(duì)于任意兩個(gè)結(jié)構(gòu)與任意雙射h：下列陳述等價(jià) ：

（1）h是與的同態(tài)映射

證明：施歸納于公式復(fù)雜度。①Tim Button & Sean Walsh， Philosophy and Model Theory， New York： Oxford University Press， 2018， pp. 50—54.

定義2（初等等價(jià)）：令與為兩個(gè)結(jié)構(gòu)，如果對(duì)于任意語句當(dāng)且僅當(dāng)那么我們稱與初等等價(jià)，寫作。

引理（推進(jìn)構(gòu)造法）：令為任意語言，令為任意以為論域的結(jié)構(gòu)。令h：M→N為任意雙射，我們通過h固定一個(gè)以N為論域的結(jié)構(gòu)。對(duì)于任意符號(hào)s，令即對(duì)于任意常元符號(hào)c，任何n-元關(guān)系符號(hào)R，任意n-元函數(shù)符號(hào)f，任意a1，…，an∈M，結(jié)構(gòu)將滿足以下條件 ：

（二） 置換論證

在模型論意義上，科學(xué)實(shí)在論主張科學(xué)理論的真應(yīng)當(dāng)被理解為理論陳述被現(xiàn)實(shí)結(jié)構(gòu)所滿足，換言之，科學(xué)理論對(duì)某個(gè)特定模型做出了斷言，實(shí)在論者主張這個(gè)預(yù)期模型（intended model）即客觀實(shí)在。而普特南的置換論證表明，對(duì)于任何非平凡理論的預(yù)期模型，我們都可以構(gòu)造至少一個(gè)與預(yù)期模型同構(gòu)的非預(yù)期模型。二者雖然在語句的可滿足性上卻完全一致，但是在語詞的指稱上卻存在差異。指派語句的真值并不足以確定指稱，因此實(shí)在論者的預(yù)期模型與其他非預(yù)期模型是不可區(qū)分 的。

普特南的原始論證使用的符號(hào)十分繁雜，但是其出發(fā)點(diǎn)是一個(gè)非常直觀的集合論事實(shí)，那就是幾乎所有集合都可以以不同的方式對(duì)其元素進(jìn)行排序（顯然空集與單點(diǎn)集除外），我們可以通過一個(gè)置換函數(shù)表達(dá)對(duì)集合元素位置的調(diào)整。①Hilary Putnam， Reason， Truth and History，pp. 217—218.以剛才三只小貓的結(jié)構(gòu)為例，它的論域M={Ajax，Betty，Chad}?，F(xiàn)在固定一個(gè)論域上的置換函數(shù)h，使得h（Ajax）= Betty，h（Betty）=Chad，h（Chad）=Ajax。通過推進(jìn)構(gòu)造法可以獲得一個(gè)新結(jié)構(gòu)，使得

置換論證自提出以來就受到了眾多批評(píng)，而批評(píng)的思路總體來說是指出指稱關(guān)系不僅僅是由語句在結(jié)構(gòu)中的可滿足性決定的，結(jié)構(gòu)的一些其他特征影響了指稱關(guān)系的確立。而普特南對(duì)此類反駁作了一并回應(yīng)，那就是即便知道“x指稱y當(dāng)且僅當(dāng)x與y具有關(guān)系R”這樣的語句為真，也不能使得理論中的詞項(xiàng)指稱得以確定。因?yàn)橹脫Q論證同樣可以應(yīng)用于這一關(guān)系R，從而使得同一論域內(nèi)的任意元素滿足這一關(guān)系，認(rèn)為固定了語言與實(shí)在之間的唯一對(duì)應(yīng)關(guān)系只不過是個(gè)幻覺。②Ibid. pp. 45—46.這也就是說，任何可用以固定指稱的依據(jù)本身亦構(gòu)成一個(gè)理論，因而不可避免地受到置換論證的反駁，普特南多次采用類似方式對(duì)指稱不確定性問題進(jìn)行回應(yīng)，這種回應(yīng)也被稱為“JMT 策略”（Just-More-Theory Manoeuvre）。①Hilary Putnam， Realism and Reason： Philosophical Papers Vol. 3， Cambridge： Cambridge University Press， 1983，p. 18；Hilary Putnam， “Model Theory and the‘Factuality’ of Semantics”， in Alexander George （ed.）， Reflections on Chomsky， Oxford： Blackwell， 1989， pp. 219—220.

有觀點(diǎn)認(rèn)為，JMT 策略如果成立，就相當(dāng)于無論反對(duì)者試圖采取何種方式固定指稱，還沒開口普特南已經(jīng)堵住了他們的嘴，因?yàn)槿魏畏桨付疾荒鼙荛_置換論證的駁斥，這樣的結(jié)果無異于持徹底的懷疑論，無助于問題的討論。②Bob Hale & Crispin Wright， “Putnam’s Model-Theoretic Argument against Metaphysical Realism”， in Bob Hale，Crispin Wright and Alexander Miller （eds.）， A Companion to the Philosophy of Language， Chichester， UK： John Wiley & Sons， 2017， p. 715.讓我們暫且擱置對(duì)JMT 策略的進(jìn)一步討論，下文中我們會(huì)發(fā)現(xiàn)，它不僅僅可以用以辯護(hù)置換論證，屆時(shí)我們將對(duì)JMT 策略作進(jìn)一步的考 察。

三、拉姆齊語句與拉姆齊實(shí)在論

置換論證得出的是一種徹底的指稱不確定性，它否定了語詞與實(shí)在之間指稱關(guān)系的唯一性。這暗示了一種解決方案，那就是承認(rèn)概念與對(duì)象間具有指稱關(guān)系，但同時(shí)不對(duì)任何特定的指稱關(guān)系作出許諾。拉姆齊語句（Ramsey Sentence）正是表述這一主張的得力工 具。

（一） O/T 二分與拉姆齊語句

拉姆齊語句最早出現(xiàn)于拉姆齊死后出版的論文。③Frank P. Ramsey， Theories， London： Routledge and Kegan Paul， 1931.它的基礎(chǔ)之一是科學(xué)概念的O/T 二分。為了表達(dá)這一區(qū)分，下文中我們用來表示一個(gè)科學(xué)理論的語言，為該理論的所有觀察概念，為該理論所有的理論概念。生成拉姆齊語句的理論本身還須滿足這樣幾個(gè)要求。首先，如前所述，該理論T的語言必須可以被窮盡且排他地劃分為觀察概念與理論概念兩個(gè)部分，即其次，語言必須是關(guān)系性的，即該語言中除了邏輯符號(hào)外只有關(guān)系符號(hào)。由于函數(shù)與等詞符號(hào)可轉(zhuǎn)寫為關(guān)系符號(hào)，所有該要求并不造成困難。最后，該理論必須是有窮的，即T中只有有限多個(gè)句子。只要滿足上述三個(gè)要求，拉姆齊語句允許我們將整個(gè)理論寫為一個(gè)單一語句。生成拉姆齊語句的具體方式，是將語言中的理論謂詞視為二階關(guān)系變?cè)?，?duì)其作存在量詞約束，嚴(yán)格來說

定義3（拉姆齊語句）：令T為任意有窮理論，R1，…，Rn為T中出現(xiàn)的所有謂詞。?表示T中所有語句的合取，表示用關(guān)系變?cè)猉i對(duì)在∧T中謂詞R i出現(xiàn)的位置作普遍替換的結(jié)果。我們將理論T的拉姆齊語句寫作Ramsey（T），那么就有

（二） 拉姆齊實(shí)在論

由于T是有窮的，這意味著T只有有限多個(gè)符號(hào)。并且由于Ramsey（T）中只包含邏輯符號(hào)與符號(hào)，因而Ramsey（T）是一個(gè)二階語句。對(duì)于任意語句與任意語句集，如果，我們稱是的觀察后承。易證Ramsey（T）與T觀察等價(jià)，即

命題1：對(duì)于任意語句當(dāng)且僅當(dāng)Ramsey

在此意義上Ramsey（T）與T有著相同的觀察內(nèi)容。同時(shí)，由于Ramsey（T）本身是一個(gè)語句，沒有直接出現(xiàn)任何理論謂詞，因而它的真不依賴于對(duì)任何不可觀察對(duì)象或關(guān)系的指稱；但即便如此，它又通過約束關(guān)系變?cè)姆绞奖磉_(dá)了理論對(duì)不可觀察領(lǐng)域所做的論斷，因而沒有放棄理論概念對(duì)不可觀察對(duì)象的指稱。拉姆齊語句由此避開了理論概念指稱不確定的問題。有觀點(diǎn)認(rèn)為，理論的拉姆齊語句就表達(dá)了我們對(duì)于不可觀察領(lǐng)域所能知曉的一切， 巴頓將這種觀點(diǎn)稱為拉姆齊實(shí)在論（ramsified realism），它包含兩個(gè)基本主張：首先，Ramsey（T）表達(dá)了T的真實(shí)內(nèi)容；其次，Ramsey（T）表達(dá)的內(nèi)容超出了T的觀察后承，因?yàn)樗瑫r(shí)還表達(dá)了T對(duì)理論概念的論 斷。

對(duì)此有兩點(diǎn)需要注意。首先，拉姆齊實(shí)在論的主張與結(jié)構(gòu)實(shí)在論相容，或者說其本身就可以視作一種相對(duì)保守的認(rèn)識(shí)論實(shí)在論。①John Worrall，“ Structural Realism： the Best of Both Worlds?”， Dialectica， Vol. 43， No. 1—2， 1989， pp. 99—124.如果對(duì)拉姆齊實(shí)在論的觀點(diǎn)做進(jìn)一步加強(qiáng)，則可以得到更為激進(jìn)的本體論結(jié)構(gòu)實(shí)在論。②Steven French & James Ladyman，“ In Defence of Ontic Structural Realism”， in Alisa Bokulich & Peter Bokulich（eds.）， Scientific Structuralism， Dordrecht： Springer Science+Business Media， 2011， pp. 25—42.因此，結(jié)構(gòu)實(shí)在論（無論是認(rèn)識(shí)論意義上與本體論意義上）都可以視作拉姆齊實(shí)在論的擴(kuò) 張。

其次，拉姆齊語句的生成依賴于觀察概念與理論概念的截然二分，即同時(shí)要求以及，而自然語言中的實(shí)際理論并不具有這樣明確的二分。以二元謂詞“x比y大”為例，“故宮比盧浮宮大”表達(dá)了一個(gè)可觀察的事態(tài)，而“光子比電子大”則表達(dá)了兩個(gè)理論概念之間的關(guān)系。因此“x比y大”這一謂詞既不是純粹的觀察謂詞，也不是純粹的理論謂詞。堅(jiān)持O/T 二分就意味著對(duì)“x比y大”這一謂詞作進(jìn)一步的二分，比如用B1表刻畫“x比y大”的觀察事例，用B2刻畫“x比y大”的理論事例。而混合用法——比如“故宮比光子大”——似乎也只能并入后者，因?yàn)楫吘构庾訜o法被直接觀察，只有作出這樣的區(qū)分才能將理論謂詞B2從拉姆齊語句中消 去。

將這一策略付諸實(shí)際顯然會(huì)對(duì)理論的形式化帶來極大的困難，但如果不考慮以上兩個(gè)潛在的困難，那么拉姆齊實(shí)在論的確在一定程度上固定了理論概念與不可觀察對(duì)象的指稱關(guān)系。但下一節(jié)中我們將指出，由紐曼（Max Newman）①M(fèi)ax Newman， “Mr. Russell’s ‘Causal Theory of Perception’”， Mind， Vol. 37， No. 146， 1928， pp. 137—148.提出、戴莫鮑路斯（William Demopoulos）②William Demopoulos and Michael Friedman， “Bertrand Russell’s The Analysis of Matter： Its Historical Context and Contemporary Interest”， Philosophy of Science， Vol. 52， No. 4， 1985， pp. 621—639.進(jìn)一步澄清的論證恰恰可以視為基于上述兩個(gè)問題對(duì)拉姆齊實(shí)在論下的指稱確定性的進(jìn)一步質(zhì)疑。并且這些論證再次指向了同一個(gè)結(jié)果，那就是科學(xué)實(shí)在論無法選定唯一的預(yù)期模 型。

四、紐曼反駁及其變體

羅素在《物的分析》中提出了知覺因果理論（Causal Theory of Perception）。他認(rèn)為“知覺對(duì)象”（percepts）是認(rèn)識(shí)的最基本單位，并且主張我們只對(duì)知覺對(duì)象有直接的認(rèn)識(shí)通道。而知覺對(duì)象是以外部世界的物理刺激為起點(diǎn)的一系列因果關(guān)系的產(chǎn)物，因此知覺就是關(guān)于外部世界特征的編碼信息。羅素支持此觀點(diǎn)關(guān)鍵論據(jù)可以總結(jié)為以下兩條原 則：

（1） 關(guān)系反映原則：知覺對(duì)象的結(jié)構(gòu)反映其物理原因的結(jié)構(gòu)

（2） 赫姆霍茲—外爾原則：不同的知覺由不同的物理原因?qū)е垄哿_素：《物的分析》，賈可春譯，北京：商務(wù)印書館2016 年版，第259—262 頁。

羅素認(rèn)為這兩條原則保證了知覺與外部世界的同構(gòu)，因此關(guān)于外部世界是知識(shí)從根本上說是結(jié)構(gòu)性的。由于羅素同時(shí)主張知覺對(duì)象是知識(shí)的唯一直接來源，這使得知覺因果理論實(shí)質(zhì)上就是一種認(rèn)識(shí)論結(jié)構(gòu)實(shí)在論。④Roman Frigg & Ioannis Votsis， “Everything You Always Wanted to Know about Structural Realism but were Afraid to Ask”， European Journal for Philosophy of Science， Vol. 1， No. 2， 2011， pp. 227—276.

（一） 紐曼對(duì)知覺因果理論的反駁

而對(duì)知覺因果理論的反駁中最顯著的反駁來自紐曼。紐曼認(rèn)為羅素的觀點(diǎn)使得科學(xué)知識(shí)變得平凡。其關(guān)鍵論據(jù)是，對(duì)于任意結(jié)構(gòu)，“只要具有恰當(dāng)?shù)臄?shù)目，任何事物都可以以一定的方式組織為一個(gè)結(jié)構(gòu)”⑤Max Newman， “Mr. Russell’s ‘Causal Theory of Perception’”， Mind， Vol. 37， No. 146， 1928， p. 144.。換言之，任意兩個(gè)等勢(shì)集合都可以在特定解釋下成為同構(gòu)的結(jié)構(gòu)。而推進(jìn)構(gòu)造法告訴我們，任意等勢(shì)的集合之間都存在同態(tài)映射，因而這樣的同構(gòu)必定存在，因此紐曼的反駁可以視為對(duì)推進(jìn)構(gòu)造法的重新表 述。

但從論證的效力上說，紐曼反駁得出了一種比置換論證更強(qiáng)的指稱不確定性。置換論證考慮的是論域相同的不同結(jié)構(gòu)下指稱關(guān)系，對(duì)此實(shí)在論者尚能夠以使用拉姆齊語句消去理論謂詞的方式避開對(duì)特定指稱關(guān)系的許諾，從而抵消指稱不確定性帶來的困難。而紐曼的反駁則指出，理論可以被論域不同的結(jié)構(gòu)所滿足，論域具體由什么構(gòu)成與結(jié)構(gòu)是否能夠滿足理論無關(guān)，因此包括拉姆齊實(shí)在論在內(nèi)的種種結(jié)構(gòu)實(shí)在論同樣無法表明理論究竟是刻畫了實(shí)在還是刻畫了其他非預(yù)期模 型。

一個(gè)顯然的例子是，如果物理宇宙由有窮多個(gè)物理對(duì)象構(gòu)成，那么我們可以通過推進(jìn)構(gòu)造法構(gòu)造出一個(gè)與物理宇宙同構(gòu)的自然數(shù)結(jié)構(gòu)，由于二者是同構(gòu)的，因此在可滿足性上不可區(qū)分。也就是說，即便我們獲得了關(guān)于物理世界的理想理論，這一理論也可能在刻畫某個(gè)抽象的自然數(shù)模型，而這個(gè)自然數(shù)模型顯然不是實(shí)在論者心目中實(shí)在的預(yù)期模型。如此一來，固定語言與現(xiàn)實(shí)的指稱關(guān)系就無從談起了，因?yàn)榧~曼反駁表明，對(duì)于任意預(yù)期模型都可以存在論域不同的非預(yù)期模 型。

紐曼反駁對(duì)所有主張知識(shí)的純粹結(jié)構(gòu)性的觀點(diǎn)都造成了巨大的威脅。但對(duì)于拉姆齊實(shí)在論的支持者而言，由于O/T 二分的存在，他們可以將對(duì)結(jié)構(gòu)知識(shí)的主張限制在理論領(lǐng)域，以此固定理論在可觀察領(lǐng)域的指稱從而避免紐曼反駁。但在進(jìn)一步加工后我們將發(fā)現(xiàn)，紐曼的反駁會(huì)進(jìn)一步威脅到拉姆齊實(shí)在 論。

（二） 紐曼—保守論證

令S為一個(gè)只包含觀察概念的理論，T為另一個(gè)語言更豐富的理論，假設(shè)S與T有著完全相同的觀察后承 。

定義4（后承保守）：令T為一個(gè)理論，S為一個(gè)理論，。T對(duì)S后承保守當(dāng)且僅當(dāng)對(duì)于任意語句，如果那么

該定義描述了一個(gè)簡單的現(xiàn)象，如果T對(duì)S后承保守，那么兩個(gè)理論就包含著完全相同的觀察語句。但如果理論S的語言只包含觀察概念，那么根據(jù)定義，理論T的語言就包含著觀察概念以外的其他概念。但如果S是所有為真的觀察語句，T對(duì)S后承保守就意味著T在觀察意義上是完全可靠的，T無法作出任何假的觀察陳述（否則不一致）。但另一方面，我們也可以通過解釋新符號(hào)的方式將S的任意模型轉(zhuǎn)變?yōu)門的模型，這又引出了另一個(gè)概念 ：

定義5（擴(kuò)張保守）：令T為一個(gè)理論，S為一個(gè)理論，。T對(duì)S擴(kuò)張保守當(dāng)且僅當(dāng)對(duì)于任意滿足S的結(jié)構(gòu)存在結(jié)構(gòu)是的語言擴(kuò)張，并且

基于上述兩個(gè)定義，我們便可以對(duì)紐曼—保守論證的關(guān)鍵論據(jù)進(jìn)行表述 。

命題2：令T為任意有窮理論，令S為任意理論，下列陳述等 價(jià)：

（1）T對(duì)S后承保守

（2）T對(duì)S擴(kuò)張保守

紐曼—保守論證：無論是工具論立場還是實(shí)在論立場，都會(huì)贊成理想理論至少應(yīng)當(dāng)是有效的，即理論的所有定理都為真。而根據(jù)假設(shè)，如果S是所有為真的語句的集合，那么說T是有效的也就是說T對(duì)S后承保守。而根據(jù)命題2，這意味著這表明相比于S，T沒有表達(dá)任何觀察后承以外的可以賦予真值的內(nèi)容，這與拉姆齊實(shí)在論的主張矛盾。另一方面，該論證表明模型可以與語言更豐富的模型得出相同的拉姆齊語句，而模型的語言是不含理論概念的，因此拉姆齊語句中的項(xiàng)在這個(gè)模型中顯然沒有指稱的 。

對(duì)于上述反駁，拉姆齊實(shí)在論唯一的可行回應(yīng)方案是否認(rèn)對(duì)理想理論有效性的訴求。約翰·沃勒爾（John Worrall）對(duì)此的解釋是，假設(shè)T蘊(yùn)涵了某個(gè)無法被納入任何一個(gè)謂詞的對(duì)象的存在，如果我們相信觀察語言完備地刻畫任何可觀察對(duì)象，那么這意味著T邏輯蘊(yùn)涵著一個(gè)類似這樣的語句：“存在一個(gè)不可觀察對(duì)象”。因此，要讓T是有效的，就必須存在不可觀察對(duì)象，然而工具論者不對(duì)不可觀察對(duì)象作存在許諾，因此工具論者也不會(huì)追求理想理論的有效性，紐曼—保守反駁的前提故而不成立。②John Worrall， “Miracles and Models： Why Reports of the Death of Structural Realism may be Exaggerated”，Royal Institute of Philosophy Supplement， Vol. 61， October 2007，pp. 125—154.

（三） 紐曼—基數(shù)論證

紐曼反駁的最強(qiáng)版本是紐曼—基數(shù)論證。它的結(jié)論表明，即便通過訴諸有效性，并且懸置實(shí)在論者無法選定預(yù)期模型的問題，拉姆齊實(shí)在論還是將導(dǎo)致對(duì)于不可觀察領(lǐng)域的知識(shí)僅限于其基數(shù) 。

定義6（子結(jié)構(gòu)）：令和為結(jié)構(gòu)，是的子結(jié)構(gòu)，當(dāng)且僅當(dāng)對(duì)于任意常元符號(hào)c，任意n元關(guān)系符號(hào)R，任意n元函數(shù)符號(hào)f：

命題3：令T為任意-理論，原始一元謂詞令為任意滿足的結(jié)構(gòu)，下列陳述等價(jià) ：

（2）存在一個(gè)具有如下性質(zhì)的基數(shù)κ：對(duì)于任意集合U，如果且那么存在以為論域的結(jié)構(gòu)并且

紐曼—基數(shù)論證：無論是工具論立場還是實(shí)在論立場，都會(huì)承認(rèn)理想理論至少應(yīng)當(dāng)是正確的。但是根據(jù)命題3，理論T是正確的當(dāng)且僅當(dāng)存在一個(gè)基數(shù)κ，將κ個(gè)任意的不可觀察對(duì)象加入后可以得到一個(gè)滿足Ramsey（T）的結(jié)構(gòu)。換言之，Ramsey（T）為真僅僅依賴于T的正確以及論域中有“足夠多”的不可觀察對(duì) 象。

紐曼—基數(shù)論證與置換論證、紐曼的原始論證、紐曼—保守論證在模型論上都使用了同樣的技巧，那就是利用推進(jìn)構(gòu)造法構(gòu)獲得與實(shí)在論者的預(yù)期模型在某一個(gè)評(píng)價(jià)標(biāo)準(zhǔn)上不可區(qū)分的平凡模型。反對(duì)者可能會(huì)指出，這一系列形式化證明忽視了一個(gè)重要因素，那就是在自然語言中對(duì)模型的選定并不是純粹的模型論構(gòu)造，而是出于一些更具體的、非邏輯的現(xiàn)實(shí)原因。我們將在下一節(jié)考察兩個(gè)訴諸此種思路的方案，并綜合先前的論述討論一個(gè)能行的科學(xué)實(shí)在論方案應(yīng)當(dāng)滿足的條 件。

五、指稱語義學(xué)與科學(xué)實(shí)在論

（一） 自然屬性與JMT 策略

訴諸因果關(guān)系將理論概念與特定結(jié)構(gòu)中不可觀察對(duì)象相聯(lián)系，首先需要對(duì)因果關(guān)系作進(jìn)一步界定。一個(gè)結(jié)構(gòu)中的因果關(guān)系，可以發(fā)生在可觀察對(duì)象之間（比如擦火柴與火柴燃燒），也可以存在于理論對(duì)象之間（比如化學(xué)反應(yīng)中涉及微觀事件），也可以是二者的混合（比如放射性元素的衰變與蓋格計(jì)數(shù)器發(fā)出咔噠聲）。如果要從模型論角度刻畫因果關(guān)系，就像先前對(duì)其他謂詞的處理一樣，堅(jiān)持概念的O/T 二分意味著我們可能需要按關(guān)系項(xiàng)的不同對(duì)因果關(guān)系這一概念作進(jìn)一步的劃分。一旦將常識(shí)下的因果關(guān)系進(jìn)行拆解，我們就會(huì)發(fā)現(xiàn)沒有理由認(rèn)為可觀察領(lǐng)域的因果關(guān)系可以對(duì)不可觀察對(duì)象間的因果推理起到任何幫助。并且，堅(jiān)持O/T 二分還面臨著對(duì)混合因果關(guān)系作進(jìn)一步劃分的問題，而對(duì)于澄清不可觀察對(duì)象的因果關(guān)系，目前尚沒有任何充分的解決方案。但如果否認(rèn)O/T 二分，這意味著放棄了拉姆齊語句，放棄了紐曼—基數(shù)反駁反對(duì)的觀 點(diǎn)。

另一種選定預(yù)期模型的方法是訴諸自然屬性。拉姆齊實(shí)在論的支持者可以指出，預(yù)期模型的某些屬性和關(guān)系是自然的，而通過模型論出構(gòu)造的平凡結(jié)構(gòu)只是一個(gè)人為的構(gòu)造物，不能反映現(xiàn)實(shí)世界。①David Lewis， “Putnam’s Paradox”， Australasian Journal of Philosophy， Vol. 62， No. 3， 1984， pp. 221—236.問題在于，聲稱某些關(guān)系或?qū)傩允亲匀坏?，意味著主張存在著一種屬性的屬性，即“自然性”。模型論上說，這將引入一個(gè)二階謂詞N。比如一階謂詞E表示“……是一個(gè)電子”，那么N（E）則表示“‘是電子’是一個(gè)自然屬性”。由于拉姆齊實(shí)在論要求O/T 二分，于是就需要追問N是一個(gè)觀察謂詞還是理論謂詞。而N顯然不能是觀察謂詞，比如，雖然電子是自然的，但我們顯然無法直接觀察電子，因此但這也意味著N會(huì)被拉姆齊語句消去，因?yàn)榇藭r(shí)理論T的拉姆齊語句是

此時(shí)我們發(fā)現(xiàn)，這里出現(xiàn)問題與回應(yīng)普特南置換論證是面臨的問題是相同的，引入一個(gè)可以被拉姆齊語句消去的屬性不會(huì)對(duì)結(jié)構(gòu)的選擇產(chǎn)生任何約束。當(dāng)我們選定了某個(gè)自然結(jié)構(gòu)，也就是在主張?zhí)囟ńY(jié)構(gòu)更為可取。對(duì)于這樣的結(jié)構(gòu)我們總是可以通過論域上的置換函數(shù)與推進(jìn)構(gòu)造法獲得一個(gè)與之等價(jià)但指稱不同的新模型，因此任何訴諸可取性的論證都要應(yīng)對(duì)JMT 策略的反 駁。

（二） 模型不確定性與科學(xué)實(shí)在論

值得一提的是，由于我們所考察的四個(gè)論證其實(shí)都是公理集合論下的推論，而公理集合論自誕生以來的一百多年里反復(fù)經(jīng)歷了學(xué)術(shù)共同體的種種考驗(yàn)，作為數(shù)學(xué)基礎(chǔ)的地位已經(jīng)相當(dāng)穩(wěn)固。②郝兆寬等：《集合論：對(duì)無窮概念的探索》，上海：復(fù)旦大學(xué)出版社 2014 年版。因此我們大可以放下對(duì)論證前提的顧慮。此時(shí)我們清楚地發(fā)現(xiàn)，科學(xué)實(shí)在論的語義學(xué)主張不具有可行性。在最嚴(yán)格意義上，樸素科學(xué)實(shí)在論下的符合原則意味著一個(gè)語句為真，當(dāng)且僅當(dāng)該語句中出現(xiàn)的概念與謂詞與客觀實(shí)在具有唯一的指稱關(guān)系。而普特南的置換論證表明，這一關(guān)系在所有非平凡結(jié)構(gòu)中都不是唯一 的。

在指稱不確定性問題上的讓步將迫使樸素科學(xué)實(shí)在論轉(zhuǎn)向以拉姆齊實(shí)在論為基礎(chǔ)的種種結(jié)構(gòu)實(shí)在論主張。拉姆齊實(shí)在論雖然不對(duì)語詞與實(shí)在之間任何一個(gè)特定指稱關(guān)系作許諾，但紐曼反駁及其變體表明，這一讓步仍不足以選定實(shí)在論者的預(yù)期模型。紐曼的原始論證表明任意兩個(gè)等勢(shì)的集合都可以被解釋為同構(gòu)結(jié)構(gòu)，因此對(duì)結(jié)構(gòu)的知識(shí)是平凡的，因?yàn)榭陀^實(shí)在的模型與任意具有特定基數(shù)的結(jié)構(gòu)是不可區(qū)分的。紐曼—保守論證則指出拉姆齊實(shí)在論對(duì)不可觀察對(duì)象的存在許諾是無意義的，因?yàn)橐粋€(gè)理論與含有理論概念的理論可以生成相同的拉姆齊語句，這意味著拉姆齊實(shí)在論者不僅無法固定任何一個(gè)特定的指稱關(guān)系，在一個(gè)觀察等價(jià)的模型中，理論概念根本就沒有指稱。紐曼—基數(shù)論證則進(jìn)一步表明了理論的經(jīng)驗(yàn)充分性并不能作為理論概念指稱客觀實(shí)在的證據(jù)，因?yàn)閷?duì)于任何含有理論謂詞的理論，都可以通過向論域隨意添加不可觀察元素的方式構(gòu)造出與預(yù)期模型具有相同經(jīng)驗(yàn)充分性的平凡模 型。

由此可見，無論是樸素科學(xué)實(shí)在論還是結(jié)構(gòu)實(shí)在論，其指定單一預(yù)期模型的嘗試是失敗的，而這一訴求的基本動(dòng)機(jī)則是對(duì)于真理是語言與實(shí)在的符合的樸素信仰。而本文的模型論考察表明，如果真理是語言與實(shí)在的符合，那么滿足這一條件的結(jié)構(gòu)總是不唯一的。對(duì)于實(shí)在論者而言，對(duì)這一結(jié)果存在兩個(gè)可能回應(yīng)，一是堅(jiān)持樸素的指稱語義學(xué)主張，這意味著理想理論的模型都是刻畫實(shí)在的，每一個(gè)模型都忠實(shí)表達(dá)了語言與實(shí)在的對(duì)應(yīng)。這進(jìn)而將導(dǎo)致科學(xué)實(shí)在論者必須承認(rèn)現(xiàn)實(shí)的樣式是多樣的，甚至無窮多樣的。與此相比，一個(gè)顯然更合理的可能是，由于理論的模型不唯一，因此語言與實(shí)在的聯(lián)系并不是直接通過指稱關(guān)系獲得的，這就要求我們放棄指稱語義學(xué)主 張。

從實(shí)在論角度理解模型多樣性同時(shí)還暗示了另一個(gè)主張，那就是不再僅僅從句法角度將理論理解為一個(gè)一致的語句集，而是在語義層面將理論視為一族結(jié)構(gòu)，這與蘇佩斯（Patrick Suppes）與范·弗拉森（van Fraassen）等人提出的語義觀（semantic view of theory）不謀而合，“理論不是命題與陳述的集合，而是可以通過語言工具表述的超語言實(shí)體”①蘇佩斯：《科學(xué)結(jié)構(gòu)的表征與不變性》，成素梅譯，上海：上海譯文出版社2011 年版。。由這一表述可以看出，相比于樸素實(shí)在論，語義觀與結(jié)構(gòu)實(shí)在論顯然有著更強(qiáng)的親緣關(guān)系。但采取語義觀的實(shí)在論本身也面臨著有待解決的問題，比如如何在不預(yù)設(shè)指稱語義學(xué)的情況下理解模型對(duì)現(xiàn)實(shí)的表征②Roman Frigg， “Scientific Representation and the Semantic View of Theories”， Theoria. Revista de Teoría，Historia y Fundamentos de la Ciencia， Vol. 21， No. 1， 2006， pp. 49—65.，如何解釋理論轉(zhuǎn)換中的結(jié)構(gòu)損失③Rein Vihalemm， “The Kuhn-loss Thesis and the Case of Phlogiston Theory”， Science & Technology Studies， Vol. 13，No. 1， 2000.等等。限于篇幅我們無法在此對(duì)這些問題作更細(xì)致的討 論。

總結(jié)一下，本文對(duì)四個(gè)模型論論證的考察表明，指稱語義學(xué)主張會(huì)導(dǎo)致科學(xué)實(shí)在論者無法在理論的眾多模型中選定對(duì)應(yīng)客觀實(shí)在的預(yù)期模型，筆者將這一系列問題統(tǒng)稱為“模型不確定性”問題。而為了應(yīng)對(duì)此問題，一個(gè)可行的科學(xué)實(shí)在論方案至少需要放棄對(duì)語言與實(shí)在對(duì)應(yīng)關(guān)系的樸素理 解。