論弗雷格區(qū)分“a=a”和“a=b”失敗

張 灝

(武漢大學(xué) 哲學(xué)學(xué)院，武漢 430072)

論弗雷格區(qū)分“a=a”和“a=b”失敗

張 灝

(武漢大學(xué) 哲學(xué)學(xué)院，武漢 430072)

從柏拉圖到蒯因，哲學(xué)家們提出各種方案證明“a=a”和“a=b”沒有區(qū)分。這些證明盡管沒有邏輯錯(cuò)誤，但是違反經(jīng)驗(yàn)，還是有瑕疵。弗雷格通過賦予語(yǔ)詞意義和指稱，試圖證明“a=a”和“a=b”在認(rèn)知意義上有區(qū)分；但是，由于弗雷格允許意義不同的語(yǔ)詞可以有相同的指稱，他的努力還是功虧一簣，“a=a”和“a=b”依然沒有區(qū)分。有關(guān)同一性問題的討論，盡管弗雷格的回答符合經(jīng)驗(yàn)，但是不如柏拉圖等人的回答在邏輯上完備，沒有矛盾。這是一個(gè)很無奈的結(jié)局。

弗雷格；分析陳述；綜合陳述；意義；指稱

一

同一性(identity)問題是這樣一個(gè)問題：如果名字“a”和名字“b”指向同一個(gè)對(duì)象，那么陳述“a=a”和陳述“a=b”有沒有區(qū)分呢？這個(gè)問題產(chǎn)生于“a=b”帶給人們的困擾：“a”和“b”是兩個(gè)不同的符號(hào)，但這兩個(gè)符號(hào)表示的東西又相同，那“a”和“b”究竟在哪里有區(qū)分？字面上的區(qū)分顯然無濟(jì)于事，因?yàn)橐粋€(gè)事物可以有不同的名字，比如叫魯迅的那個(gè)人其實(shí)也叫周樹人，說“魯迅是魯迅”和說“魯迅是周樹人”，其實(shí)是一回事。

一種觀點(diǎn)是把“a=b”當(dāng)做綜合陳述，“a=a”則當(dāng)做分析陳述，這樣兩個(gè)陳述就有區(qū)分了。“a=b”是綜合陳述，意味著a是不是b需要經(jīng)驗(yàn)的檢驗(yàn)，魯迅是周樹人而不是周作人，因?yàn)閷?shí)際上是周樹人的那個(gè)人的確是魯迅，周作人是另外一個(gè)人；而“a=a”是分析陳述，意味著不需要經(jīng)驗(yàn)檢驗(yàn)，a一定是a，魯迅一定是魯迅，不管用魯迅這個(gè)筆名的人是周樹人還是周作人。

不過，如果深入思考，就會(huì)發(fā)現(xiàn)相反觀點(diǎn)同樣可以成立。事實(shí)上，在提出綜合陳述與分析陳述這些概念的鼻祖——萊布尼茨那里，兩類陳述就沒有嚴(yán)格的區(qū)分。

萊布尼茨用事實(shí)的真理指綜合陳述，這種陳述在萊布尼茨看來，其否定形式是可以成立的，就好像魯迅這個(gè)筆名誰(shuí)都可以用，只是碰巧周樹人用上了，并非周樹人的其他人用魯迅這個(gè)筆名，在邏輯上一點(diǎn)不矛盾。萊布尼茨用理性的真理指分析陳述，這種陳述在萊布尼茨看來，其否定形式是無法成立的，一旦否定這種陳述，必將陷入矛盾，說魯迅不是魯迅，就是矛盾。

區(qū)分了事實(shí)的真理與理性的真理之后，萊布尼茨又指出，所有事實(shí)的真理最終都來源于理性的真理。這其實(shí)是把綜合陳述當(dāng)做分析陳述來對(duì)待。比如“魯迅是周樹人”這個(gè)陳述，表面上看，這應(yīng)該是一個(gè)綜合陳述，因?yàn)檎f魯迅不是周樹人沒有什么矛盾；但是按照萊布尼茨的前定和諧理論，上帝在周樹人出生之前，就已經(jīng)設(shè)定好了周樹人未來的生活，他將來一定會(huì)被人叫做魯迅，這樣，陳述“魯迅是周樹人”就是不能被否定的，魯迅不可能不是周樹人。既然這個(gè)陳述不能被否定，那么這個(gè)陳述實(shí)質(zhì)上就是一個(gè)分析陳述。

