思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)：以蓋梯爾案例為例

馮書怡

一 導(dǎo)言

思想實(shí)驗(yàn)是哲學(xué)家們評估哲學(xué)理論是否可靠的重要手段。如果我們發(fā)現(xiàn)一個思想實(shí)驗(yàn)傳遞的哲學(xué)直覺和待評估的哲學(xué)理論(即靶子理論)相沖突，那么我們往往會質(zhì)疑待評估的哲學(xué)理論。我們會傾向于認(rèn)為該理論存在反例，因而站不住腳。以下是兩個經(jīng)典的例子。

例1：蓋梯爾案例(the Gettier case)(1)Edmund L. Gettier, “Is Justified True Belief Knowledge? ” Analysis 23, no. 6 (June 1963): 121-123.

靶子理論：知識定義的JTB理論。該理論認(rèn)為：認(rèn)知主體s知道p，當(dāng)且僅當(dāng)s相信p，s有關(guān)于p的辯護(hù)證據(jù)，并且p為真。

蓋梯爾思想實(shí)驗(yàn)：假設(shè)史密斯相信他辦公室的同事瓊斯擁有福特車。他擁有這個信念是因?yàn)樗耙娺^瓊斯開福特車。從這個信念出發(fā)，他進(jìn)而相信：辦公室里有人擁有福特車。事實(shí)上，他辦公室里確實(shí)有人有福特車，但這個人不是瓊斯，而是布朗。瓊斯的車早就被偷了，他開的那輛福特車是租的。

結(jié)論：“辦公室里有人擁有福特車”是史密斯的一個得到辯護(hù)的真信念，但不是他的知識。因此，知識定義的JTB理論不成立。

例2：僵尸案例(the zombie case)(2)David J. Chalmers, The Conscious Mind: In Search of a Fundamental Theory (Oxford: Oxford University Press, 1996), 95-96.

靶子理論：最小物理主義。該理論認(rèn)為：必然地，如果現(xiàn)實(shí)世界中的所有微觀物理屬性被固定住，那么現(xiàn)實(shí)世界中的所有心靈屬性也被固定住。

僵尸思想實(shí)驗(yàn)：假設(shè)我們把現(xiàn)實(shí)世界物理復(fù)制一遍。也就是說，復(fù)制出來的新世界中，所有的微觀物理事實(shí)都和現(xiàn)實(shí)世界相同，但新世界有僵尸這樣的生物，它們的所有物理屬性都和現(xiàn)實(shí)世界的人相同。它們的疼痛表現(xiàn)和疼痛功能也和現(xiàn)實(shí)世界中的人相同。比如，它們被針扎時，也會大喊一聲“好疼”，也會縮手，也會盡量避免碰到尖銳的物體以免受傷，但它們體會不到疼痛的感受。

結(jié)論：即便世界中所有微觀物理屬性被固定住，還是有可能存在某些心靈屬性，比如疼痛的感受，沒有被固定住。因此，最小物理主義不成立。

哲學(xué)討論中用思想實(shí)驗(yàn)為工具反駁靶子理論的例子還有很多。比如，中文屋思想實(shí)驗(yàn)被用以駁斥強(qiáng)人工智能理論：語法并不是產(chǎn)生語義的充分條件，因此，人的心靈不等同于計(jì)算機(jī)(3)John R. Searle, “Is the Brain’s Mind a Computer Program?” Scientific American 262, no. 1 (January 1990): 26-31.。電車思想實(shí)驗(yàn)被用以駁斥功利主義：我們不認(rèn)為把橋上無辜的胖子推下去擋電車以拯救綁在鐵軌上五個人的性命是道德行為，因此，道德行為并不等同于使得福利最大化的行為(4)Judith Jarvis Thomson, “Killing, Letting Die, and the Trolley Problem,” The Monist 59, no. 2 (April 1976): 204-217.。孿生地球思想實(shí)驗(yàn)被用來駁斥語義內(nèi)部論：地球人和孿生地球人在使用“水”這個詞時，雖然他們大腦的內(nèi)部狀態(tài)是一樣的，但他們說的不是同一個意思。地球人說的是H2O，而孿生地球人說的是XYZ，所以，語言的意義并不完全由大腦內(nèi)部狀態(tài)決定(5)Hilary Putnam, “The Meaning of ‘Meaning’,” in Language, Mind and Knowledge, ed. Keith Gunderson (Minneapolis: University of Minnesota Press, 1975), 131-193.。

雖然上文列舉的都是常見的思想實(shí)驗(yàn)，但它們的接受度，或者說爭議度，并不是相同的。學(xué)界普遍認(rèn)為，蓋梯爾案例是成功的：它成功挑戰(zhàn)了傳統(tǒng)的關(guān)于知識的定義——知識是得到辯護(hù)的真信念。但不少哲學(xué)家認(rèn)為僵尸案例不能擊敗其對應(yīng)的靶子理論(6)查莫斯(David Chalmers)匯總了大多數(shù)批評，參見：David J. Chalmers, “The Two-Dimensional Argument Against Materialism,” in The Character of Consciousness (Oxford: Oxford University Press, 2010), 154-184。。也許正是許多思想實(shí)驗(yàn)處于爭議之中，近十年來，利用思想實(shí)驗(yàn)(以及哲學(xué)直覺、概念分析)等先天工具進(jìn)行哲學(xué)探討的方式，即所謂的“扶手椅”哲學(xué)，遭到了實(shí)驗(yàn)哲學(xué)家們的廣泛質(zhì)疑。再如，馬克里(Edouard Machery)指出，調(diào)查問卷顯示思想實(shí)驗(yàn)有很多不良特征。比如，對同一個思想實(shí)驗(yàn)進(jìn)行具體程度不同的描述，竟然會導(dǎo)致人們對思想實(shí)驗(yàn)蘊(yùn)涵怎樣的結(jié)論作出不同的判斷。然而，對思想實(shí)驗(yàn)進(jìn)行怎樣的描述和哲學(xué)問題本身是無關(guān)的。所以，馬克里認(rèn)為，既然人們對思想實(shí)驗(yàn)的判斷總是受到與哲學(xué)問題無關(guān)的因素影響，這說明思想實(shí)驗(yàn)這種先天工具本身就不值得信賴，應(yīng)當(dāng)徹底被拋棄(7)Edouard Machery, Philosophy Within Its Proper Bounds (Oxford: Oxford University Press, 2017), 6-8.。

