芒果视频下载

說謊者悖(bei)(bei)論(lun)是最(zui)古老的(de)語義悖(bei)(bei)論(lun)，由公元前4世(shi)紀麥加(jia)拉學派的(de)歐布(bu)里德(Eubulides)提出(chu)，悖(bei)(bei)論(lun)內(nei)容為(wei)：如果某人說自(zi)己正(zheng)在(zai)說謊，那么(me)他說的(de)話(hua)是真還(huan)是假？

這(zhe)個悖論經常被重述為(wei)：“我現在說(shuo)的這(zhe)句(ju)話(hua)是(shi)謊話(hua)”，這(zhe)句(ju)話(hua)是(shi)否可賦真(zhen)(zhen)值？假設這(zhe)句(ju)話(hua)為(wei)真(zhen)(zhen)，根據(ju)其(qi)(qi)語義，可得(de)它(ta)(ta)為(wei)假；若假設這(zhe)句(ju)話(hua)為(wei)假，其(qi)(qi)語義又(you)恰好“是(shi)其(qi)(qi)所(suo)是(shi)”，可得(de)它(ta)(ta)為(wei)真(zhen)(zhen)。這(zhe)樣，矛盾等價式得(de)以建構。“我現在說(shuo)的這(zhe)句(ju)話(hua)是(shi)謊話(hua)”，通稱(cheng)為(wei)“說(shuo)謊者語句(ju)”。

起源

公元前6世紀，克里(li)特哲學家埃庇米尼得(de)斯(si)（Epimenides）說了一句(ju)很有名的話(hua)：“我的這句(ju)話(hua)是假的。”

這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)之所以稱(cheng)為(wei)說謊者悖(bei)(bei)論(lun)(lun)(lun)，在(zai)于它沒有(you)答案。因為(wei)如果(guo)埃庇米(mi)尼得斯的(de)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是真的(de)，那就不(bu)符合(he)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)“我(wo)(wo)的(de)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是假(jia)的(de)”，則(ze)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是假(jia)的(de)；如果(guo)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是假(jia)的(de)，那就符合(he)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)“我(wo)(wo)的(de)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是假(jia)的(de)”，則(ze)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是真的(de)。因此(ci)這(zhe)(zhe)句(ju)(ju)話(hua)(hua)(hua)是無(wu)解的(de)。這(zhe)(zhe)就是一(yi)個自(zi)我(wo)(wo)指涉引(yin)發的(de)悖(bei)(bei)論(lun)(lun)(lun)。《斯坦(tan)福哲學百科全書》“悖(bei)(bei)論(lun)(lun)(lun)與(yu)當代邏(luo)輯(ji)”條目將各種不(bu)同的(de)悖(bei)(bei)論(lun)(lun)(lun)分類，并介紹了悖(bei)(bei)論(lun)(lun)(lun)與(yu)當代邏(luo)輯(ji)關系和解悖(bei)(bei)策略。

解釋

問題并不簡單：哲(zhe)學家羅素曾經認真地思考過這個(ge)悖論，并試圖找到(dao)解決(jue)的(de)(de)(de)(de)辦法。他在《我的(de)(de)(de)(de)哲(zhe)學的(de)(de)(de)(de)發展(zhan)》第七章(zhang)《數學原理》里說道：“自亞里士多(duo)德以(yi)(yi)來，無論哪一(yi)個(ge)學派(pai)的(de)(de)(de)(de)邏(luo)輯(ji)學家，從他們所公(gong)認的(de)(de)(de)(de)前提中似(si)乎(hu)都可以(yi)(yi)推出一(yi)些矛盾來。這表明(ming)有(you)些東西(xi)是有(you)毛病的(de)(de)(de)(de)，但是指不出糾正的(de)(de)(de)(de)方法是什么(me)。在1903年的(de)(de)(de)(de)春(chun)季(ji)，其中一(yi)種(zhong)矛盾的(de)(de)(de)(de)發現把(ba)我正在享受的(de)(de)(de)(de)那種(zhong)邏(luo)輯(ji)蜜月打(da)斷了。”

他說：謊(huang)言者悖論(lun)最簡(jian)單(dan)地勾畫出了他發現的(de)(de)(de)(de)那(nei)個(ge)矛盾：“那(nei)個(ge)說謊(huang)的(de)(de)(de)(de)人說：‘不(bu)論(lun)我說什(shen)么都是假的(de)(de)(de)(de)’。事(shi)實上，這(zhe)(zhe)就(jiu)是他所說的(de)(de)(de)(de)一(yi)句話(hua)(hua)，但是這(zhe)(zhe)句話(hua)(hua)是指他所說的(de)(de)(de)(de)話(hua)(hua)的(de)(de)(de)(de)總(zong)體。只(zhi)是把這(zhe)(zhe)句話(hua)(hua)包括在(zai)那(nei)個(ge)總(zong)體之中的(de)(de)(de)(de)時候才產生(sheng)一(yi)個(ge)悖論(lun)。”