二

萊布尼茨的前定和諧理論曾被黑格爾嘲笑有一個(gè)大陰溝：所有解決不了的矛盾，都可以交給上帝，上帝這個(gè)大陰溝什么矛盾都能接納。嘲笑歸嘲笑，在區(qū)分綜合陳述與分析陳述上，相比萊布尼茨，黑格爾其實(shí)也沒有什么值得夸耀的進(jìn)步。黑格爾認(rèn)為同一和差異有一種辯證關(guān)系，首先從同一中產(chǎn)生差異，即從a=a導(dǎo)致a≠a，所有的差異最終又回歸同一，從a≠a又得出a=a，盡管是在一個(gè)新的層面上a=a。黑格爾認(rèn)為差異只是同一的另一種表現(xiàn)形式，是從同一派生出來的，沒有脫離同一的絕對(duì)差異。黑格爾不過是改頭換面，將萊布尼茨的觀點(diǎn)重新表述一番罷了：事實(shí)的真理最終都來源于理性的真理；“a=b”不過是處于偽裝形式的“a=a”。

為了證明“a=a”和“a=b”沒有區(qū)分，還可以請(qǐng)出一些重量級(jí)的人物。如果追溯得夠久遠(yuǎn)，可以找到柏拉圖。對(duì)柏拉圖而言，具體事物都是事物原型其共相的摹本。按照柏拉圖的理論，兩個(gè)摹本a和b能夠相等，不過是因?yàn)樗鼈兡７铝送粋€(gè)共相。如果以F表示共相，那么，以“a=b”形式出現(xiàn)的陳述最終都可以用某個(gè)表示為“a=a”形式的陳述，比如“F=F”來解釋；說a和b相等，不過是說a和b的共相F與自身相等；兩類陳述沒有明顯的界線。

在黑格爾之后，能找到蒯因。蒯因值得重點(diǎn)說說，因?yàn)樗摹癟wo Dogmas of Empiricism”在批評(píng)區(qū)分分析陳述與綜合陳述方面是如此的有名，以至于今天討論分析陳述和綜合陳述有沒有區(qū)分，要離開蒯因幾乎是不可能的。

三

蒯因反對(duì)區(qū)分分析陳述與綜合陳述，一個(gè)重要原因就是他反對(duì)邏輯經(jīng)驗(yàn)主義者的還原論觀點(diǎn)，即“每一個(gè)有意義的陳述都被認(rèn)為可以翻譯成一個(gè)或真或假的、有關(guān)直接經(jīng)驗(yàn)的陳述”[1]38。為了反對(duì)還原論，蒯因提出一種整體論觀點(diǎn)。這里不專門介紹整體論的詳細(xì)內(nèi)容，而僅僅指出整體論與還原論在處理陳述意義與直接經(jīng)驗(yàn)二者關(guān)系上的嚴(yán)重對(duì)立。根據(jù)邏輯經(jīng)驗(yàn)主義者的還原論，一個(gè)陳述是否有意義，完全取決于這個(gè)陳述所描述的直接經(jīng)驗(yàn)是否實(shí)際出現(xiàn)。還原論中“還原”二字也表示，確定一個(gè)陳述的意義，也就是將這個(gè)陳述還原為一些有關(guān)直接經(jīng)驗(yàn)的描述；如果找不到相應(yīng)的直接經(jīng)驗(yàn)，這個(gè)陳述就是無意義的陳述。與邏輯經(jīng)驗(yàn)主義者相反，蒯因認(rèn)為，從一開始就有一些陳述是有意義的；由這些陳述有意義，蒯因隨后指出，會(huì)有那么一些直接經(jīng)驗(yàn)與這些陳述相符合。相比還原論要求陳述的意義符合直接經(jīng)驗(yàn)，整體論要求一種倒符合，是直接經(jīng)驗(yàn)符合陳述的意義。