為了回應(yīng)實(shí)驗(yàn)哲學(xué)家的批評、捍衛(wèi)思想實(shí)驗(yàn)作為哲學(xué)工具的合法地位，一個嘗試性的工作思路是以澄清思想實(shí)驗(yàn)的內(nèi)在邏輯結(jié)構(gòu)為起點(diǎn)。因?yàn)榧幢銓?shí)驗(yàn)哲學(xué)的調(diào)查結(jié)果是正確的，人們對思想實(shí)驗(yàn)的判斷確實(shí)容易被與哲學(xué)無關(guān)的因素影響，但我們可以合理地猜測，這個影響的來源可能并不是因?yàn)樗枷雽?shí)驗(yàn)這個哲學(xué)工具本身造成的，而是由語言層面的因素造成的。同一個故事，采用不同的講述方式，人們對故事的理解和對主角是非善惡的判斷很可能完全不同，但這種不同很可能是因?yàn)槿藗兪艿搅俗匀徽Z言的干擾，而并非人們不具備判斷是非善惡的能力。如果我們對思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)作出澄清，那么就可以最大程度地降低由自然語言造成的干擾(8)類似的工作在語言哲學(xué)領(lǐng)域已非常常見。比如，羅素就試圖澄清語言的邏輯結(jié)構(gòu)以消除自然語言由表面的語法結(jié)構(gòu)造成的困擾。。

但如前文所述，哲學(xué)各領(lǐng)域的思想實(shí)驗(yàn)汗牛充棟，接受度各不相同。那么，我們應(yīng)該從哪一個思想實(shí)驗(yàn)入手呢？在這個問題上，學(xué)者們采取了“抓典型”的策略：我們先挑選一個公認(rèn)為成功的(也就是接受度最高的)思想實(shí)驗(yàn)，以澄清這個思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)為出發(fā)點(diǎn)。只有先做到這一點(diǎn)，我們才有可能完成如下兩項(xiàng)工作：其一，如果我們能夠?qū)⑦@個最成功的思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)揭示出來，并從中分析出成功的思想實(shí)驗(yàn)需要滿足哪些條件，那么我們就可以以此為標(biāo)準(zhǔn)評判其他的思想實(shí)驗(yàn)是否(不)成功以及因何而(不)成功，那么，“某些思想實(shí)驗(yàn)更可信、某些思想實(shí)驗(yàn)爭議更大”就不再是一個得不到解釋的事實(shí)；其二，我們或許能基于第一項(xiàng)工作，嘗試抵制實(shí)驗(yàn)哲學(xué)家對傳統(tǒng)哲學(xué)的攻擊：就算人們在使用思想實(shí)驗(yàn)這種先天工具時常常得不到穩(wěn)定的判斷，但這種不穩(wěn)定性是由描述思想實(shí)驗(yàn)的自然語言造成的，而不是思想實(shí)驗(yàn)這個哲學(xué)工具本身造成的。

在所有的思想實(shí)驗(yàn)里，蓋梯爾案例被公認(rèn)為是成功的思想實(shí)驗(yàn)。所以一般來說，學(xué)者們對思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)的澄清工作幾乎都從蓋梯爾案例開始。這也是本文要探索的問題：蓋梯爾案例的邏輯結(jié)構(gòu)是怎樣的？下文將聚焦于回答這個問題。當(dāng)然，許多學(xué)者已經(jīng)對這個問題提供了嘗試性回答，提出了不同的關(guān)于蓋梯爾案例的解讀方案(但從學(xué)界已有的討論來看，目前已有的答案都不令人滿意)。筆者的工作必須“站在巨人的肩膀上”進(jìn)行：在對這個問題提供自己的答案之前，筆者必須先展現(xiàn)前序?qū)W者的已有回答，并指出他們的缺陷，這樣才有可能說清楚為何自己的解決方案比他們更優(yōu)。

二 蓋梯爾案例的邏輯結(jié)構(gòu)：三種代表性解讀方案

首先，我們澄清哲學(xué)家們用思想實(shí)驗(yàn)攻擊靶子理論的思路?！按u估的假說或理論宣稱或蘊(yùn)涵一個模態(tài)陳述(通常來說，要么是一個必然性的雙條件句，要么是單方向的蘊(yùn)涵句)”(9)Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 264.：必然地，如果R，那么S。比如，知識定義的JTB理論(以及其他大多數(shù)用“R當(dāng)且僅當(dāng)S”來表達(dá)核心觀點(diǎn)的理論)蘊(yùn)涵了一個必然陳述：必然地，如果命題p是某個認(rèn)知主體s的知識，那么p是s得到辯護(hù)的真信念。最小物理主義的立場則宣稱了一個必然性陳述：必然地，如果現(xiàn)實(shí)世界的所有微觀物理事實(shí)如何如何，那么現(xiàn)實(shí)世界的所有心靈事實(shí)就如何如何。所以，如果要擊敗一個靶子理論，我們必須找到一個可能性陳述：可能地，R且S。而且我們必須給出理由證明這個可能性陳述是得到辯護(hù)的。思想實(shí)驗(yàn)就承擔(dān)了為這個可能性陳述提供辯護(hù)的角色。

