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

悖论研究的误区与爱因斯坦的启示内容摘要：导致典型语义悖论的语句均为一个无穷嵌套的自类似构造的简单表达式，而且具有多种含义而不是单一确实定含义，只要证伪其单义句预设，此类悖论便能够被消解。类似地，导致典型集合论悖论的语句均牵涉一个并不存在的对象，只要证伪其存在预设，此类悖论同样可被消解。本文关键词语：典型悖论；预设；自类似abstract：everyparadoxicalsentencecausingatypicalsemanticparadoxistheshortexpressionofaninfinitelynestedself-similarstructureandhasambiguousmeaningsinsteadofaspecificmeaning.ifonlydisconfirmingthepresuppositionofsinglemeaningsentence,theseparadoxeswillberesolved.similarly,everyparadoxicalsentencecausingatypicalsettheoryparadoxinvolveinexistentobject.ifonlydisconfirmingthepresuppositionofexistence,thoseparadoxeswillbealsoresolved.keywords：typicalparadoxpresuppositionself-similar悖论研究的窘境斯蒂芬·里德曾这样谈及哲学家与悖论的关系：“悖论既是哲学家的惑人之物，又是他们的迷恋之物。悖论吸引哲学家就像光吸引蛾子一样。但同时，悖论又是不能忍耐的。我们做出的各种努力必定是为了消除悖论。哲学家是巫师，其任务就是拯救我们，使我们解脱这个恶魔。〞[1]然而，令人惊异的是，自古希腊哲人发现“说谎者悖论〞以来，两千多年过去了，“巫师〞们虽使尽了浑身解数，却始终没有能为我们除去这个“恶魔〞。用大逻辑学家克林的话说就是：“问题至今悬而未决，没有任何一种答案:能得到普遍的认可。〞“至今没有一个人能令人信服地明确指出悖论的推理中有任何错误，进而解除悖论。〞[2]“悖论〞简单得连小孩子都能看懂、又有一代又一代一流思想家为之耗尽心力，竟然无人能解，这着实是人类思想史上极为罕见的现象。人们不仅要问：出路终究何在？爱因斯坦的启示爱因斯坦曾经断言[3]：“我们面对的重大问题无法在我们制作出这些问题的考虑条理上解决。〞那么，“悖论〞之所以一直无法解决，是不是由于众“巫师〞花样翻新的“法术〞始终停留在我们制作出“悖论〞的考虑条理上呢？回答是肯定的。下面，我们将以“强化的说谎者悖论〞为例展开讨论。事实上，我们业已表示清楚，爱因斯坦的启示同样适用于解决所有“典型语义悖论〞——包含“说谎者悖论〞、“格雷林悖论〞、“理查德悖论〞、号称“语义学黑洞〞的众多“三值悖论〞等，以至还适用于解决所有的“典型悖论〞。“强化的说谎者悖论〞与无穷嵌套的自类似构造该“悖论〞由一个极其简单的句子——“本句子非真〞〔其中，“本句子〞是指它所在的那个句子自己，为简便计，下面将该句子简记作l〕引出：假如l是真的，则l就不是真的；假如l不是真的，则又有l是真的。这个“悖论〞的构成可谓简单至极，难怪霍夫斯塔德要称其为“一步即成的奇异的循环〞了。爱因斯坦的警语能够给我们带来这样的启示，那就是，我们必需回过头来从新审视人们是在什么考虑条理上“制作〞出这个怪圈的，进而跳出这一考虑条理。请留意，在“制作〞怪圈时，人们苦苦追问的是，假如l是真的〔以及假如l不是真的〕终究能够从中推出什么结论。这实际上便已然预设了〔或者说默认了〕l是一个单义句〔亦即l有且仅有一个明确的含义〕，否则，人们便不会去直接议论l为真与否，而是会就l的某一种含义议论其真值了。换言之，“制作〞怪圈的“考虑条理〞能够用“l是单义句〞来刻画。按照爱因斯坦的说法，我们应该跳出这个考虑条理，亦即对“l是单义句〞这一偏见提出质疑。果不其然，这个预设是荒唐的。事实上，我们完全能够用反证法严格地证明，l不是单义句而是多义句。该证明特别简洁，人们以前之所以没有想到，并不是由于它有多么复杂，而是由于始终没有意识到“说谎者〞竟然有这样一个预设，当然就更谈不上疑心其真实性了。证明：不妨假设l为单义句。此时便有，l要么为真要么非真。假如l为真，则有l非真，矛盾。由反证法即有，l非真。假如l非真，则有l为真，矛盾。由反证法即有，l并非非真。综合以上两个子证明的结果便有，l既不是真的也不是非真的，矛盾，证毕。请留意，在上述假设〔亦即l的预设〕下，议论l为真与否的句子就是命题，并因此成为合法的推理对象。这意味着，在该假设下将怪圈嵌入证明之中乃是符合逻辑的。不难看出，l无非是“l非真〞的简单写法，两者虽形式有别而含义并无不同。同理，后者无非是〔〔l非真〕非真〕的简单写法，两者也是形异而义同。此种分析可一直进行下去。其结果是，我们惊诧发现，l原来乃是下述无穷嵌套的自类似构造的简单写法，两者虽形式有别，含义却并无不同：〔〔〔…〕非真〕非真〕非真(l1)显然，这个无穷嵌套的自类似构造正像一切无穷嵌套的自类似构造一样，还有一个巧妙的性质，那就是，无论在其外层依其构造规律再添加几层〔有限层〕，所得到的仍为同一个构造。例如：〔〔〔…〕非真〕非真〕非真〕非真(l2)〔〔〔…〕非真〕非真〕非真〕非真〕非真(l3)………………与l1实际上完全一样。容易看出，我们能够把l1理解成一个永远也说不完的、语义不完好的语句。显然，l1在这种含义下的真值只能是非真非假的〔亦即克里普克所谓的“无根基的〞〕。与此同时，我们可把l2理解为是在断言上述含义下的l1非真。由于上述含义下的l1是非真非假的，故而l2的此种含义只能是真的。类似地，我们可把l3理解为是在断言上述含义下的l2为假。显然，此种含义下的l3就只能是假的。此种分析可一直进行下去，以致无穷：〔〔〔…〕非真〕非真〕非真(l1)非真非假〔〔〔…〕非真〕非真〕非真〕非真(l2)真〔〔〔…〕非真〕非真〕非真〕非真〕非真(l3)假………………真………………假………………请留意，l1，l2，l3，…的所有这些不同的含义实际上都是由同一个构造——〔〔〔…〕非真〕非真〕非真来表达的！这足以表示清楚，该无穷嵌套的自类似构造实际上具有无穷多种含义，而且它在这一系列含义下的真值依次为非真非假以及真与假的交替出现。由于l与这个无穷嵌套的自类似构造形异而义同，说它是多义句就是极易理解的了。附带说一下，利用无穷嵌套的自类似构造能够巧妙地解决很多看上去似乎根本无法下手的难题。让我们以一道有趣的数学题为例试说明之:试证如下等式：=乍看上去，该等式两侧的表达式都特别复杂，欲证它们相等谈何容易，几乎是无从下手。然而，只要我们能够看出，左式与右式均为无穷嵌套的构造，且其每一层子构造〔表达式自己可视为第０层子构造〕实际上均为同一个构造〔具有以上两个特点的构造即我们所谓的无穷嵌套的自类似构造〕，灵感便会突如其来。令，利用上述无穷嵌套自类似构造的特点立即使有：，将二式分别变形即有：a2－a－1=0，b2－b－1=0鉴于a,b均大于0，于是，我们便有a=b，证毕。回到我们的问题。我们已经证明了l是多义句。至此，人们寻觅已久的答案:终于出现了：既然l是多义句，“l是真的〞、“l不是真的〞便也成了多义句。因此，它们非但不是什么互相矛盾的命题，以至根本就不成其为正确的推理对象〔正确的推理对象只能是命题〕。这意味着，“说谎者悖论〞的推理纯属出于语言误解的逻辑误用，根本不合逻辑。这样我们就回答了克林的问题，彻底消解了“强化的说谎者〞。如今，我们能够把“强化的说谎者悖论〞修正如下：假如“本语句非真〞在一种意义上为真，则它在另一种意义上就非真；假如“本语句非真〞在一种意义上非真，则它在另一种意义上就为真。正如我们已经看到的，这非但不复成其为什么悖论，还不失为一种“新奇〞的真谛。反观此前的众多解法，才知道“巫师〞们全都中了“恶魔〞的圈套。他们均下意识地仿照怪圈自己的做法——直接就l自己而不是就其某一含义谈真论假，始终没有意识到l具有无穷多种含义。借用爱因斯坦的话，众“巫师〞原来全都是在“制作〞怪圈的考虑条理上试图“解决〞怪圈。这就难怪他们始终解脱不了“恶魔〞的纠缠：要么自相矛盾、要么回到了原先的怪圈，要么跳出了“油锅〞又进“火坑〞。关于“跳出了‘油锅’又进‘火坑’〞我们要多说两句。如所周知，很多有名的解悖方案——如〔关于“悖论性语句〞的〕“无意义说〞、“非真非假说〞以及克里普克的“无根基说〞等等固然看上去似乎解决了老“悖论〞，却会陷于针对它们而构造出的新“悖论〞，进而归于失败。由于此类“三值悖论〞似乎能够“吸收〞和“消化〞任何解悖方案，所以被称作“语义学黑洞〞。针对上述解悖方案而被造出的“悖论性语句〞分别是：本语句或者是假的或者是无意义的。本语句或者是假的或者是非真非假的。本语句或者是假的或者是无根基的。而相应的“怪圈〞则分别为：假如“本语句或者是假的或者是无意义的〞是真的，则它就是假的或者是无意义的；假如“本语句或者是假的或者是无意义的〞是假的，则它就是真的；假如“本语句或者是假的或者是无意义的〞是无意义的，则它也是真的。假如“本语句或者是假的或者是非真非假的〞是真的，则它就是假的或者是非真非假的；假如“本语句或者是假的或者是非真非假的〞是假的，则它就是真的；假如“本语句或者是假的或者是非真非假的〞是非真非假的，则它也是真的。假如“本语句或者是假的或者是无根基的〞是真的，则它就是假的或者是无根基的；假如“本语句或者是假的或者是无根基的〞是假的，则它就是真的；假如“本语句或者是假的或者是无根基的〞是无根基的，则它也是真的。显然，上述方案非但无法解决相应的新“悖论〞，还将陷于这些新“悖论〞而不能自拔。尤为令人哭笑不得的是，即使成认“本语句为假〞是悖论性的，竟然还是那样逃不出新“悖论〞的魔爪。此时的“悖论性语句〞变成了：本语句或者是假的或者是悖论性的。而相应的怪圈则为：假如“本语句或者是假的或者是悖论性的〞是真的，则它就是假的或者是悖论性的；假如“本语句或者是假的或者是悖论性的〞是假的，则它就是真的；假如“本语句或者是假的或者是悖论性的〞是悖论性的，则它也是真的。令人欣慰的是，本方案似乎能够禁受住此种严酷的考验，不会因从新陷入“怪圈〞而归于失败。请留意，此时的“悖论性语句〞应为：本语句或者是假的或者是多义句。〔m〕而相应的“语义学黑洞〞应为：假如m是真的，则m或者是假的或者是多义句；假如m是假的，则m就是真的；假如m是多义句，则m也是真的。不难看出，第三个推理显然不能成立。这是由于，既然m为多义句，我们便再也不能笼统地议论m的真值，充其量也只能由“m是多义句〞推出“m在其任何一种意义上都是真的〞，而绝不能由此推出“m是真的〞来。典型语义悖论之统一消解原理进一步的研究表示清楚，包含“说谎者悖论〞、“格雷林悖论〞、“理查德悖论〞、“语义学黑洞〞在内的所有“典型语义悖论〞实际上都是在一个假预设下产生的，这个预设就是，相关的“悖论性语句〞〔如“本句子为假〞、“‘非自状的’是非自状的〞、“i是理查德数〞等〕为单义句。如若否则，人们就不会简单地议论这些句子的真值为何，而是去议论它们终究有几种含义以及其每一种含义的真值为何了。换言之，“典型语义悖论〞的缺点并不像以前所以为的那样，是出在前提或者推理规则上，而是出在预设上。典型悖论之统一消解原理不难看出，典型的“集合论悖论〞原来与“典型语义悖论〞一样，也是基于一个虚假的预设，只要证明了这个预设是假的，问题也就应刃而解了。例如，就有名的“罗素悖论〞而言，就是预设了“罗素集〞的存在，而事实上这样的“集合〞根本就不存在，一如弗雷格晚年所意识到的那样。类似地，“理发师悖论〞和“目录悖论〞则预设了特定的理发师和目录的存在，而诸如此类的理发师和目录也根本不存在。于是，我们便进而为所有“典型悖论〞找到了一个非特设性的统一解，那就是证伪其一个预设并利用由此得到的“新知〞使之归于消解。“强化的说谎者悖论〞之卢卡西维茨－塔斯基推导指误“典型语义悖论〞以及“典型悖论〞的统一消解原理不仅能够用来消解“悖论〞，进而保卫逻辑乃至人类理性的可靠性，还为我们从新审视各种相关理论提供崭新的视角。对于那些影响深远的经典之论，这样做无疑显得尤为需要。关于“强化的说谎者悖论〞，卢卡西维茨给出过一个有名的推导。此一推导为塔斯基所沿用，并用来作为建立其形式语言真谛论的根据。时至今日，该推导仍被视为无懈可击，以致于被称作是该“悖论〞的“精到准确塑述〞。然而，在我们看来，该推导实际上并不可靠。首先，让我们审视一下卢卡西维茨－塔斯基推导。考虑如下句子：本页本行的句子不是真的。为简明计，我们将用s指称这个句子。将“s〞和这个句子自己分别代入公式〔t〕——x是真的，当且仅当p。中的x和p，即得如下〔t〕型等值式：s是真的，当且仅当本页本行的句子不是真的。由于“s〞与“本页本行的句子〞所指称的乃是同一个句子，按照莱布尼兹定理便有：s是真的，当且仅当s不是真的。这恰是“强化的说谎者悖论〞。上述推导看似天衣无缝，实则否则。它实际上从一开始就有缺点：公式〔t〕并不适用于所有语句，它仅对单义句成立，而对多义句并不成立。显然，对任一单义句p而言，若x是其名称，公式〔t〕——“x是真的，当且仅当p〞显然成立。例如：“雪是白的〞是真的，当且仅当雪是白的。这恰是塔斯基举过的那个有名的例子。然而，对任一多义句p而言，若x是其名称，“x是真的〞便也成了多义句，因此也就根本就谈不上什么两者之间的互相推出。这意味着，公式〔t〕——“x是真的，当且仅当p〞肯定不成立。如若否则，两者就能够互相推出了。请留意，塔斯基推导的第一步就是将语句——“本页本行的句子不是真的〞及其名称“s〞分别代入公式〔t〕。不难看出，“本页本行的句子不是真的〞完全同义于“本句子非真〞，属于多义句，因此，公式〔t〕对该语句实际上并不成立。这意味着，