用蒯因的方法，“a=b”就不是一個(gè)綜合陳述，而是一個(gè)分析陳述。為說明這一點(diǎn)，不妨以歷史上關(guān)于晨星和暮星的天文觀察為例。長(zhǎng)久以來，人們一直以為晨星和暮星是兩顆星，并分別取了兩個(gè)名字“Phosphorus”和“Hesperus”；但經(jīng)驗(yàn)觀察證明是靠不住的，人們以為是兩顆星的東西其實(shí)就是一顆星，即金星。這個(gè)例子的啟示在于：世界上任何不同的兩個(gè)事物a和b都可以是同一個(gè)事物；“a=b”為真，并不像還原論所要求的那樣，必須觀察到a確實(shí)等于b。不！就算觀察到a不等于b，“a=b”依然為真。蒯因的解釋是：a不等于b一定是我們的觀察出了問題，請(qǐng)繼續(xù)觀察，a一定是等于b的！蒯因這里就利用了他的整體論觀點(diǎn)，既然“a=b”有意義，這個(gè)陳述的意義說a等于b，那么，在我們的直接經(jīng)驗(yàn)中，就一定要有符合該意義的事實(shí)——a的確等于b。說“a=b”是分析陳述，也就是說這個(gè)陳述必然為真，它不可能不為真，這個(gè)陳述不允許被否定。

上面的意思引用蒯因原話是這樣說的：“在任何情況下任何陳述都可以被認(rèn)為是真的，如果我們?cè)谙到y(tǒng)內(nèi)其他地方做足夠劇烈的調(diào)整的話。面對(duì)桀驁不馴的經(jīng)驗(yàn)時(shí)，即便是一個(gè)非?？拷鈬年愂鲆部梢越杩诎l(fā)生幻覺或修改被稱為邏輯規(guī)則的陳述，而保持為真?！盵1]43

一旦世界上任何兩個(gè)不同的事物都可以是同一個(gè)事物，那么“a=b”和“a=a”也就沒有了區(qū)別。因?yàn)閍和b在一開始就是同一個(gè)事物，所有認(rèn)為a和b有區(qū)分的經(jīng)驗(yàn)，最終證明都不過是幻覺。蒯因這個(gè)觀點(diǎn)其實(shí)也是前面萊布尼茨和黑格爾觀點(diǎn)的重復(fù)，即所有的綜合陳述最終都可以用一個(gè)分析陳述來表示。就蒯因輕視感官經(jīng)驗(yàn)這一點(diǎn)而言，他尤其像柏拉圖。柏拉圖就認(rèn)為感官經(jīng)驗(yàn)是靠不住的。經(jīng)驗(yàn)中發(fā)現(xiàn)事物a和事物b不同，不管這樣一個(gè)經(jīng)驗(yàn)事實(shí)多么真實(shí)，真實(shí)得桀驁不馴，都可以把它當(dāng)成幻覺加以馴服，因?yàn)槲覀兡苷业绞挛颽和事物b的共相F。就a和b是F的摹本而言，邏輯在先地，a和b其實(shí)早就是同一個(gè)事物了。

四

總而言之，只要愿意，總能找到辦法，證明分析陳述與綜合陳述沒有區(qū)分。但是這里的成功也昭示著某種失敗。從柏拉圖到蒯因，這些人的論證有一個(gè)共同的毛病——違反經(jīng)驗(yàn)。為了證明“a=a”和“a=b”沒有區(qū)分，他們或者借助于誰(shuí)也沒有見過的共相，或者向某個(gè)其存在對(duì)經(jīng)驗(yàn)來說至今還很可疑的存在者(上帝)求救，或者構(gòu)造出一種神秘的辯證法，再或者，就像蒯因那般無賴，將出現(xiàn)在我們感官經(jīng)驗(yàn)中所有與某個(gè)陳述不符的直接經(jīng)驗(yàn)都斥為幻覺。