通俗地說，任何一個思想實(shí)驗(yàn)實(shí)際上都暗藏了一個結(jié)論為“可能地，R且S”的論證。這個暗藏的論證就是這個思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)。澄清一個思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)，就是把它暗藏的論證重構(gòu)出來，盡量使它成為一個可靠的論證(10)“盡量”的意思是說，我們不能排除這個思想實(shí)驗(yàn)本身就有錯的情況。如果無論怎樣重構(gòu)，我們都不能把一個思想實(shí)驗(yàn)整理成一個可靠論證的形式，我們會傾向于認(rèn)為這個思想實(shí)驗(yàn)本身就有問題。，而且這個重構(gòu)確實(shí)能表達(dá)思想實(shí)驗(yàn)真正想表達(dá)的內(nèi)容(換句話說，這個重構(gòu)必須讓我們覺得它能完美貼合思想實(shí)驗(yàn)傳遞的信息)。接下來，我們以蓋梯爾案例為例，詳細(xì)考察它的邏輯結(jié)構(gòu)。為了簡化行文以及更好地凸顯論證結(jié)構(gòu)，我們需要一定的符號語言作為輔助。

K(x, p)：x知道p。

JTB(x, p)：p是x的得到辯護(hù)的真信念。

GC(x, p)：x和p處于蓋梯爾場景中的關(guān)系。(11)Joel Pust, “Intuition,” The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), updated May 6, 2019, accessed March 4, 2022, https://plato.stanford.edu/archives/sum2019/entries/intuition/.

蓋梯爾案例攻擊的對象是知識定義的JTB理論，或者說，JTB理論所蘊(yùn)涵的必然性陳述：

□?x?p(JTB(x, p)=K(x, p))(12)Joel Pust, “Intuition,” The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), updated May 6, 2019, accessed March 4, 2022, https://plato.stanford.edu/archives/sum2019/entries/intuition/.

所以，蓋梯爾案例的邏輯結(jié)構(gòu)必須是一個以如下陳述為結(jié)論的論證：

那么，蓋梯爾案例暗藏的論證的前提是怎樣的呢？以下是常見的三種解讀方案。

(一)嚴(yán)格蘊(yùn)涵解讀方案

嚴(yán)格蘊(yùn)涵解讀方案認(rèn)為蓋梯爾案例應(yīng)被構(gòu)造為如下論證：

前提1：◇?x?pGC(x, p)

前提2：□?x?p(GC(x, p)?(JTB(x, p)&K(x, p))

前提1毋庸置疑是令人信服的：顯然地，可能有一個認(rèn)知主體——如“史密斯”，和一個命題——如“辦公室里有人擁有福特車”處于蓋梯爾場景中的關(guān)系。

但學(xué)界普遍對前提2不滿意。學(xué)者們對前提2的不滿主要有如下兩點(diǎn)。

第一，學(xué)界公認(rèn)前提2為假。此外，在“為何前提2為假”這個問題上，學(xué)界也有一致意見(15)參見：Timothy Williamson, The Philosophy of Philosophy (Oxford: Blackwell, 2007), 185; Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 274-275; Alexander Geddes, “Judgements about Thought Experiments,” Mind 127, no. 505 (January 2018): 38; Pierre Saint-Germier, “Getting Gettier Straight: Thought Experiments, Deviant Realizations and Default Interpretations,” Synthese 198, no. 2 (February 2021): 1785-1786。。首先，任何一個思想實(shí)驗(yàn)的描述在細(xì)節(jié)方面都是有缺失的。比如說，蓋梯爾案例中就不會提及幾位主角穿怎樣的衣服，有怎樣的興趣愛好，等等。所以，填充更多細(xì)節(jié)，認(rèn)知主體“史密斯”和命題“辦公室里有人擁有福特車”仍然可以處于蓋梯爾場景中的關(guān)系，即填充更多細(xì)節(jié)仍然可以保證前提2前件為真。其次，前提2是一個嚴(yán)格蘊(yùn)涵句。嚴(yán)格蘊(yùn)涵句遵循“增強(qiáng)前件原則(the Principle Strengthening the Antecedent)”：對于任何命題p，q，r，如果p嚴(yán)格蘊(yùn)涵q，那么p和r的合取也嚴(yán)格蘊(yùn)涵q。所以，假如前提2為真，那么無論我們怎樣填充蓋梯爾思想實(shí)驗(yàn)的細(xì)節(jié)，前提2都必須為真(16)Pierre Saint-Germier, “Getting Gettier Straight: Thought Experiments, Deviant Realizations and Default Interpretations,” Synthese 198, no. 2 (February 2021): 1785.。但事實(shí)并非這樣，因?yàn)槲覀兒苋菀渍业角疤?的反例。比如，莫格倫(Anna-Sara Malmgren)已經(jīng)指出，我們可以按如下方式填充蓋梯爾案例的細(xì)節(jié)：“設(shè)想史密斯有理由相信自己容易產(chǎn)生幻覺——以為別人開著福特車上班；而且他也有理由相信自己總是記錯別人以前開什么車?！?17)Anna-Sara Malmgren,“Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 275.在填充這個細(xì)節(jié)之后，前提2的前件仍然為真，但后件為假：“辦公室里有人擁有福特車”這個信念既沒有得到辯護(hù)，也不是“史密斯”的知識。所以，填充更多細(xì)節(jié)很容易使得前提2為假。