羅素試圖(tu)用(yong)命(ming)(ming)題(ti)(ti)分層的(de)(de)辦法(fa)(fa)來解決：“第(di)一級(ji)命(ming)(ming)題(ti)(ti)我們可以說就是(shi)不(bu)涉(she)及命(ming)(ming)題(ti)(ti)總體(ti)的(de)(de)那些命(ming)(ming)題(ti)(ti)；第(di)二(er)級(ji)命(ming)(ming)題(ti)(ti)就是(shi)涉(she)及第(di)一級(ji)命(ming)(ming)題(ti)(ti)的(de)(de)總體(ti)的(de)(de)那些命(ming)(ming)題(ti)(ti)；其余仿(fang)此，以至無窮。”但是(shi)這(zhe)一方法(fa)(fa)并(bing)沒有(you)取(qu)得成效。“1903年和1904年這(zhe)一整個時期，我差不(bu)多完全是(shi)致力(li)于這(zhe)一件事，但是(shi)毫不(bu)成功(gong)。”

《數學原理(li)》嘗試(shi)整個(ge)純(chun)粹的(de)(de)數學是(shi)在(zai)純(chun)邏輯(ji)的(de)(de)前提下(xia)推導(dao)出來的(de)(de)，并且使(shi)用(yong)邏輯(ji)術語說明(ming)概念，回避自然(ran)語言(yan)的(de)(de)歧意。但是(shi)他(ta)在(zai)書的(de)(de)序言(yan)里(li)稱這是(shi)：“發表一(yi)本(ben)包含(han)那(nei)么(me)(me)(me)多未曾解(jie)決的(de)(de)爭論的(de)(de)書。”可(ke)見，從數學基礎的(de)(de)邏輯(ji)上徹底地解(jie)決這個(ge)悖(bei)論并不(bu)容易(yi)。接下(xia)來他(ta)指出，在(zai)一(yi)切邏輯(ji)的(de)(de)悖(bei)論里(li)都有(you)一(yi)種“反(fan)身的(de)(de)自指”，就(jiu)是(shi)說，“它包含(han)講那(nei)個(ge)總體(ti)的(de)(de)某種東西，而這種東西又(you)是(shi)總體(ti)中的(de)(de)一(yi)份子。”這一(yi)觀(guan)點(dian)比(bi)較容易(yi)理(li)解(jie)，如果(guo)這個(ge)悖(bei)論是(shi)克利特以外(wai)的(de)(de)什么(me)(me)(me)人說的(de)(de)，悖(bei)論就(jiu)會自動消(xiao)除。但是(shi)在(zai)集(ji)合論里(li)，問題并不(bu)這么(me)(me)(me)簡單(dan)。

事實上，我們要討論(lun)這個(ge)悖論(lun)，問“這句話是(shi)不是(shi)正確(que)的”是(shi)沒有意義(yi)的。我們充(chong)其量只能問："這個(ge)模型是(shi)否滿足人(ren)類邏輯(ji)？"

很明(ming)顯(xian)，這句話是(shi)對它本身的描述，因此他是(shi)一個模(mo)型。而(er)這個模(mo)型的建立，需要(yao)在以下(xia)邏輯上：

"如果(guo)A，那么非A。'

但(dan)這(zhe)種邏輯(ji)不被人(ren)(ren)類邏輯(ji)所允許，換(huan)言之，這(zhe)個模型(xing)無(wu)法在(zai)(zai)人(ren)(ren)類邏輯(ji)中建立（或者說(shuo)，它與人(ren)(ren)類邏輯(ji)不協調）也就是說(shuo)：這(zhe)句話在(zai)(zai)本質上(shang)就不存在(zai)(zai)于人(ren)(ren)類模型(xing)中，因此(ci)，討論“它是否正確”是無(wu)意義的(de)。

解悖方案

《斯坦福(fu)哲學(xue)百科(ke)全(quan)書(shu)》說謊者(zhe)悖(bei)論（Liar Paradox）條目的(de)第(di)四章，介紹了自今為(wei)止的(de)對悖(bei)論該解決方案，并且分成下(xia)面的(de)類別。

次完(wan)全邏(luo)輯(ji)和次協(xie)調(diao)邏(luo)輯(ji)（Paracomplete and paraconsistent logics）

子結構邏輯（Substructural logics）

經典邏(luo)輯（Classical logic）

語境主義方法（Contextualist approaches）

上面每個類別中(zhong)含有若(ruo)干(gan)解悖方(fang)案。