需要指出的是，一個(gè)論證違反經(jīng)驗(yàn)和這個(gè)論證在邏輯上是否正確是兩回事。通過一些違反經(jīng)驗(yàn)的事例，從柏拉圖到蒯因，哲學(xué)家證明分析陳述與綜合陳述沒有區(qū)分，整個(gè)論證過程都是嚴(yán)密的、有效的，這一點(diǎn)必須承認(rèn)?？蓡栴}是，如果從一開始就不接受那些違反經(jīng)驗(yàn)的事例，那接受分析陳述與綜合陳述沒有區(qū)分的結(jié)論也就有根據(jù)了。這也是兩回事：我們可以不接受那些違反經(jīng)驗(yàn)的結(jié)論，同時(shí)也不挑戰(zhàn)得出那些結(jié)論的論證過程。所以，“a=a”和“a=b”有沒有區(qū)分，分析陳述與綜合陳述有沒有區(qū)分，在歷史上那么多、那么著名的論證做完之后，依然沒有進(jìn)展。因?yàn)樗兄С忠陨蟽深愱愂鲇袇^(qū)分的觀點(diǎn)，對(duì)于持相反觀點(diǎn)的哲學(xué)家而言，都可以被貼上違反經(jīng)驗(yàn)的標(biāo)簽，簡(jiǎn)單地加以拒絕。

盡管筆者贊同以上兩類陳述沒有區(qū)分，但不準(zhǔn)備走柏拉圖他們的老路，繼續(xù)從正面為這個(gè)觀點(diǎn)辯護(hù)。相反，筆者很有興趣考察一下反方觀點(diǎn)，即認(rèn)為“a=a”和“a=b”有區(qū)分的觀點(diǎn)。筆者試圖證明，經(jīng)驗(yàn)其實(shí)也是靠不住的，應(yīng)用一些經(jīng)驗(yàn)事例為兩類陳述有區(qū)分辯護(hù)，最終將陷入邏輯上的不一致。筆者以下的證明，相比柏拉圖等人的證明，一個(gè)優(yōu)點(diǎn)在于，那些堅(jiān)持反方觀點(diǎn)的哲學(xué)家不能不認(rèn)真對(duì)待，他們不能簡(jiǎn)單地加以拒絕，因?yàn)楣P者的證明嚴(yán)格局限于經(jīng)驗(yàn)。那些認(rèn)為兩類陳述有區(qū)分的哲學(xué)家，其中一個(gè)代表人物是弗雷格。筆者的證明就以弗雷格為靶子。

五

同一性問題最早就是弗雷格在“OnSenseandNominatum”中提出的。在這篇文章中，弗雷格給出一種經(jīng)典的解決方案。弗雷格區(qū)分了語(yǔ)詞的意義和語(yǔ)詞指稱，以及陳述的真值和陳述的認(rèn)知意義。他說：“如果a=b，這樣‘a(chǎn)'和‘b'的指稱就是同一個(gè)東西，并由此‘a(chǎn)=a'和‘a(chǎn)=b'的真值也相同。但是，‘b'的意義可以和‘a(chǎn)'的意義不同，并由此命題‘a(chǎn)=b'和命題‘a(chǎn)=a'也可以不同，因?yàn)閮蓚€(gè)句子可以有不同的認(rèn)知意義?！盵2]210

早上出現(xiàn)在天空的那顆星星就是傍晚出現(xiàn)在天空的那顆星星，這肯定要通過實(shí)際觀察才能發(fā)現(xiàn)。從語(yǔ)詞的意義是看不出二者相等的，因?yàn)椤俺啃恰钡囊饬x和“暮星”的意義根本不同，一個(gè)說的是早上出現(xiàn)在天空的那顆星星，一個(gè)說的則是傍晚出現(xiàn)在天空的那顆星星。但是，早上出現(xiàn)在天空的那顆星星就是早上出現(xiàn)在天空的那顆星星，不需要實(shí)際觀測(cè)就能知道，因?yàn)檫@不過是同義反復(fù)的一句廢話。陳述“晨星是晨星”和陳述“晨星是暮星”，在弗雷格看來，前者表示兩個(gè)同義詞相等，后者則表示兩個(gè)不同義的詞相等。這樣，“a=a”和“a=b”也就有了區(qū)分。