第二，學(xué)界公認(rèn)前提2和蓋梯爾案例表達(dá)的內(nèi)容并不相符。更具體地說：前提2比蓋梯爾案例實(shí)際想傳遞的意思強(qiáng)太多。這一點(diǎn)同樣是莫格倫指出的：嚴(yán)格蘊(yùn)涵解讀太強(qiáng)了，所以我們非常容易就找到了前提2的反例。但我們在閱讀蓋梯爾案例講述的故事時，我們的觀感卻不是這樣：至少乍看上去，蓋梯爾案例傳遞的信息是可信的，不太容易遭遇反例(18)Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 276。。這說明，前提2表達(dá)并不是蓋梯爾案例真正想表達(dá)的內(nèi)容。蓋梯爾案例要表達(dá)的內(nèi)容遠(yuǎn)不如嚴(yán)格蘊(yùn)涵句表達(dá)的內(nèi)容那么強(qiáng)。

基于以上兩點(diǎn)，嚴(yán)格蘊(yùn)涵解讀方案被公認(rèn)為是一個失敗的解讀方案。

(二)反事實(shí)條件句解讀方案

出于對上文提到的嚴(yán)格蘊(yùn)涵解讀方案面臨的第二個詰難，即嚴(yán)格蘊(yùn)涵解讀比蓋梯爾案例實(shí)際想傳遞的意思強(qiáng)太多的考慮，威廉姆森(Timothy Williamson)認(rèn)為對蓋梯爾案例的重構(gòu)應(yīng)當(dāng)轉(zhuǎn)向一個較弱的解讀方案。威廉姆森主張，蓋梯爾案例表達(dá)的內(nèi)容是一個反事實(shí)條件句：

前提3：?x?pGC(x, p)□→?x?p(GC(x, p) →(JTB(x, p)&K(x, p))(19)Timothy Williamson, The Philosophy of Philosophy, 186.

前提1仍然不變。所以，根據(jù)威廉姆森的解讀，蓋梯爾案例應(yīng)被重構(gòu)為如下論證：

前提1：◇?x?pGC(x, p)

前提3：?x?pGC(x, p)□→?x?p(GC(x, p) →(JTB(x, p)&K(x, p))

這里有兩點(diǎn)需要解釋。

第一，如果用自然語言描述，前提3真正表達(dá)的意思是：

前提3’：假如某個認(rèn)知主體x和命題p處于蓋梯爾案例的場景中，那么p一定是x得到辯護(hù)的真信念但不是x的知識。

而符號化的前提3并不和自然語言描述的前提3’完全相符。威廉姆森自己也承認(rèn)這一點(diǎn)(21)這里涉及所謂的“驢子回指(donkey anaphora)”問題。參見：Timothy Williamson, The Philosophy of Philosophy, 195-199。。但這并不構(gòu)成對反事實(shí)條件句解讀方案的威脅。因?yàn)檫@僅僅是一個形式語義學(xué)方面的困難：我們的邏輯工具有限，因而不能對自然語言想表達(dá)的意思做到完美刻畫。如果我們覺得符號化的前提3有問題，那么我們不妨在腦子里用自然語言將它理解為前提3。這并不影響整個論證的有效性。

第二點(diǎn)需要澄清的是，為何前提3在強(qiáng)度上比前提2更弱。理由如下：公認(rèn)地，反事實(shí)條件句比嚴(yán)格蘊(yùn)涵句強(qiáng)度弱。我們很容易利用可能世界語義學(xué)來解釋這一點(diǎn)。對于任意命題p，q，□(p→q)為真要求所有p為真的世界都是q為真的世界；而p□→q為真只要求所有離現(xiàn)實(shí)世界最近的p為真的世界都是q為真的世界。所以，利用可能世界語義學(xué)來“翻譯”，前提2為真要求所有可能世界滿足特定要求，而前提3為真只要求某些可能世界——即離現(xiàn)實(shí)世界最近的可能世界——滿足這個要求。既然前提3比前提2強(qiáng)度弱，那么，攻擊前提3就不如攻擊前提2那么容易：攻擊前提2，我們可以任意對前提2的前件進(jìn)行細(xì)節(jié)填充而找到它的反例。但前提3強(qiáng)度更弱，所以我們不容易通過任意對前提3的前件進(jìn)行細(xì)節(jié)填充的方式找到它的反例。

那么，在澄清了以上兩點(diǎn)的基礎(chǔ)上，反事實(shí)條件句解讀方案是一個令人滿意的方案嗎？學(xué)界普遍認(rèn)為，它仍然不令人滿意。比如，莫格倫指出，只要稍加設(shè)計(jì)，我們?nèi)匀徊浑y對前提3的前件進(jìn)行細(xì)節(jié)填充而找到前提3的反例。比如，我們在現(xiàn)實(shí)生活中制造一個實(shí)例：現(xiàn)實(shí)世界中真的有這樣一個“史密斯”，他有理由相信自己容易產(chǎn)生幻覺——以為別人開著福特車上班；而且他有理由相信自己總是記錯別人開什么車。那么，在這個實(shí)例中，“史密斯”的信念——“辦公室里有人擁有福特車”——既沒有得到辯護(hù)，也不是他的知識。實(shí)現(xiàn)這個例子并不難。而這個實(shí)例的存在說明，前提3為假：現(xiàn)實(shí)世界中確實(shí)有認(rèn)知主體和命題處于蓋梯爾案例的場景中，但在現(xiàn)實(shí)世界里(也就是離現(xiàn)實(shí)世界最近的可能世界里)，這個命題不是得到辯護(hù)的真信念(也不是他的知識)(22)Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,”Mind 120, no. 478 (April 2011): 279.。

