悖论研究的误区与爱因斯坦的启示

《悖论研究的误区与爱因斯坦的启示》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、悖论研究的误区与爱因斯坦的启示　　摘要：导致典型语义悖论的语句均为一个无穷嵌套的自相似结构的简略表达式，并且具有多种含义而不是单一的确定含义，只要证伪其单义句预设，此类悖论便可以被消解。类似地，导致典型集合论悖论的语句均涉及一个并不存在的对象，只要证伪其存在预设，此类悖论同样可被消解。　　关键词：典型悖论；预设；自相似　　Abstract：Everyparadoxicalsentencecausingatypicalsemanticparadoxistheshortexpressionofaninfinitelynestedself-similarstructureandhasambi

2、guousmeaningsinsteadofaspecificmeaning.Ifonlydisconfirmingthepresuppositionofsinglemeaningsentence,theseparadoxesilarly,everyparadoxicalsentencecausingatypicalsettheoryparadoxinvolveinexistentobject.Ifonlydisconfirmingthepresuppositionofexistence,thoseparadoxesilar　　悖论研究的困境　　斯蒂芬·里德曾这样谈及哲学家与悖论的关系

3、：“悖论既是哲学家的惑人之物，又是他们的迷恋之物。悖论吸引哲学家就像光吸引蛾子一样。但同时，悖论又是不能忍受的。我们做出的各种努力必然是为了消除悖论。哲学家是巫师，其任务就是拯救我们，使我们摆脱这个恶魔。”[1]　　然而，令人惊异的是，自古希腊哲人发现“说谎者悖论”以来，两千多年过去了，“巫师”们虽使尽了浑身解数，却始终未能为我们除去这个“恶魔”。用大逻辑学家克林的话说便是：　　“问题至今悬而未决，没有任何一种答案能得到普遍的认可。”　　“至今没有一个人能令人信服地明确指出悖论的推理中有任何谬误，从而解除悖论。”[2]　　“悖论”简单得连小孩子都能看懂、又有一代又一代一流思想家为之耗尽

4、心力，竟然无人能解，这实在是人类思想史上极为罕见的现象。人们不仅要问：出路究竟何在？　　爱因斯坦的启示　　爱因斯坦曾经断言[3]：　　“我们面对的重大问题无法在我们制造出这些问题的思考层次上解决。”　　那么，“悖论”之所以一直无法解决，是不是由于众“巫师”花样翻新的“法术”始终停留在我们制造出“悖论”的思考层次上呢？回答是肯定的。　　下面，我们将以“强化的说谎者悖论”为例展开讨论。事实上，我们业已表明，爱因斯坦的启示同样适用于解决所有“典型语义悖论”——包括“说谎者悖论”、“格雷林悖论”、“理查德悖论”、号称“语义学黑洞”的诸多“三值悖论”等，甚至还适用于解决所有的“典型悖论”。　　“

5、强化的说谎者悖论”与无穷嵌套的自相似结构　　该“悖论”由一个极其简单的句子——“本句子非真”（其中，“本句子”是指它所在的那个句子本身，为简便计，以下将该句子简记作L）引出：　　如果L是真的，则L就不是真的；　　如果L不是真的，则又有L是真的。　　这个“悖论”的构成可谓简单至极，难怪霍夫斯塔德要称其为“一步即成的奇异的循环”了。　　爱因斯坦的警语可以给我们带来这样的启示，那就是，我们必须回过头来重新审视人们是在什么思考层次上“制造”出这个怪圈的，从而跳出这一思考层次。　　请注意，在“制造”怪圈时，人们苦苦追问的是，如果L是真的（以及如果L不是真的）究竟可以从中推出什么结论。这实际上便已

6、然预设了（或者说默认了）L是一个单义句（亦即L有且仅有一个明确的含义），否则，人们便不会去直接谈论L为真与否，而是会就L的某一种含义谈论其真值了。换言之，“制造”怪圈的“思考层次”可以用“L是单义句”来刻画。　　依照爱因斯坦的说法，我们应该跳出这个思考层次，亦即对“L是单义句”这一成见提出质疑。　　果不其然，这个预设是荒谬的。　　事实上，我们完全可以用反证法严格地证明，L不是单义句而是多义句。该证明十分简洁，人们以前之所以没有想到，并不是由于它有多么复杂，而是由于始终没有意识到“说谎者”竟然有这样一个预设，当然就更谈不上怀疑其真实性了。　　证明：　　不妨假设L为单义句。　　此时便有，L

7、要么为真要么非真。　　如果L为真，则有L非真，矛盾。　　由反证法即有，L非真。　　如果L非真，则有L为真，矛盾。　　由反证法即有，L并非非真。　　综合以上两个子证明的结果便有，L既不是真的也不是非真的，矛盾，证毕。　　请注意，在上述假设（亦即L的预设）下，谈论L为真与否的句子便是命题，并因而成为合法的推理对象。这意味着，在该假设下将怪圈嵌入证明之中乃是合乎逻辑的。　　不难看出，L无非是“L非真”的简略写法，两者虽形式有别而含义并无不同。同理，后