按照弗雷格的方法，“a=a”和“a=b”真的可以區(qū)分嗎？

克里普克認(rèn)為，即便根據(jù)弗雷格的理論，“a=a”和“a=b”依然沒有區(qū)分。在“NamingandNecessity”中，克里普克說：“如果‘亞里士多德'意味著一個(gè)人，他曾經(jīng)教過亞歷山大大帝，這樣一來，說‘亞里士多德是亞歷山大大帝的老師'就不過是說一句同義反復(fù)的廢話。但這句話顯然不是廢話，這句話表達(dá)亞里士多德教過亞歷山大大帝這一事實(shí)，而這個(gè)事實(shí)，可以被證明是錯(cuò)誤的。所以，作為亞歷山大大帝的老師不能是名字(意義)的一部分。”[3]

克里普克把“亞里士多德是亞歷山大大帝的老師”這句不是同義反復(fù)的廢話變成廢話，就應(yīng)用了弗雷格的理論，并且這種應(yīng)用是弗雷格始料未及的。根據(jù)弗雷格的理論，一個(gè)詞兼有意義和指稱，這樣，只要亞歷山大大帝的老師是名字“亞里士多德”的意義，那在所有提到亞里士多德這個(gè)人的地方，都可以用“亞歷山大大帝的老師”這個(gè)詞來代替名字“亞里士多德”。這樣，以“a=b”形式出現(xiàn)的陳述“亞里士多德是亞歷山大大帝的老師”就變成了一個(gè)以“a=a”形式出現(xiàn)的陳述“亞歷山大大帝的老師是亞歷山大大帝的老師”，“a=a”和“a=b”沒有區(qū)分。

六

對(duì)于以上這番歸謬論證，弗雷格應(yīng)該沒有辦法反駁，因?yàn)樵谡Z(yǔ)詞意義與指稱之間設(shè)定一種對(duì)應(yīng)關(guān)系的確是他的觀點(diǎn)?！耙粋€(gè)符號(hào)、它的意義和它的指稱三者之間通常的關(guān)系是這樣的：一個(gè)符號(hào)有確定的意義，一個(gè)確定的指稱又符合這個(gè)意義?！盵2]200由于語(yǔ)詞的意義和指稱對(duì)應(yīng)，那在提到語(yǔ)詞意義時(shí)，也就順便提到語(yǔ)詞符合該意義的指稱。弗雷格理論這樣一個(gè)弊端，事實(shí)上早克里普克很久，羅素在“OnDenoting”中就指出過。羅素說：“一個(gè)短語(yǔ)C可以兼有意義和指稱。但是如果我們說到‘C的意義'，我們得到的卻是指稱的意義?！盵4]為說明這一現(xiàn)象，羅素以“格雷詩(shī)歌第一行”為例?！案窭自?shī)歌第一行”這個(gè)短語(yǔ)的意義就是這個(gè)短語(yǔ)本身，即格雷詩(shī)歌的第一行；這個(gè)短語(yǔ)的指稱則是實(shí)際上作為格雷詩(shī)歌第一行的那段文字，即“The curfew tolls the knell of parting day”。在羅素看來，一個(gè)奇怪的現(xiàn)象隨即出現(xiàn)：只要提到格雷詩(shī)歌第一行的意義，提到的總是“The curfew tolls the knell of parting day”這段英文詩(shī)的意義；但實(shí)際上，格雷詩(shī)歌第一行的指稱，即“The curfew tolls the knell of parting day”這段英文詩(shī)，其意義并不是一開始我們想要提到的東西，我們要的是格雷詩(shī)歌第一行的意義。*羅素這里是說短語(yǔ)“C的意義”在指稱上出現(xiàn)了混亂。我們?cè)疽眠@個(gè)短語(yǔ)指向C的意義，但實(shí)際指向的是C的指稱的意義。盡管就意義而言，C的意義和C的指稱的意義相同，但就指稱而言，C和C的指稱卻是兩個(gè)東西，需要區(qū)分。羅素認(rèn)為弗雷格的理論不能區(qū)分這兩種指稱。