簡而言之，雖然反事實(shí)條件句解讀比嚴(yán)格蘊(yùn)涵解讀弱，因而不像嚴(yán)格蘊(yùn)涵那樣容易找到反例，但反事實(shí)條件句解讀仍然還是太強(qiáng)。稍加設(shè)計(jì)，我們?nèi)匀徊浑y找到前提3的反例。所以，威廉姆森的解讀方案雖然在一定程度上緩解了嚴(yán)格蘊(yùn)涵解讀方案的困難，但它并不能避免后者遇到的困難：第一，這個重構(gòu)版本的某個前提，即前提3仍然為假；第二，我們?nèi)匀徊浑y找到前提3的反例(雖然比尋找前提2的反例困難一些)，說明前提3也不符合蓋梯爾案例實(shí)際想表達(dá)的內(nèi)容。因此，威廉姆森的反事實(shí)解讀方案仍然不是一個令人滿意的方案。

沿著威廉姆森的思路，蓋蒂斯(Alexander Geddes)對他的方案進(jìn)行了進(jìn)一步的弱化。蓋蒂斯的弱化方案在于給前提3的后件加上一個限制。他將前提3修改成：

前提3*：假如某個認(rèn)知主體x和命題p處于蓋梯爾案例中，那么通常情況下(normally)，p一定是x得到辯護(hù)的真信念但不是x的知識。(23)Alexander Geddes, “Judgements about Thought Experiments,” Mind 127, no. 505 (January 2018): 48.在蓋蒂斯的文章里，他沒有給出前提3*的符號化表達(dá)。普斯特(Joel Pust)也指出這一點(diǎn)。但這不構(gòu)成理論困難：并不是所有自然語言都有必要進(jìn)行符號化表達(dá)。即便沒有符號化，我們也很容易發(fā)現(xiàn)前提3*表達(dá)的意思比前提3更弱。參見：Joel Pust, “Intuition,” The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), updated May 6, 2019, accessed March 4, 2022, https://plato.stanford.edu/archives/sum2019/entries/intuition/。

這個處理確實(shí)削弱了前提3的強(qiáng)度。直覺上，我們認(rèn)為它更貼合蓋梯爾案例要表達(dá)的內(nèi)容。從這一點(diǎn)來看，前提3*確實(shí)是比前提3更好的解讀方案。

然而，蓋蒂斯的弱化方案仍然不令人滿意。比如，普斯特(Joel Pust)指出，無論對反事實(shí)解讀方案進(jìn)行怎樣的弱化，這個路徑下的解讀方案都面臨共同的困難：我們對反事實(shí)條件句真值的判斷往往是經(jīng)驗(yàn)的，而我們對于思想實(shí)驗(yàn)的判斷完全是先天的。從這一點(diǎn)來看，反事實(shí)條件句也不符合蓋梯爾案例要表達(dá)的內(nèi)容(24)Joel Pust, “Intuition,” The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), updated May 6, 2019, accessed March 4, 2022, https://plato.stanford.edu/archives/sum2019/entries/intuition/.。我們以兩個反事實(shí)條件句為例來說明這一點(diǎn)。比如，假設(shè)我們判定“假如張三參加聚會，那么大家一定很開心”為真。我們能作出這樣的判斷是基于我們對張三為人的了解：我們知道他是個逗樂搞笑、討人喜歡的人。假設(shè)我們判定“假如這個坡上沒有灌木叢，那么石頭會一路滑到湖里”為真。我們能作出這樣的判斷是因?yàn)槲覀儗ξ锢矶捎幸欢ǖ牧私狻Ｒ簿褪钦f，我們對反事實(shí)條件句真值的判斷總是需要經(jīng)驗(yàn)證據(jù)參與。如果缺乏經(jīng)驗(yàn)證據(jù)，我們就難以判斷上述兩個反事實(shí)條件句的真值。但是，思想實(shí)驗(yàn)表達(dá)出什么內(nèi)容是基于我們的哲學(xué)直覺的。我們對哲學(xué)直覺的判斷只來自我們對自身的先天反思，是不需要經(jīng)驗(yàn)信息的。所以，假如蓋梯爾思想實(shí)驗(yàn)表述的果真是一個反事實(shí)條件句，無論是前提3還是前提3*，那么我們在判定它的真值時，勢必要借助某些經(jīng)驗(yàn)信息。那么，我們究竟借助了怎樣的經(jīng)驗(yàn)信息才判定這個反事實(shí)條件句為真呢？這個問題似乎非常難回答。事實(shí)上，我們就是單純地憑借先天反思，就認(rèn)為蓋梯爾案例表達(dá)的內(nèi)容令人信服；而那些反對蓋梯爾案例的人也是基于純粹的先天反思認(rèn)為蓋梯爾案例站不住腳。不管是支持還是反對蓋梯爾案例，作出判斷的過程都不需要經(jīng)驗(yàn)參與。筆者認(rèn)為，普斯特的如上批評是反事實(shí)條件句解讀方案面臨的最大挑戰(zhàn)。如果我們能對蓋梯爾案例提供一個成功的解讀方案，我們必須放棄從反事實(shí)條件句出發(fā)的路徑。

