芒果视频下载

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

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

起源

公(gong)元(yuan)前6世紀，克里特哲學家埃(ai)庇米(mi)尼(ni)得斯（Epimenides）說了一句(ju)很有名的話：“我(wo)的這(zhe)句(ju)話是(shi)假(jia)的。”

這(zhe)(zhe)句(ju)(ju)話之所以稱(cheng)為說謊者悖(bei)論，在于(yu)它沒(mei)有答案(an)。因為如(ru)(ru)果(guo)埃(ai)庇米尼得斯的(de)(de)這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)真的(de)(de)，那就(jiu)不符合這(zhe)(zhe)句(ju)(ju)話“我的(de)(de)這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)假的(de)(de)”，則這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)假的(de)(de)；如(ru)(ru)果(guo)這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)假的(de)(de)，那就(jiu)符合這(zhe)(zhe)句(ju)(ju)話“我的(de)(de)這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)假的(de)(de)”，則這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)真的(de)(de)。因此這(zhe)(zhe)句(ju)(ju)話是(shi)(shi)(shi)無解的(de)(de)。這(zhe)(zhe)就(jiu)是(shi)(shi)(shi)一個自(zi)我指涉引發的(de)(de)悖(bei)論。《斯坦(tan)福哲學百科全書》“悖(bei)論與(yu)當(dang)代(dai)邏(luo)輯”條(tiao)目將各種不同的(de)(de)悖(bei)論分類，并介紹了悖(bei)論與(yu)當(dang)代(dai)邏(luo)輯關系和解悖(bei)策(ce)略。

解釋

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

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

羅素試圖用命題(ti)(ti)分層(ceng)的(de)辦法(fa)來解決(jue)：“第一(yi)級命題(ti)(ti)我(wo)們可(ke)以(yi)說就(jiu)是(shi)(shi)不涉及(ji)命題(ti)(ti)總體的(de)那些命題(ti)(ti)；第二級命題(ti)(ti)就(jiu)是(shi)(shi)涉及(ji)第一(yi)級命題(ti)(ti)的(de)總體的(de)那些命題(ti)(ti)；其(qi)余(yu)仿此，以(yi)至無(wu)窮。”但是(shi)(shi)這(zhe)一(yi)方法(fa)并沒有取得成(cheng)效。“1903年(nian)和1904年(nian)這(zhe)一(yi)整個時期，我(wo)差不多完全是(shi)(shi)致力于這(zhe)一(yi)件事，但是(shi)(shi)毫不成(cheng)功。”

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

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

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

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

但這種邏輯(ji)不(bu)被人(ren)類(lei)邏輯(ji)所允許，換言之，這個模(mo)型無(wu)法在(zai)人(ren)類(lei)邏輯(ji)中(zhong)建立(li)（或(huo)者說，它與人(ren)類(lei)邏輯(ji)不(bu)協調）也就(jiu)是說：這句話在(zai)本質上就(jiu)不(bu)存(cun)在(zai)于人(ren)類(lei)模(mo)型中(zhong)，因此(ci)，討論“它是否(fou)正(zheng)確”是無(wu)意義(yi)的。

解悖方案

《斯坦(tan)福(fu)哲學百(bai)科全書》說(shuo)謊者悖論（Liar Paradox）條目的第四(si)章，介紹了自今為止的對悖論該解決方(fang)案，并且分成下面(mian)的類別(bie)。

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

子結構邏輯（Substructural logics）

經(jing)典邏輯（Classical logic）

語(yu)境主(zhu)義方(fang)法(fa)（Contextualist approaches）

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