弗雷格理論，經(jīng)過羅素的分析，其弊端是這樣的：只要談到一個(gè)詞的意義，實(shí)際上談?wù)摰木褪窃撛~的指稱，語(yǔ)詞的意義其實(shí)就是語(yǔ)詞的指稱。這清楚地說明：只要兩個(gè)詞相等了，那究竟是兩個(gè)不同義的詞的相等，還是兩個(gè)同義詞相等，沒有區(qū)別；換言之，語(yǔ)詞在意義上的區(qū)分是多余的，無用的。

弗雷格的理論如果要獲得挽救，一個(gè)可行的辦法就是停留在意義的層面談?wù)摗癮”和“b”的區(qū)分，而不讓兩個(gè)語(yǔ)詞指稱上的同一干擾到這里的區(qū)分，這樣，或許可以說“a=a”和“a=b”在認(rèn)知意義上是不同的。但很遺憾，這樣一種方法弗雷格自己早就否定了。還是在“OnSenseandNominatum”中，弗雷格就很清楚地說：“對(duì)真的追求促使我們穿透意義進(jìn)入到指稱?！盵2]203弗雷格還說：“在任何一個(gè)判斷中……都有從命題層面到指稱層面(客觀事實(shí))的進(jìn)步?！盵2]203弗雷格禁止我們僅僅停留在意義層面提及語(yǔ)詞的意義，我們提及語(yǔ)詞意義最終不過是為了提及符合該意義的語(yǔ)詞指稱。這時(shí)，要問弗雷格的一個(gè)問題是：既然提到語(yǔ)詞的意義就等于提到了語(yǔ)詞符合該意義的指稱，那讓一個(gè)語(yǔ)詞兼有意義和指稱，究竟還有沒有必要？

這樣一個(gè)問題會(huì)很有趣，估計(jì)也會(huì)讓弗雷格錯(cuò)愕。想當(dāng)年，弗雷格提出他的理論就是因?yàn)樗粷M密爾對(duì)專名的處理。按照密爾的理論，專名沒有內(nèi)涵，只有指稱，這樣，兩個(gè)指稱相同的詞“a”和“b”就沒有了區(qū)分，隨即“a=a”和“a=b”也就沒有了區(qū)分。弗雷格認(rèn)為專名在有指稱的同時(shí)也有意義，這樣，即便指稱相同，“a”和“b”的意義卻不同，“a=a”和“a=b”的認(rèn)知意義也不同，兩個(gè)陳述就得到區(qū)分。但是，通過本文前面的分析可以說，弗雷格從頭到尾就錯(cuò)了，弗雷格的理論讓語(yǔ)詞的意義和指稱變成同一個(gè)東西，我們?cè)谔岬揭饬x時(shí)提到的也是指稱，指稱的相同使得意義的區(qū)分變得毫無必要。相比密爾，弗雷格其實(shí)沒有在區(qū)分“a=a”和“a=b”上前進(jìn)半步。

七

借用前面從柏拉圖到蒯因的證明，可以指出弗雷格的問題究竟出在哪里。

從柏拉圖到蒯因，這些哲學(xué)家為了證明“a=a”和“a=b”沒有區(qū)分，使用了一個(gè)共同的理論預(yù)設(shè)，即邏輯在先地，兩個(gè)不同的事物就是同一個(gè)事物。使用兩個(gè)古老的哲學(xué)術(shù)語(yǔ)，“a=a”代表了本質(zhì)，而“a=b”則代表了現(xiàn)象。現(xiàn)象中兩個(gè)不同的事物能相等，因?yàn)樵诒举|(zhì)上這兩個(gè)事物就是同一個(gè)事物。這不禁讓人想起笛卡爾在《沉思錄》中關(guān)于蠟塊的那個(gè)著名比喻：一塊蠟加熱融化之后，其外觀、色澤、氣味這些屬性都發(fā)生了巨大的變化，為什么還能說這是同一個(gè)蠟塊？因?yàn)樵谌诨^程中，蠟塊的本質(zhì)并沒有發(fā)生變化。