(三)可能性陳述解讀方案

不難看出，嚴(yán)格蘊(yùn)涵解讀方案和反事實(shí)條件句解讀方案都是以“必然性”概念為核心建立的解讀方案。如果這兩個方案都失敗了，那么從必然性入手的路徑大概率地都行不通。這也是為何某些學(xué)者，如莫格倫，將目光轉(zhuǎn)向了從可能性入手的路徑。莫格倫的策略是將蓋梯爾案例解讀成一個關(guān)于可能性的陳述：“可能地，存在處于蓋梯爾案例中(如這個案例描述的那樣)的認(rèn)知主體x和命題p，且p是x得到辯護(hù)的真信念但不是x的知識”(25)Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 281.。符號化之后，蓋梯爾案例被重構(gòu)為如下論證：

前提4：◇?x?p(GC(x, p)&JTB(x, p)&K(x, p))(26)Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 281.

單憑這一個前提，我們就能得出：

莫格倫解讀方案的優(yōu)點(diǎn)非常明顯?？赡苄悦}的強(qiáng)度非常弱，很難找到反例去否定。對于絕大多數(shù)可能性命題◇p來說，如果我們認(rèn)為p沒有廣義的邏輯矛盾，即不和邏輯規(guī)則、語義規(guī)則、概念規(guī)則等相沖突，我們就傾向于相信◇p為真。顯然，我們很難認(rèn)為莫格倫提出的前提4存在什么邏輯矛盾。所以，由于前提4是一個可能性陳述，這使得它具有了強(qiáng)度很弱因而可信度非常高的優(yōu)點(diǎn)。

但是，莫格倫的解讀方案仍然有兩個缺陷。第一個缺陷是普斯特指出的：在莫格倫的解讀下，“論證的前提和結(jié)論太接近了”(27)Joel Pust, “Intuition,” The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), updated May 6, 2019, accessed March 4, 2022, https://plato.stanford.edu/archives/sum2019/entries/intuition/.。論證的前提里就直接預(yù)設(shè)了結(jié)論。第二個缺陷(實(shí)際上也是三種解讀方案都存在的缺陷)在于，蓋梯爾案例講述的故事里其實(shí)根本沒有談到“知識”概念。莫格倫自己也承認(rèn)第二個缺陷：“蓋梯爾案例的描述表現(xiàn)出中立性——它既沒有明確地說認(rèn)知主體知道命題‘辦公室里有人擁有福特車’，也沒有明確地說認(rèn)知主體不知道這個命題。”(28)Anna-Sara Malmgren, “Rationalism and the Content of Intuitive Judgements,” Mind 120, no. 478 (April 2011): 274.但是本文討論的三種傳統(tǒng)解讀方案都把“知識”概念直接放進(jìn)對蓋梯爾案例的解讀中。所以，筆者認(rèn)為，一個不直接使用“知識”概念的解讀方案才更貼合蓋梯爾案例本身傳遞的意思，才是更令人滿意的解讀方案。

綜上所述，三種解讀方案各有缺陷。嚴(yán)格蘊(yùn)涵解讀太強(qiáng)以至于很容易被證偽，而且也不貼合蓋梯爾案例想要表達(dá)的意思。雖然威廉姆森和蓋蒂斯的反事實(shí)條件句解讀在強(qiáng)度問題上作出了改進(jìn)，但所有反事實(shí)條件句解讀方案都會面臨另一個困難：我們關(guān)于反事實(shí)條件判斷需要經(jīng)驗(yàn)信息，而我們對思想實(shí)驗(yàn)的判斷是純粹先天的，不需要借助經(jīng)驗(yàn)信息。所以，在這一點(diǎn)上，反事實(shí)條件句解讀也難以貼合蓋梯爾案例想要表達(dá)的意思。目前看來，莫格倫的可能性陳述解讀方案比前兩個解讀方案更優(yōu)。但它仍然存在兩個缺陷。接下來，筆者將沿著莫格倫的思路，基于她的解讀方案，提供一個改進(jìn)的解讀方案，并解釋為何這個方案優(yōu)于本文介紹的三種解讀方案。

三 蓋梯爾案例的邏輯結(jié)構(gòu)：一個改進(jìn)的解讀方案

筆者認(rèn)為，蓋梯爾案例表達(dá)的內(nèi)容并沒有直接使用“知識”概念。它真正想傳遞的意思是：場景中的認(rèn)知主體的辯護(hù)來源是出于認(rèn)知運(yùn)氣。所以，沿著莫格倫的路徑，筆者主張，蓋梯爾案例真正表達(dá)的內(nèi)容是：可能地，存在處于蓋梯爾場景中的認(rèn)知主體x和命題p，且p是x得到辯護(hù)的真信念，且這個得到辯護(hù)的真信念是出于認(rèn)知運(yùn)氣得到的。將它符號化，即：

◇?x?p(GC(x, p)&JTB(x, p)&EL(x, p))(EL(x, p)：p是x由于認(rèn)知運(yùn)氣得到的。)

筆者認(rèn)為，這是蓋梯爾案例表達(dá)的所有內(nèi)容。那么，我們?nèi)绾瓮ㄟ^這個前提得到最后的結(jié)論呢？筆者認(rèn)為，這是我們在蓋梯爾案例講述的故事之外，另外加了一個前提：認(rèn)知運(yùn)氣和知識不相容。我們將它符號化：□?x?p(K(x, p)→EL(x, p))。但這個前提并不是蓋梯爾案例直接傳達(dá)的，而是我們暗自在心中預(yù)設(shè)的。所以，筆者認(rèn)為，蓋梯爾案例可以被重構(gòu)為如下論證：

