- 相關(guān)推薦
悖論研究的誤區(qū)與愛因斯坦的啟示
摘要:導(dǎo)致典型語(yǔ)義悖論的語(yǔ)句均為一個(gè)無窮嵌套的自相似結(jié)構(gòu)的簡(jiǎn)略表達(dá)式,并且具有多種含義而不是單一的確定含義,只要證偽其單義句預(yù)設(shè),此類悖論便可以被消解。類似地,導(dǎo)致典型集合論悖論的語(yǔ)句均涉及一個(gè)并不存在的對(duì)象,只要證偽其存在預(yù)設(shè),此類悖論同樣可被消解。
關(guān)鍵詞:典型悖論 ;預(yù)設(shè); 自相似
Abstract:Every paradoxical sentence causing a typical semantic paradox is the short expression of an infinitely nested self-similar structure and has ambiguous meanings instead of a specific meaning. If only disconfirming the presupposition of single meaning sentence, these paradoxes will be resolved. Similarly, every paradoxical sentence causing a typical set theory paradox involve inexistent object. If only disconfirming the presupposition of existence, those paradoxes will be also resolved.
Key words:typical paradox presupposition self-similar
悖論研究的困境
斯蒂芬·里德曾這樣談及哲學(xué)家與悖論的關(guān)系:“悖論既是哲學(xué)家的惑人之物,又是他們的迷戀之物。悖論吸引哲學(xué)家就像光吸引蛾子一樣。但同時(shí),悖論又是不能忍受的。我們做出的各種努力必然是為了消除悖論。哲學(xué)家是巫師,其任務(wù)就是拯救我們,使我們擺脫這個(gè)惡魔。”[1]
然而,令人驚異的是,自古希臘哲人發(fā)現(xiàn)“說謊者悖論”以來,兩千多年過去了,“巫師”們雖使盡了渾身解數(shù),卻始終未能為我們除去這個(gè)“惡魔”。用大邏輯學(xué)家克林的話說便是:
“問題至今懸而未決,沒有任何一種答案能得到普遍的認(rèn)可。”
“至今沒有一個(gè)人能令人信服地明確指出悖論的推理中有任何謬誤,從而解除悖論!盵2]
“悖論”簡(jiǎn)單得連小孩子都能看懂、又有一代又一代一流思想家為之耗盡心力,竟然無人能解,這實(shí)在是人類思想史上極為罕見的現(xiàn)象。人們不僅要問:出路究竟何在?
愛因斯坦的啟示
愛因斯坦曾經(jīng)斷言[3]:
“我們面對(duì)的重大問題無法在我們制造出這些問題的思考層次上解決。”
那么,“悖論”之所以一直無法解決,是不是由于眾“巫師”花樣翻新的“法術(shù)”始終停留在我們制造出“悖論”的思考層次上呢?回答是肯定的。
下面,我們將以“強(qiáng)化的說謊者悖論”為例展開討論。事實(shí)上,我們業(yè)已表明,愛因斯坦的啟示同樣適用于解決所有“典型語(yǔ)義悖論”——包括“說謊者悖論”、“格雷林悖論”、“理查德悖論”、號(hào)稱“語(yǔ)義學(xué)黑洞”的諸多“三值悖論”等,甚至還適用于解決所有的“典型悖論”。
“強(qiáng)化的說謊者悖論”與無窮嵌套的自相似結(jié)構(gòu)
該“悖論”由一個(gè)極其簡(jiǎn)單的句子——“本句子非真”(其中,“本句子”是指它所在的那個(gè)句子本身,為簡(jiǎn)便計(jì),以下將該句子簡(jiǎn)記作L)引出:
如果L是真的,則L就不是真的;
如果L不是真的,則又有L是真的。
這個(gè)“悖論”的構(gòu)成可謂簡(jiǎn)單至極,難怪霍夫斯塔德要稱其為“一步即成的奇異的循環(huán)”了。
愛因斯坦的警語(yǔ)可以給我們帶來這樣的啟示,那就是,我們必須回過頭來重新審視人們是在什么思考層次上“制造”出這個(gè)怪圈的,從而跳出這一思考層次。
請(qǐng)注意,在“制造”怪圈時(shí),人們苦苦追問的是,如果L是真的(以及如果L不是真的)究竟可以從中推出什么結(jié)論。這實(shí)際上便已然預(yù)設(shè)了(或者說默認(rèn)了)L是一個(gè)單義句(亦即L有且僅有一個(gè)明確的含義),否則,人們便不會(huì)去直接談?wù)揕為真與否,而是會(huì)就L的某一種含義談?wù)撈湔嬷盗恕Q言之,“制造”怪圈的“思考層次”可以用“L是單義句”來刻畫。
依照愛因斯坦的說法,我們應(yīng)該跳出這個(gè)思考層次,亦即對(duì)“L是單義句”這一成見提出質(zhì)疑。
果不其然,這個(gè)預(yù)設(shè)是荒謬的。
事實(shí)上,我們完全可以用反證法嚴(yán)格地證明,L不是單義句而是多義句。該證明十分簡(jiǎn)潔,人們以前之所以沒有想到,并不是由于它有多么復(fù)雜,而是由于始終沒有意識(shí)到“說謊者”竟然有這樣一個(gè)預(yù)設(shè),當(dāng)然就更談不上懷疑其真實(shí)性了。
證明:
不妨假設(shè)L為單義句。
此時(shí)便有,L要么為真要么非真。
如果L為真,則有L非真,矛盾。
由反證法即有,L非真。
如果L非真,則有L為真,矛盾。
由反證法即有,L并非非真。
綜合以上兩個(gè)子證明的結(jié)果便有,L既不是真的也不是非真的,矛盾,證畢。
請(qǐng)注意,在上述假設(shè)(亦即L的預(yù)設(shè))下,談?wù)揕為真與否的句子便是命題,并因而成為合法的推理對(duì)象。這意味著,在該假設(shè)下將怪圈嵌入證明之中乃是合乎邏輯的。
不難看出,L無非是“L非真”的簡(jiǎn)略寫法,兩者雖形式有別而含義并無不同。同理,后者無非是((L非真)非真)的簡(jiǎn)略寫法, 兩者也是形異而義同。此種分析可一直進(jìn)行下去。其結(jié)果是,我們愕然發(fā)現(xiàn),L原來乃是下述無窮嵌套的自相似結(jié)構(gòu)的簡(jiǎn)略寫法,兩者雖形式有別,含義卻并無不同:
。ǎǎā┓钦妫┓钦妫┓钦 (L1)
顯然,這個(gè)無窮嵌套的自相似結(jié)構(gòu)正像一切無窮嵌套的自相似結(jié)構(gòu)一樣,還有一個(gè)奇妙的性質(zhì),那就是,無論在其外層依其構(gòu)造規(guī)律再添加幾層(有限層),所得到的仍為同一個(gè)結(jié)構(gòu)。
例如:
。ǎǎā┓钦妫┓钦妫┓钦妫┓钦 (L2)
。ǎǎā┓钦妫┓钦妫┓钦妫┓钦妫┓钦 (L3)
………………………………………………
與L1實(shí)際上完全相同。
容易看出,我們可以把L1理解成一個(gè)永遠(yuǎn)也說不完的、語(yǔ)義不完整的語(yǔ)句。顯然,L1在這種含義下的真值只能是非真非假的(亦即克里普克所謂的“無根基的”)。與此同時(shí),我們可把L2理解為是在斷言上述含義下的L1非真。由于上述含義下的L1是非真非假的,故而L2的此種含義只能是真的。類似地,我們可把L3理解為是在斷言上述含義下的L2為假。顯然,此種含義下的L3就只能是假的。此種分析可一直進(jìn)行下去,以至無窮:
。ǎǎā┓钦妫┓钦妫┓钦 (L1) 非真非假
(((…)非真)非真)非真)非真 (L2) 真
。ǎǎā┓钦妫┓钦妫┓钦妫┓钦妫┓钦 (L3)假
……………………………………………… 真
……………………………………………… 假
………………………………………………
請(qǐng)注意,L1,L2,L3,…的所有這些不同的含義實(shí)際上都是由同一個(gè)結(jié)構(gòu)——
。ǎǎā┓钦妫┓钦妫┓钦
來表達(dá)的!這足以表明,該無窮嵌套的自相似結(jié)構(gòu)實(shí)際上具有無窮多種含義,并且它在這一系列含義下的真值依次為非真非假以及真與假的交替出現(xiàn)。
由于L與這個(gè)無窮嵌套的自相似結(jié)構(gòu)形異而義同,說它是多義句便是極易理解的了。
附帶說一下,利用無窮嵌套的自相似結(jié)構(gòu)可以巧妙地解決許多看上去似乎根本無法下手的難題。讓我們以一道有趣的數(shù)學(xué)題為例試說明之:
試證如下等式:
=
乍看上去,該等式兩側(cè)的表達(dá)式都十分復(fù)雜,欲證它們相等談何容易,簡(jiǎn)直是無從下手。然而,只要我們能夠看出,左式與右式均為無窮嵌套的結(jié)構(gòu),且其每一層子結(jié)構(gòu)(表達(dá)式本身可視為第0層子結(jié)構(gòu))實(shí)際上均為同一個(gè)結(jié)構(gòu)(具有以上兩個(gè)特點(diǎn)的結(jié)構(gòu)即我們所謂的無窮嵌套的自相似結(jié)構(gòu)),靈感便會(huì)突如其來。
令
,
利用上述無窮嵌套自相似結(jié)構(gòu)的特點(diǎn)立即便有:
,
將二式分別變形即有:
a2-a-1 = 0,b2-b-1 = 0
鑒于a, b均大于0,于是,我們便有a = b,證畢。
回到我們的問題。我們已經(jīng)證明了L是多義句。
至此,人們尋覓已久的答案終于出現(xiàn)了:既然L是多義句,“L是真的”、“L不是真的”便也成了多義句。因而,它們非但不是什么相互矛盾的命題,甚至根本就不成其為正確的推理對(duì)象(正確的推理對(duì)象只能是命題)。這意味著,“說謊者悖論”的推理純屬出于語(yǔ)言誤解的邏輯誤用,根本不合邏輯。這樣我們就回答了克林的問題,徹底消解了“強(qiáng)化的說謊者”。
現(xiàn)在,我們可以把“強(qiáng)化的說謊者悖論”修正如下:
如果“本語(yǔ)句非真”在一種意義上為真,則它在另一種意義上就非真;
如果“本語(yǔ)句非真”在一種意義上非真,則它在另一種意義上就為真。
正如我們已經(jīng)看到的,這非但不復(fù)成其為什么悖論,還不失為一種“新奇”的真理。
反觀此前的諸多解法,才知道“巫師”們?nèi)贾辛恕皭耗А钡娜μ。他們均下意識(shí)地仿照怪圈本身的做法——直接就L本身而不是就其某一含義談?wù)嬲摷,始終沒有意識(shí)到L具有無窮多種含義。
借用愛因斯坦的話,眾“巫師”原來全都是在“制造”怪圈的思考層次上試圖“解決”怪圈。這就難怪他們始終擺脫不了“惡魔”的糾纏:要么自相矛盾、要么回到了原先的怪圈,要么跳出了“油鍋”又進(jìn)“火坑”。
責(zé)任編輯:應(yīng)屆畢業(yè)生論文網(wǎng)
關(guān)于“跳出了‘油鍋’又進(jìn)‘火坑’”我們要多說兩句。如所周知,許多著名的解悖方案——如(關(guān)于“悖論性語(yǔ)句”的)“無意義說”、“非真非假說”以及克里普克的“無根基說”等等雖然看上去似乎解決了老“悖論”,卻會(huì)陷于針對(duì)它們而構(gòu)造出的新“悖論”,從而歸于失敗。由于此類“三值悖論”似乎可以“吸收”和“消化”任何解悖方案,所以被稱作“語(yǔ)義學(xué)黑洞”。針對(duì)上述解悖方案而被造出的“悖論性語(yǔ)句”分別是:
本語(yǔ)句或者是假的或者是無意義的。
本語(yǔ)句或者是假的或者是非真非假的。
本語(yǔ)句或者是假的或者是無根基的。
而相應(yīng)的“怪圈”則分別為:
如果“本語(yǔ)句或者是假的或者是無意義的”是真的,則它就是假的或者是無意義的;
如果“本語(yǔ)句或者是假的或者是無意義的”是假的,則它就是真的;
如果“本語(yǔ)句或者是假的或者是無意義的”是無意義的,則它也是真的。
如果“本語(yǔ)句或者是假的或者是非真非假的”是真的,則它就是假的或者是非真非假的;
如果“本語(yǔ)句或者是假的或者是非真非假的”是假的,則它就是真的;
如果“本語(yǔ)句或者是假的或者是非真非假的”是非真非假的,則它也是真的。
如果“本語(yǔ)句或者是假的或者是無根基的”是真的,則它就是假的或者是無根基的;
如果“本語(yǔ)句或者是假的或者是無根基的”是假的,則它就是真的;
如果“本語(yǔ)句或者是假的或者是無根基的”是無根基的,則它也是真的。
顯然,上述方案非但無法解決相應(yīng)的新“悖論”,還將陷于這些新“悖論”而不能自拔。
尤為令人哭笑不得的是,即便承認(rèn)“本語(yǔ)句為假”是悖論性的,居然依舊逃不出新“悖論”的魔爪。此時(shí)的“悖論性語(yǔ)句” 變成了:
本語(yǔ)句或者是假的或者是悖論性的。
而相應(yīng)的怪圈則為:
如果“本語(yǔ)句或者是假的或者是悖論性的”是真的,則它就是假的或者是悖論性的;
如果“本語(yǔ)句或者是假的或者是悖論性的”是假的,則它就是真的;
如果“本語(yǔ)句或者是假的或者是悖論性的”是悖論性的,則它也是真的。
令人欣慰的是,本方案似乎可以經(jīng)受住此種嚴(yán)酷的考驗(yàn),不會(huì)因重新陷入“怪圈”而歸于失敗。
請(qǐng)注意,此時(shí)的“悖論性語(yǔ)句”應(yīng)為:
本語(yǔ)句或者是假的或者是多義句。(M)
而相應(yīng)的“語(yǔ)義學(xué)黑洞”應(yīng)為:
如果M是真的,則M或者是假的或者是多義句;
如果M是假的,則M就是真的;
如果M是多義句,則M也是真的。
不難看出,第三個(gè)推理顯然不能成立。這是因?yàn),既然M為多義句,我們便再也不能籠統(tǒng)地談?wù)揗的真值,充其量也只能由“M是多義句”推出“M在其任何一種意義上都是真的”,而絕不能由此推出“M是真的”來。
典型語(yǔ)義悖論之統(tǒng)一消解原理
進(jìn)一步的研究表明,包括“說謊者悖論”、“格雷林悖論”、“理查德悖論”、“語(yǔ)義學(xué)黑洞”在內(nèi)的所有“典型語(yǔ)義悖論”實(shí)際上都是在一個(gè)假預(yù)設(shè)下產(chǎn)生的,這個(gè)預(yù)設(shè)便是,相關(guān)的“悖論性語(yǔ)句”(如“本句子為假”、“‘非自狀的’是非自狀的”、“i是理查德數(shù)”等)為單義句。如若不然,人們就不會(huì)簡(jiǎn)單地談?wù)撨@些句子的真值為何,而是去談?wù)撍鼈兙烤褂袔追N含義以及其每一種含義的真值為何了。換言之,“典型語(yǔ)義悖論”的毛病并不像以前所認(rèn)為的那樣,是出在前提或者推理規(guī)則上,而是出在預(yù)設(shè)上。
典型悖論之統(tǒng)一消解原理
不難看出,典型的“集合論悖論”原來與“典型語(yǔ)義悖論”一樣,也是基于一個(gè)虛假的預(yù)設(shè),只要證明了這個(gè)預(yù)設(shè)是假的,問題也就應(yīng)刃而解了。例如,就著名的“羅素悖論”而言,便是預(yù)設(shè)了“羅素集”的存在,而事實(shí)上這樣的“集合”根本就不存在,一如弗雷格晚年所意識(shí)到的那樣。類似地,“理發(fā)師悖論”和“目錄悖論”則預(yù)設(shè)了特定的理發(fā)師和目錄的存在,而諸如此類的理發(fā)師和目錄也根本不存在。
于是,我們便進(jìn)而為所有“典型悖論”找到了一個(gè)非特設(shè)性的統(tǒng)一解,那就是證偽其一個(gè)預(yù)設(shè)并利用由此得到的“新知”使之歸于消解。
“強(qiáng)化的說謊者悖論”之盧卡西維茨-塔斯基推導(dǎo)指誤
“典型語(yǔ)義悖論”以及“典型悖論”的統(tǒng)一消解原理不僅可以用來消解“悖論”,從而捍衛(wèi)邏輯乃至人類理性的可靠性,還為我們重新審視各種相關(guān)理論提供嶄新的視角。對(duì)于那些影響深遠(yuǎn)的經(jīng)典之論,這樣做無疑顯得尤為必要。
關(guān)于“強(qiáng)化的說謊者悖論”,盧卡西維茨給出過一個(gè)著名的推導(dǎo)。此一推導(dǎo)為塔斯基所沿用,并用來作為建立其形式語(yǔ)言真理論的依據(jù)。時(shí)至今日,該推導(dǎo)仍被視為無懈可擊,以至于被稱作是該“悖論”的“精確塑述”。然而,在我們看來,該推導(dǎo)實(shí)際上并不可靠。
首先,讓我們審視一下盧卡西維茨-塔斯基推導(dǎo)?紤]如下句子:
本頁(yè)本行的句子不是真的。
為簡(jiǎn)明計(jì),我們將用S指稱這個(gè)句子。將“S”和這個(gè)句子本身分別代入公式(T)——
X是真的,當(dāng)且僅當(dāng)P。
中的X和P,即得如下(T)型等值式:
S是真的,當(dāng)且僅當(dāng)本頁(yè)本行的句子不是真的。
由于“S”與“本頁(yè)本行的句子”所指稱的乃是同一個(gè)句子,依照萊布尼茲定理便有:
S是真的,當(dāng)且僅當(dāng)S不是真的。
這正是“強(qiáng)化的說謊者悖論”。
上述推導(dǎo)看似天衣無縫,實(shí)則不然。它實(shí)際上從一開始就有毛。汗剑═)并不適用于所有語(yǔ)句,它僅對(duì)單義句成立,而對(duì)多義句并不成立。
顯然,對(duì)任一單義句P而言,若X是其名稱,公式(T)——“X是真的,當(dāng)且僅當(dāng)P”顯然成立。例如:“雪是白的”是真的,當(dāng)且僅當(dāng)雪是白的。這正是塔斯基舉過的那個(gè)著名的例子。
然而,對(duì)任一多義句P而言,若X是其名稱,“X是真的”便也成了多義句,因而也就根本就談不上什么兩者之間的相互推出。這意味著,公式(T)——“X是真的,當(dāng)且僅當(dāng)P”肯定不成立。如若不然,兩者就可以相互推出了。
請(qǐng)注意,塔斯基推導(dǎo)的第一步便是將語(yǔ)句——“本頁(yè)本行的句子不是真的”及其名稱“S”分別代入公式(T)。不難看出,“本頁(yè)本行的句子不是真的”完全同義于“本句子非真”,屬于多義句,因而,公式(T)對(duì)該語(yǔ)句實(shí)際上并不成立。這意味著,將該句子及其名稱分別代入公式(T)所得到結(jié)果肯定不成立。由此可見,塔斯基推導(dǎo)的第一步就是錯(cuò)誤的。
我們?cè)谝黄獙iT討論塔斯基真理論的文章中所涉及的內(nèi)容比這里更多一些,共提出以下幾點(diǎn)不同看法[4]:
1.公式(T)僅對(duì)單義句成立,對(duì)多義句不成立;
2.由公式(T)到“說謊者悖論”之推導(dǎo)不可靠;
3.“說謊者悖論”并非真正意義上的悖論;
4.適當(dāng)?shù)恼胬矶x只應(yīng)蘊(yùn)涵任何單義句的(T)型等值式而不是必須蘊(yùn)涵任何語(yǔ)句的(T)型等值式;
5.在語(yǔ)義上封閉的語(yǔ)言中真理未必不可定義。
結(jié)束語(yǔ)
在即將結(jié)束之前,我們必須對(duì)悖論研究的諸多前輩表示敬意,因?yàn)槲覀儚乃麄兡抢铽@益良多。即便是在“制造”怪圈的思考層次上“解決”怪圈,他們也畢竟洞察到了真理的某個(gè)側(cè)面。例如,塔斯基的語(yǔ)言層次說似乎預(yù)示了“悖論性多義句”的語(yǔ)義層次。再如,克里普克的“無根基說”就“悖論性多義句”的特定語(yǔ)義而言也的確成立。正如我們所看到的,就連認(rèn)為“悖論性語(yǔ)句”為真、為假、非真非假甚或既真且假的見解在某種意義上也都不無道理。能將所有這些對(duì)立的觀點(diǎn)統(tǒng)一起來,也許正是悖論研究的希望所在。
參 考 文 獻(xiàn)
[1] [英] 斯蒂芬·里德著,李小五譯,張家龍校,《對(duì)邏輯的思考——邏輯哲學(xué)導(dǎo)論》,遼寧教育出版社、牛津大學(xué)出版社,1998。
[2] 楊熙齡著《悖論文獻(xiàn)訪求漫記》,載《國(guó)外社會(huì)科學(xué)》1984年第12期。
[3] [美]斯科特·索普著,蔡梵谷譯,《誰(shuí)壞了你的大腦:愛因斯坦的天才思考法》,南海出版公司,2002。
[4] 張鐵聲,塔斯基真理論中的幾個(gè)疑點(diǎn),《晉陽(yáng)學(xué)刊》1999年第4期。
責(zé)任編輯:應(yīng)屆畢業(yè)生論文網(wǎng)
【悖論研究的誤區(qū)與愛因斯坦的啟示】相關(guān)文章:
國(guó)外信息資源共享系統(tǒng)績(jī)效評(píng)估研究評(píng)析及啟示06-13
論文寫作的十大誤區(qū)04-15
課題研究開題報(bào)告10-26
定向增發(fā)機(jī)制研究06-03
刑罰裁量的原則研究06-04
文學(xué)鑒賞研究論文11-03
單位自首的處罰研究06-13
舞蹈藝術(shù)的特征研究10-26