相對(duì)于屬性，事物的本質(zhì)在存在的順序上是在先的，這樣一個(gè)傳統(tǒng)的理性主義觀點(diǎn)，其實(shí)也體現(xiàn)在弗雷格的理論中。就“晨星”和“暮星”共同指向的對(duì)象——金星而言，這兩個(gè)詞的意義，不過是經(jīng)驗(yàn)中，金星所表現(xiàn)出的不同屬性。它一會(huì)兒表現(xiàn)為早上出現(xiàn)在天空那顆星星，一會(huì)兒又表現(xiàn)為傍晚出現(xiàn)在天空的那顆星星；只要在這過程中金星始終保持自身的同一性，它還是原來那顆金星，那么說“晨星是暮星”和說“金星是金星”就沒有什么區(qū)別，“a=a”和“a=b”也就沒有區(qū)別。弗雷格此時(shí)會(huì)陷入一種兩難處境。如果弗雷格還堅(jiān)持“晨星”和“暮星”的意義不同，那么合邏輯的一個(gè)結(jié)果就是：晨星與暮星是兩個(gè)事物，我們找不到根據(jù)，證明這兩個(gè)事物是同一個(gè)事物；就好像我們面對(duì)一塊融化的蠟塊，這個(gè)蠟塊在外觀、色澤、氣味上與原先那個(gè)蠟塊有明顯區(qū)分，我們完全可以說它們已經(jīng)是兩個(gè)不同的事物，而不是同一個(gè)事物。但是，如果弗雷格堅(jiān)持“晨星”和“星”的指稱相同，那么同樣合邏輯的一個(gè)結(jié)果就是：晨星和暮星就是同一個(gè)事物；“晨星”和“暮星”在意義上的區(qū)分立刻就變得無足輕重，也毫無必要。還用蠟塊作類比，只要蠟塊本質(zhì)不變，那不管屬性如何變化，還是同一塊蠟塊。

弗雷格顯然沒有意識(shí)到自己會(huì)陷入如上的兩難處境，相反，他把對(duì)立的兩派觀點(diǎn)拼湊在一起，然后得出一個(gè)在他看來完全合理的結(jié)論：“a”和“b”有相同的指稱，但有不同的意義，這樣“a=a”和“a=b”就有了區(qū)別。真實(shí)情況應(yīng)該是這樣的：如果“a”和“b”有相同的指稱，那么，“a=a”和“a=b”就不會(huì)有區(qū)別。這就是從柏拉圖到蒯因所堅(jiān)持的觀點(diǎn)：邏輯在先地，所有看似不同的事物其實(shí)都是同一事物；如果“a”和“b”有不同的意義，那停留在意義這個(gè)階段，“a=b”就完全缺乏根據(jù)，完全可以說a不等于b。這也是當(dāng)時(shí)那些反對(duì)笛卡爾的經(jīng)驗(yàn)主義者的觀點(diǎn)：從a和b在屬性上的差異得不出a和b具有相同本質(zhì)的結(jié)論。兩派觀點(diǎn)之間其實(shí)有一道深深的鴻溝是無法跨越的。

八

通過揭示弗雷格理論的問題，證明了從經(jīng)驗(yàn)角度為“a=a”和“a=b”有區(qū)分辯護(hù)是不可能的。從經(jīng)驗(yàn)出發(fā)，只能停留在a和b是兩個(gè)不同事物上，無從得知這兩個(gè)事物如何能相等。如果像弗雷格那樣，一方面知道a和b是兩個(gè)不同的事物，另一方面又知道這兩個(gè)事物相等，其實(shí)是同一個(gè)事物，恐怕就得準(zhǔn)備一些經(jīng)驗(yàn)之外的先驗(yàn)知識(shí)。在這一點(diǎn)上，也必須向柏拉圖他們投降了。