前提6：◇?x?p(GC(x, p)&JTB(x, p)&EL(x, p))

相較于上文介紹的其他重構(gòu)方案，這個重構(gòu)方案有如下四點(diǎn)優(yōu)勢。

第一，保證了前提的可信度。前提5，即“知識與運(yùn)氣不相容”是知識論領(lǐng)域長期以來的共識(29)關(guān)于“知識與運(yùn)氣不相容”的觀點(diǎn)，參見：Duncan Pritchard, “Virtue Epistemology and Epistemic Luck,” Metaphilosophy 34, no. 1/2 (January 2003): 106-130; Wayne Riggs, “Why Epistemologists Are so down on Their Luck,” Synthese 158, no. 3 (October, 2007): 329-344。。所以，前提5是一個可信度非常高的前提。至于前提6，它和莫格倫的前提4一樣，也是可能性陳述。在前文討論莫格倫的解讀方案時，筆者已經(jīng)論述過，可能性陳述是強(qiáng)度很弱的陳述，不易被反駁。一般來說，對于一個命題◇p，如果我們認(rèn)為p沒有矛盾，那么我們就傾向于相信◇p為真。所以，前提6繼承了前提4可信度高這一優(yōu)點(diǎn)?？傊谇疤岬目尚哦壬?，本文的重構(gòu)繼承了莫格倫可能性解讀方案的優(yōu)點(diǎn)，避免了嚴(yán)格蘊(yùn)涵解讀方案和反事實(shí)條件句解讀方案容易遭遇反例的缺陷。

第二，保證了前提的辯護(hù)方式是先天的。前提5和前提6都是通過先天的方式得到的。前提5所說的“知識和運(yùn)氣不相容”是我們純粹憑借先天的概念分析得到的，它不需要借助任何的經(jīng)驗(yàn)信息。前提6和莫格倫的前提4都是可能性陳述，對它們的辯護(hù)方式是相同的。上文說過，我們對一個可能性命題◇p真值的判斷往往是通過考察p是否有廣義的邏輯矛盾來進(jìn)行的：如果我們認(rèn)為p沒有矛盾，那么我們就傾向于相信◇p為真。這樣判斷真值的方式顯然是先天的。所以，對前提5和6的辯護(hù)都是通過先天手段進(jìn)行的，這非常貼合我們對思想實(shí)驗(yàn)的理解：思想實(shí)驗(yàn)是先天的哲學(xué)方法。在這一點(diǎn)上，本文的重構(gòu)繼承了莫格倫可能性解讀方案的優(yōu)點(diǎn)，避免了反事實(shí)條件句解讀方案的缺陷。

第三，保證了前提沒有直接預(yù)設(shè)結(jié)論。重構(gòu)后的論證，其結(jié)論是從前提5和前提6推出來的。這兩個前提都沒有直接預(yù)設(shè)結(jié)論。所以，本文的重構(gòu)避免了莫格倫解讀方案的第一個缺陷——其前提直接預(yù)設(shè)了結(jié)論。

第四，符合蓋梯爾案例描述的中立性。在本文的重構(gòu)中，前提6只表達(dá)了關(guān)于認(rèn)知運(yùn)氣的內(nèi)容，并沒有提及任何關(guān)于“知識”概念的內(nèi)容。這種解讀更符合我們對蓋梯爾思想實(shí)驗(yàn)到底講了什么故事的直覺：它既沒有明說認(rèn)知主體“知道”辦公室里有人擁有福特車，也沒有明說認(rèn)知主體不“知道”這一點(diǎn)。因?yàn)樵谡J(rèn)知主體是否“知道”辦公室有人有福特車這個問題上，蓋梯爾思想實(shí)驗(yàn)是沉默的——它根本就沒有提及“知識”這個概念(用莫格倫的話來說，蓋梯爾案例的描述是“中立的”)。在本文的重構(gòu)中，“知識”概念是前提5提出來的。而前提5是在蓋梯爾案例的描述之外我們獨(dú)立預(yù)設(shè)的，并不是蓋梯爾案例直接講述的。也就是說，本文主張，蓋梯爾案例講述的故事僅僅是前提6表達(dá)的內(nèi)容，是我們在閱讀蓋梯爾案例時自行“腦補(bǔ)”了前提5。這樣，本文的重構(gòu)保證了蓋梯爾案例描述的中立性，避免了莫格倫解讀方案的第二個缺陷。

總而言之，本文提供的解讀方案有兩方面的優(yōu)點(diǎn)：一方面，它繼承了莫格倫可能性陳述解讀方案的優(yōu)勢，即能夠避免嚴(yán)格蘊(yùn)涵解讀方案和反事實(shí)條件句解讀方案的缺陷；另一方面，它也避免了莫格倫可能性陳述解讀方案的兩個缺陷。從這兩方面看，它是比本文介紹的三種解讀方案更優(yōu)的方案。

四 結(jié)論

澄清蓋梯爾案例的邏輯結(jié)構(gòu)只是一個起點(diǎn)。在此基礎(chǔ)上，未來有兩方面工作值得嘗試。

