芒果视频下载

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

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

起源

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

這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話之所以稱為說謊者(zhe)悖(bei)(bei)論(lun)，在(zai)于它沒有(you)答案。因為如(ru)果埃(ai)庇(bi)米尼得斯的這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)真(zhen)的，那(nei)就不(bu)符(fu)合(he)這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話“我的這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)假(jia)(jia)的”，則(ze)這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)假(jia)(jia)的；如(ru)果這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)假(jia)(jia)的，那(nei)就符(fu)合(he)這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話“我的這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)假(jia)(jia)的”，則(ze)這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)真(zhen)的。因此(ci)這(zhe)(zhe)(zhe)句(ju)(ju)(ju)話是(shi)無(wu)解(jie)的。這(zhe)(zhe)(zhe)就是(shi)一個自我指涉引發(fa)的悖(bei)(bei)論(lun)。《斯坦福(fu)哲(zhe)學百科全書》“悖(bei)(bei)論(lun)與當(dang)代邏輯”條目將各種不(bu)同的悖(bei)(bei)論(lun)分類，并介紹了(le)悖(bei)(bei)論(lun)與當(dang)代邏輯關系(xi)和解(jie)悖(bei)(bei)策略。

解釋

問題(ti)并(bing)不簡單：哲(zhe)學(xue)家羅素曾經認(ren)真地思考(kao)過(guo)這個悖論(lun)，并(bing)試圖找到解決的(de)(de)(de)辦法。他(ta)在《我(wo)的(de)(de)(de)哲(zhe)學(xue)的(de)(de)(de)發展(zhan)》第(di)七章《數學(xue)原理》里說道：“自亞里士多德以(yi)來(lai)，無論(lun)哪一個學(xue)派的(de)(de)(de)邏(luo)(luo)輯學(xue)家，從他(ta)們(men)所公認(ren)的(de)(de)(de)前(qian)提中似乎都可以(yi)推出一些(xie)矛盾(dun)來(lai)。這表(biao)明有些(xie)東(dong)西是有毛病的(de)(de)(de)，但是指不出糾正的(de)(de)(de)方(fang)法是什么。在1903年的(de)(de)(de)春(chun)季，其(qi)中一種矛盾(dun)的(de)(de)(de)發現把(ba)我(wo)正在享受的(de)(de)(de)那種邏(luo)(luo)輯蜜月打斷(duan)了。”

他說(shuo)：謊言者(zhe)悖論最簡單地勾畫出了他發現(xian)的(de)(de)那個(ge)矛(mao)盾：“那個(ge)說(shuo)謊的(de)(de)人說(shuo)：‘不論我說(shuo)什么都(dou)是假的(de)(de)’。事實上，這就(jiu)是他所(suo)說(shuo)的(de)(de)一句話(hua)，但是這句話(hua)是指(zhi)他所(suo)說(shuo)的(de)(de)話(hua)的(de)(de)總體(ti)(ti)。只是把這句話(hua)包括在那個(ge)總體(ti)(ti)之中的(de)(de)時候才(cai)產生一個(ge)悖論。”

羅素(su)試(shi)圖用命(ming)題(ti)分層的辦法來解(jie)決：“第(di)一(yi)級命(ming)題(ti)我(wo)們可以(yi)說就(jiu)是(shi)不(bu)涉及(ji)(ji)命(ming)題(ti)總體的那(nei)些(xie)(xie)命(ming)題(ti)；第(di)二級命(ming)題(ti)就(jiu)是(shi)涉及(ji)(ji)第(di)一(yi)級命(ming)題(ti)的總體的那(nei)些(xie)(xie)命(ming)題(ti)；其余(yu)仿此(ci)，以(yi)至無窮。”但是(shi)這(zhe)一(yi)方法并沒有(you)取得成(cheng)效。“1903年和1904年這(zhe)一(yi)整(zheng)個時期(qi)，我(wo)差不(bu)多(duo)完(wan)全是(shi)致(zhi)力(li)于這(zhe)一(yi)件事，但是(shi)毫不(bu)成(cheng)功(gong)。”

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

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

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

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

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

解悖方案

《斯坦福哲學百科(ke)全(quan)書》說(shuo)謊者悖論（Liar Paradox）條目的第四章(zhang)，介(jie)紹了自(zi)今為止的對悖論該解(jie)決(jue)方案，并且分成下面的類(lei)別。

次完全(quan)邏輯和次協調邏輯（Paracomplete and paraconsistent logics）

子結構(gou)邏(luo)輯（Substructural logics）

經典邏輯(ji)（Classical logic）

語境主義(yi)方法(fa)（Contextualist approaches）

上(shang)面(mian)每個類別中含有(you)若干解(jie)悖方(fang)案。