弗雷格理論的問題也揭示出區(qū)分綜合陳述與分析陳述的困難。在把“晨星是暮星”當(dāng)做一個(gè)綜合陳述對(duì)待的同時(shí)，隱含地，我們所提出的這個(gè)陳述其實(shí)也是一個(gè)分析陳述，只是這個(gè)陳述分析性的特點(diǎn)不像“晨星是晨星”或“暮星是暮星”那么明顯罷了。筆者這個(gè)觀點(diǎn)其實(shí)也是對(duì)前面蒯因觀點(diǎn)的深入發(fā)揮，事實(shí)上，任何一個(gè)綜合陳述在被提出時(shí)，也就包含了一個(gè)分析陳述的預(yù)設(shè)。這個(gè)預(yù)設(shè)就表現(xiàn)為我們預(yù)先假設(shè)了“晨星是暮星”，然后去經(jīng)驗(yàn)世界尋找與該陳述相符合的事實(shí)，即晨星的確是暮星。這里的預(yù)先假設(shè)是很要命的，它會(huì)讓我們迅速陷入蒯因設(shè)好的圈套：既然已經(jīng)假設(shè)了“晨星是暮星”，那所有與此假設(shè)不符的經(jīng)驗(yàn)事實(shí)都可以被斥為幻覺，無情地拋棄，只尋找能符合這個(gè)假設(shè)的事實(shí)，即晨星的確是暮星。整個(gè)過程中，表面上是在證實(shí)一個(gè)綜合陳述，只有找到“晨星是暮星”這樣一個(gè)事實(shí)，才能說“晨星是暮星”是真的，否則這個(gè)陳述就是假的；但實(shí)際上，我們不過是在證實(shí)一個(gè)分析陳述，從一開始就要求“晨星是暮星”為真，然后要求經(jīng)驗(yàn)世界提供符合該陳述的事實(shí)，即“晨星是暮星”。

任何綜合陳述都有一個(gè)分析陳述做預(yù)設(shè)還是必需的。因?yàn)槿绻麖膰?yán)格的綜合立場(chǎng)出發(fā)，我們看到一個(gè)晨星，又看到一個(gè)暮星，我們一直看到兩個(gè)不同的事物，也以為這兩個(gè)事物就是不同的，那么，我們連“晨星是暮星”這樣一個(gè)陳述都提不出來，更別提證實(shí)它了。弗雷格的理論也就是在這里出了問題。他一上來就提出陳述“a=b”，沒有思考是根據(jù)什么原則提出這樣一個(gè)陳述的；而那個(gè)原則，其表現(xiàn)形式不過就是弗雷格一直想方設(shè)法與“a=b”相區(qū)分的“a=a”。

[1]QUINE W V O. Two dogmas of empiricism[C]//QUINE W V O. From a logical point of view. Cambridge: Harvard University Press, 1980.

[2]FREGE G. On sense and nominatum[C]//MARTINICH A P. The philosophy of language. New York: Oxford University Press, 2001.

[3]KRIPKE S. Naming and necessity[C]//MARTINICH A P. The philosophy of language. New York: Oxford University Press, 2001：273.

[4]RUSSELL B. On denoting[C]//MARTINICH A P. The philosophy of language. New York: Oxford University Press, 2001：216.

OnFregefailingtodistinguish“a=a”and“a=b”

ZHANG Hao

(School of philosophy, Wuhan Univ., Wuhan 430072, China)

From Plato to Quine, philosophers presented different methods to prove “a=a” is not distinct from “a=b”. Though these proofs are correct in logic, they bear flaw as being against experience. By endowing words with sense and reference, Frege managed to prove that there is distinction between “a=a” and “a=b”. However, since it's possible for Frege to assign same reference to words with different senses, he finally failed to distinguish these two statements. In discussions about identity, though Frege's answer is in accord with experience, it's still inferior to Plato and other philosophers' answer which has no contradiction in logic. It's quite a dilemma.

Frege; analytical statement; synthetic statement; meaning; reference

1671-7041(2010)06-0086-05

H0-05

A*

2010-07-08

張 灝(1972-)，男，湖北十堰人，博士研究生；E-mailzhh5342@126.com