第一方面的工作是從蓋梯爾案例中提取出一個普遍的判斷標(biāo)準(zhǔn)：成功的思想實(shí)驗(yàn)需要滿足怎樣的要求，并以這個要求為標(biāo)準(zhǔn)解釋“為何某些思想實(shí)驗(yàn)更令人信服、某些思想實(shí)驗(yàn)爭議更大”(30)當(dāng)然，如果我們對更多的思想實(shí)驗(yàn)進(jìn)行重構(gòu)，我們的總結(jié)或許更加可靠和完善。。筆者主張，一個思想實(shí)驗(yàn)如果被認(rèn)為是成功的，至少要滿足三個條件：其一，我們能將它重構(gòu)成一個有效論證；其二，這個重構(gòu)符合思想實(shí)驗(yàn)想要表達(dá)的內(nèi)容；其三，被重構(gòu)出來的論證每個前提都能得到辯護(hù)。

那么，反過來說，如果我們在重構(gòu)的過程中遇到困難，我們就傾向于認(rèn)為這個思想實(shí)驗(yàn)是有爭議的。比如，公認(rèn)僵尸案例就比蓋梯爾案例的爭議大。筆者認(rèn)為，這是因?yàn)槲覀冊谠噲D將僵尸案例整理成論證時，上面三點(diǎn)要求很難同時被滿足。筆者將簡要論述這一點(diǎn)。如果我們用“P”指代現(xiàn)實(shí)世界所有的微觀物理事實(shí)，用“Q”指代現(xiàn)實(shí)世界的某個心靈事實(shí)，比如某人具有疼痛的感受。那么，僵尸思想實(shí)驗(yàn)理應(yīng)被重構(gòu)成結(jié)論是“◇(P∧Q)”的論證。那么，我們是通過怎樣的前提得到這個結(jié)論的呢？我們真的可以得到這個結(jié)論嗎？我們可以從僵尸案例描述的故事尋找資源。但是僵尸案例的描述提供的信息非常有限。它只言說了現(xiàn)實(shí)世界的某些微觀物理事實(shí)，但并沒有言說現(xiàn)實(shí)世界的所有微觀物理事實(shí)究竟是怎樣的。即便我們一條條地列舉現(xiàn)實(shí)世界的微觀物理事實(shí)，我們也只能列舉我們已經(jīng)掌握的事實(shí)，但這并不是所有事實(shí)：未來的科學(xué)發(fā)現(xiàn)總會告訴我們更多物理事實(shí)(31)這也是為何僵尸論證會遇到所謂的“C類”物理主義者的抵制。在“C類”物理主義者看來，未來一旦我們獲取了更多的科學(xué)知識，我們就不會相信僵尸案例?！癈類”物理主義是查莫斯的命名。關(guān)于他對物理主義的分類，以及各類物理主義的立場，參見：David J. Chalmers, “Consciousness and Its Place in Nature,” in Philosophy of Mind: Classical and Contemporary Readings (Oxford: Oxford University Press, 2002), 258-260。。所以，我們能夠得到的結(jié)論只能是◇(S1∧S2∧…Sn∧Q，其中Sn是關(guān)于現(xiàn)實(shí)世界的某一條微觀物理事實(shí))，但這個結(jié)論和僵尸案例想要得到的目標(biāo)結(jié)論“◇(P∧Q)”存在差距(gap)。簡而言之，在澄清僵尸案例邏輯結(jié)構(gòu)的過程中，我們會面臨困難：我們甚至不知道怎樣將這個案例重構(gòu)成一個有效的論證。而在重構(gòu)蓋梯爾案例的邏輯結(jié)構(gòu)時，我們可以做到本文總結(jié)的三個要求。所以，這個區(qū)別似乎可以用來解釋為何某些思想實(shí)驗(yàn)更令人信服，而某些思想實(shí)驗(yàn)爭議更大。當(dāng)然，僅僅通過對兩個思想實(shí)驗(yàn)進(jìn)行重構(gòu)，很難證明筆者主張的理由是充分的。我們需要通過對更多的思想實(shí)驗(yàn)進(jìn)行重構(gòu)來驗(yàn)證這一點(diǎn)。

第二方面的工作是希望以澄清思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)為起點(diǎn)，來抵制實(shí)驗(yàn)哲學(xué)對“扶手椅”哲學(xué)工具的攻擊。誠然，如實(shí)驗(yàn)哲學(xué)家的調(diào)查結(jié)果所示，我們對思想實(shí)驗(yàn)的判斷并不是穩(wěn)定的，但這很有可能是我們受到了思想實(shí)驗(yàn)表面語言的干擾，而不是因?yàn)樗枷雽?shí)驗(yàn)這個工具本身靠不住。為了證明這個猜想，我們可以進(jìn)行更多的問卷調(diào)查。比如，我們可以讓被試閱讀用自然語言描述的思想實(shí)驗(yàn)和讓被試閱讀用邏輯語言描述的思想實(shí)驗(yàn)，并比較調(diào)查結(jié)果。如果調(diào)查結(jié)果顯示，被試在閱讀用邏輯語言描述的思想實(shí)驗(yàn)之后能輸出穩(wěn)定的判斷結(jié)果，那似乎就能說明人們對思想實(shí)驗(yàn)判斷的不穩(wěn)定性來自于語言的干擾，而非因?yàn)樗枷雽?shí)驗(yàn)本身是不可靠的工具。當(dāng)然，這只是對未來的猜測，具體結(jié)果怎樣還需要調(diào)查數(shù)據(jù)來驗(yàn)證。

以上兩點(diǎn)是對未來工作的展望，并不是已經(jīng)得到驗(yàn)證的結(jié)論。但無論如何，從澄清思想實(shí)驗(yàn)的邏輯結(jié)構(gòu)入手，解釋思想實(shí)驗(yàn)爭議的根源，以之來抵制實(shí)驗(yàn)哲學(xué)對傳統(tǒng)“扶手椅”哲學(xué)的攻擊，是一個值得嘗試的工作方向。