清 学 院(官网)

www.qinghuaguoxueyuan.com

哲学院

《悖论》2

时间: 来源于:国学院

没有那么大。我们可以天天喝水喝到吐,却不能天天买钻石。所以,大量水的边际效用小于少量钻石的边际效用。这种强烈的反差就构成了这个悖论。

 

  1. 解悖:

 

建立完善的市场体系不是建立完全的价格体制,而是建立完全的价值体制。连接需求与供给的不是价格而是价值,不是交换价值而是使用价值。价格经济学在微观经济领域只有近似的真理性,把其当作绝对真理就是大错特错;能够成为绝对真理的,只能是价值经济学。所谓价值经济学,就是以价值机制代替价格机制作为市场的核心机制。价值经济学中,产品的本质是使用价值。使用价值就是价值。使用价值的价格由使用价值的量决定,使用价值的量由稀缺度决定,稀缺度由供求关系决定,供求关系由主客体关系决定。在知识经济时代,主客体关系由效益决定;而这里的效益不是指利润,而是指满足人的需求程度。人的需求,既有物质需求,也有精神需求。因此,使用价值是实体、属性、关系的统一。关系就是主体和客体的关系。用主客体关系定位价值的价值经济学、建立在价值经济学基础上的边际效益分析可以解决"价值悖论"。水虽然整体上是人类生存所必需的,水总体上对于人类有很高的价值,但由于水整体上不稀缺,所以某一部分的水价格不高;某一部分的水价格不高是由某一部分的水价值不高决定的,和水总体上对于人类有很高的价值并不冲突。但如果在特定环境下(比如沙漠),人快要渴死时,那么特定的水对于人的价值就很高,它的价值和这个快要渴死的人身价成正比,也即这个人的身价有多高,那么这部分水的价格就可以有多高。同样,在正常环境下,因为钻石比某部分水要稀缺得多,所以钻石的使用价值要比某部分水大的多;此时钻石的价格大于某部分水,就是此时钻石的价值大于某部分水的反映。但如果在特定环境下(比如沙漠),人快要渴死时,那么钻石的价值就远远不如水对于此人的价值,钻石的价格也远远不如水的价格。这里,整体的水和人类之间、一般环境下某部分水和某部分人之间、特殊环境下某部分水和某部分人之间、一般环境下钻石和一般的人之间、特殊环境下钻石和特殊的人之间的价值关系是不同的,由不同的价值决定不同的价格是正常的;由主客体具体关系形成的价值是具体的,水的价值是大是小、钻石的价值是大是小,由此决定的价格孰大孰小必须具体问题具体分析;只要做到了具体问题具体分析,那么所谓的"价值悖论"就会被化解。这才是真正的超边际分析--建立在价值经济学基础上的"超边际效益分析";而建立在客体和客体之间一般均衡与价格经济学基础上的所谓"超边际分析"则不可能具体分析主客体之间的价值关系,所以也就无法化解上述"价值悖论"。"财富悖论"也一样:如果这边以满足感作为衡量社会福利的水准,那边以金钱作为衡量社会--福利的标准,那么就会出现"财富悖论"。"财富悖论"的根源在于"价格经济学悖论"。如果以满足感而不是以货币收入作为衡量社会福利水平的标准,那么就要用价值机制取代价格机制作为经济学的核心机制,由此价格经济学范式就要转变。如果说,西方价格经济学的范式要求边际效率分析,那么幸福经济学范式则要求边际效益分析。特别是要建立经济学帝国,要使经济学成为充分利用生命的艺术,就只能用边际效益分析代替边际效率分析。 "价值悖论"、"财富悖论"的产生与化解说明,必须用价值经济学代替价格经济学作为经济学的核心,用"边际效益分析"代替"边际效率分析"作为边际分析的总体方法,把"边际效率分析"纳入"边际效益分析"中,成为其中的一个环节。在不同的时期、不同的环境中用对称方法具体问题具体分析主客体价值关系,那么隐藏在边际效益规律背后的,是价值规律而不是价格规律。人的理性的多层次、满意的多维度,价值的主体性、整体性与相对性说明,严格意义的边际分析只能是价值分析,任何约束条件下的边际分析都只能在价值经济学范式框架中定位。价值大小可以比较难以量化,建立在价格经济学范式基础上的超边际分析无论其数学模型多精致完美,都只能和实际脱节,要么没有意义要么必然被证伪。

 

(二一)忒修斯之船悖论

一艘船的所有零件都换成新的后,还是同一条船么?

 

  1. 解悖:

 

忒修斯之船悖论提出了一个问题,当一个整体的所有组成部分都被替换,那么这个整体还是原来的整体么?

古人没有讨论出答案,今人Thomas Hobbes和John Locke也在尝试对这个问题进行解答。有些人说:“船还是原来的船。”但是也有人说:“船已不是当初的船。”

基于这个理论,人体的细胞每过七年就会更新一次,也就是说,每过七年,你在镜子里看到的自己都不是七年前的自己。

 

(二二)伽利略悖论

不是所有的数都是平方数,所有数的集合不会超过平方数的集合。

 

  1. 解悖:

 

伽利略悖论让人见识了无限集合的惊人特性。在他最后的科学著作《两种新科学》里,伽利略写出了这个关于正整数的矛盾陈述。

首先,部分数属于平方数,其它则不是;因此,所有数,包含平方数和非平方数的集合必定大于单独的平方数。然而,对于每个平方数有且只有一个对应的正数平方根,切对于每个数都必定有一个确定的平方数;所以,数和平方数不可能某一方更多。这个悖论虽然不是最早但也是早在无限集合中运用一一对应的例子。伽利略在书中总结说,少、相等和多只能描述有限集合,却不能描述无限集合。

19世纪德国数学家格奥尔格·康托尔,也是数集理论的开创者,使用了相同的手法否定了伽利略的这条限制条件的必要性。康托尔认为在无限数集中进行有意义的比较是可行的(康托尔认为数和平方数这两个集合的大小是相等的),在这种定义下,某些无限集合肯定是比另一些无限集合大。伽利略对后继者在无穷数上的突破的预测惊人的准确,伽利略在书中写到,一条线段内所有点的数目和比此更长的线段上点的数目相等,但是伽利略没有想出康托尔的证明法,即线段上所有点的数比整数大。

 

(二三)节约悖论

假设经济衰退,全社会所有人都选择把钱存进银行,社会总需求因此下降,社会总资产反而更少。

 

  1. 解悖:

 

节约悖论是指在经济萧条时期所有人都把钱存进银行,社会总需求会下降,反过来全社会的消费水平下降、经济增速减缓,全社会的资产总数也就下滑。悖论认为个人

资产增值的同时,全社会资产反而减少,或者再放开了说,储蓄额的增加在荼毒经济,因为传统认为个人储蓄有益社会,但是节约悖论认为大规模的储蓄会对经济造

成伤害。如果所有人都把钱存进银行,账面上个人的资产会增值,但是全社会总体的宏观经济趋势会下降。

(二四)匹诺曹悖论

如果匹诺曹说:“我的鼻子马上会变长。”结果会怎样?

 

  1. 解悖:

 

当匹诺曹说:“我的鼻子马上会变长。”,匹诺曹悖论属于谎言悖论的一种。

谎言悖论是一种哲学和逻辑悖论,就像“这句话是假的。”认为这句话是真的或是假的都会导致矛盾或者悖论的形成。因为如果这句话是真的,按照字面意思这句话就是假的;如果这句话是假的,按照字面意思,也就是说这句话其实是真的。

匹诺曹悖论不同于传统谎言悖论的地方在于,悖论本身没有做出语义上的预测,例如“我的句子是假的。”

匹诺曹悖论和匹诺曹本身没有关系,如果匹诺曹说“我生病了”,这句话是可以判定真伪的,但是匹诺曹说的是“我的鼻子马上会变长”,就无法判定真伪,我们无法得知匹诺曹的鼻子到底会不会变长。

 

(二五)理发师悖论

小城里的理发师放出豪言:“我只帮城里所有不自己刮脸的人刮脸”。那谁来给他刮脸?

假设你路过一家理发店,标语上写着:“你给自己刮脸么?如果不是,请允许小店帮您刮脸!我只帮城里有所不自己刮脸的人刮脸,其他人一概不刮。”这个简单的介绍足够让你走进这家理发店了,但是接下来你发现了问题——理发师给自己刮脸么?如果他给自己刮脸,那么他就违反了只帮不自己刮脸的人刮脸的承诺,如果他不给自己刮脸,那么他必须给自己刮脸,因为他的承诺说他只帮不自己刮脸的人刮脸。两种假设都导致这句话说不通。

理发师悖论由英国数学家、哲学家、社会的先知、言论自由最勇敢的斗士勃兰特·罗素教授于20世纪初提出。悖论的发表带来的巨大难题改变了整个20世纪数学界的研究方向。

理发师悖论中,条件规定“帮自己刮脸”,但只帮自己刮脸的男人的集合无法建立,即使这个条件非常简单,但是无法确定理发师应不应该在这个集合内。所以两种条件都会导致矛盾。

所有对理发师悖论的解答都将目光限定在可能的集合类型上。罗素自己提出了一套“类型理论”,这套理论将语句分为不同级别:最低级别是关于个体的语句,第二层级别是关于个体集合的语句,以此类推。这种理论避免了包含所有集合但不包含自身的全集,因为两种语句属于不同类型——即不同级别。

罗素悖论的解答方案中最受欢迎的应该是策梅洛-弗兰克尔公理化集合论。这种公理化集合论限制了对简单集合论的随意假设,因为如果给出一个限定条件,你总是能指定出恰好符合条件的集合。但是在策梅洛-弗兰克尔公理化集合论中,你只能从给定个体入手,从中挑选内容形成集合。也就是说,不用先假定有一个包含所有集合的全集,也避免了将包含所有集合从包含了自身的集合中剔除出来(实际上并不包含)。你用不着构思步骤、建立个别、再将这个分支集合划入任何给定集合。

理发师悖论的一种解决思路:换成女理发师。

 

(二六)生日问题

这么几个人里就有两个人同天生日,怎么可能?

 

  1. 解悖:

 

生日问题提出了一种可能性:随机挑选一组人,其中会有两人同天生日。用抽屉原理来计算,只要人群样本达到367,存在两人同天生日的可能性就能达到100%(一年虽然只有365天,但是有366个生日,包括2月29日)。然而,如果只是达到99%的概率,只需要57个人;达到50%只需要23个人。这种结论的前提是一年中每天(除去2月29日)生日的概率相等。

 

(二七)钱包悖论

又称钱包游戏,是概率论中的一个悖论,源自1953年,比利时数学家Maurice Kraitchik提出的谜题。

A和B两人进行一场赌博。

赌法是:由第三者计算A、B二君钱包里面的钱,钱少者可以赢走钱多者的钱。

A对于这场赌博的想法为:若B君的钱比我少,我可能输掉我现有的钱。但若B君的钱比我多,我赢了,就会得到多于我现有的钱。我能够赢的钱比输的钱多,所以这场赌博对我有利。

而B的想法也是如此。

二人想法的逻辑都正确,但若认为二人的想法都正确,又将做出这场赌博对A、B二人都有利的错误结论,并且若是判定其中一个赢得了赌局,那么另一个人此时的钱就少于了赢者的钱,那么另一个人又赢得了这次赌局,两人变回循环往复这一个过程,这显然是一个悖论。

 

  1. 解悖:

 

克莱特契克的分析

克莱特契克在他的书中指明必须限制条件,这才是一场公平的游戏,例如A,B二人对对方穿领带的习惯一无所知等。他还假定每一个比赛者带有从0到任意数量(比如说一百元)的钱。以此假定构成两人钱数的矩阵,就可看出这个比赛是“对称的”,不会偏向任何一方。但他没有指出两个比赛者的想法错在哪里。

考虑胜算:其实问题就在A,B二人只以“可以赢更多的钱”这点,就做出这场赌博对自己有利的结论,当然是错误的。显然是缺乏思考,对客观事物的复杂程度缺乏认识,才会做出如此乐观的结论。

这场赌博对谁有利的考虑谁可以赢得这场赌博。而不是以“可以赢更多的钱”来判断。

若以谁有胜算来判断,必须注意二点:

1、必须计算期望值。 “钱包里有多少钱”是很随机的。无法有一定的标准。难以论定这场赌博的胜负,但若将“所有人类的钱包里的钱”相加后除以全人类数目,还是可以得出一个平均值。 若钱包里的钱比平均值小,那胜算比较大,反之较小。各国家,各地区人的钱包里的平均值都不一样,全人类太广泛,以国家,地区来分更加有胜算。

但就算是费很大力气来得到这平均值,还是很难确定有胜算的。由此可见A,B二人认为这场赌博对自己有利的结论是做得多么轻易,缺乏思考。

其实最有胜算的方法是知道对方的钱包里有多少钱。

2、另一种分析

钱包只有二个,所以钱包里的钱只存在二个数:

X,Y,设X>Y。

A有1/2机会是X,1/2机会是Y;B也如是。

如果A的钱是Y,则赢得X;如果A的钱是X,则输掉X;B也如是。

结论:1/2机会赢,1/2机会输。

而A,B想法的问题出在,他们假设了3个数:

设A有X元,B有Y元,(Y<X)或Z元,(Z>X)。

但实际上只存在2个数,所以这是错误的论证,推理出错误的结论。

 

五、悖论类型

 

古今中外有不少著名的悖论,它们震撼了逻辑和数学的基础,激发了人们求知和精密的思考,吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考,悖论的解决又往往可以给人带来全新的观念。根据悖论形成的原因,把它归纳为六种类型,所记都是流传很广的常见悖论。随着现代数学、逻辑学、物理学和天文学的快速发展,又有不少新的悖论大量涌现,人们在孜孜不倦地探索,预计他们的成果将极大地改变我们的思维观念。它们分别是:

(一)自指引发

以下诸例都存在着一个概念自指或自相关的问题:如果从肯定命题入手,就会得到它的否定命题;如果从否定命题入手,就会得到它的肯定命题。由概念自指引发的悖论和引进无限带来的悖论。

1、谎言者悖论

公元前六世纪,哲学家克利特人艾皮米尼地斯:"所有克利特人都说谎,他们中间的一个诗人这么说。"这就是这个著名悖论的来源。

《圣经》里曾经提到:"有克利特人中的一个本地中先知说:'克利特人常说谎话,乃是恶兽,又馋又懒'"(《提多书》第一章)。可见这个悖论很出名,但是保罗对于它的逻辑解答并没有兴趣。

2、 "我在说谎"

如果他在说谎,那么"我在说谎"就是一个谎,因此他说的是实话;但是如果这是实话,他又在说谎。矛盾不可避免。它的一个翻版:

3、 "这句话是错的"

这句话是错的如果是事实,那么这句话就是对的,但是它是对的,就与所说的这句话是错的事实(开始设定的)不符。这句话是错的如果是假的,那么这句话就是对的,但这句话如果是对的,那么假设的这句话是错的假的结论就被推翻,也矛盾了。这类悖论的一个标准形式是:如果事件A发生,则推导出非A,非A发生则推导出A,这是一个自相矛盾的无限逻辑循环。

哲学家罗素曾经认真地思考过这个悖论,并试图找到解决的办法。他在《我的哲学的发展》第七章《数学原理》里说道:"自亚里士多德以来,无论哪一个学派的逻辑学家,从他们所公认的前提中似乎都可以推出一些矛盾来。这表明有些东西是有毛病的,但是指不出纠正的方法是什么。在1903年的春季,其中一种矛盾的发现把我正在享受的那种逻辑蜜月打断了。"

他说:谎言者悖论最简单地勾画出了他发现的那个矛盾:"那个说谎的人说:'不论我说什么都是假的'。事实上,这就是他所说的一句话,但是这句话是指他所说的话的总体。只是把这句话包括在那个总体之中的时候才产生一个悖论。" (同上)

罗素试图用命题分层的办法来解决:"第一级命题我们可以说就是不涉及命题总体的那些命题;第二级命题就是涉及第一级命题的总体的那些命题;其余仿此,以至无穷。"但是这一方法并没有取得成效。"1903年和1904年这一整个时期,我差不多完全是致力于这一件事,但是毫不成功。"(同上)

《数学原理》尝试整个纯粹的数学是在纯逻辑的前提下推导出来的,并且使用逻辑术语说明概念,回避自然语言的歧意。但是他在书的序言里称这是:"发表一本包含那么许多未曾解决的争论的书。"可见,从数学基础的逻辑上彻底地解决这个悖论并不容易。

接下来他指出,在一切逻辑的悖论里都有一种"反身的自指",就是说,"它包含讲那个总体的某种东西,而这种东西又是总体中的一份子。"这一观点比较容易理解,如果这个悖论是克利特以外的什么人说的,悖论就会自动消除。但是在集合论里,问题并不这么简单。

4、理发师悖论

在萨维尔村,理发师挂出一块招牌:"我只给村里所有那些不给自己理发的人理发。"有人问他:"你给不给自己理发?"理发师顿时无言以对。

这是一个矛盾推理:如果理发师不给自己理发,他就属于招牌上的那一类人。有言在先,他应该给自己理发。 反之,如果这个理发师给他自己理发,根据招牌所言,他只给村中不给自己理发的人理发,他不能给自己理发。

因此,无论这个理发师怎么回答,都不能排除内在的矛盾。这个悖论是罗素在一九〇二年提出来的,所以又叫"罗素悖论"。这是集合论悖论的通俗的、有故事情节的表述。显然,这里也存在着一个不可排除的"自指"问题。

5、集合论悖论

"R是所有不包含自身的集合的集合。"

人们同样会问:"R包含不包含R自身?"如果不包含,由R的定义,R应属于R。如果R包含自身的话,R又不属于R。

继罗素的集合论悖论发现了数学基础有问题以后,1931年歌德尔(Kurt Godel ,1906-1978,捷克人)提出了一个"不完全定理",打破了十九世纪末数学家"所有的数学体系都可以由逻辑推导出来"的理想。这个定理指出:任何公设系统都不是完备的,其中必然存在着既不能被肯定也不能被否定的命题。例如,欧氏几何中的"平行线公理",对它的否定产生了几种非欧几何;罗素悖论也表明集合论公理体系不完备。

6、书目悖论

一个图书馆编纂了一本书名词典,它列出且只列出这个图书馆里所有不列出自己书名的书。那么它列不列出自己的书名?这个悖论与理发师悖论基本一致。

7、苏格拉底悖论

有"西方孔子"之称的雅典人苏格拉底(公元前470-前399)是古希腊的大哲学家,曾经与普洛特哥拉斯、哥吉斯等著名诡辩家相对。他建立 "定义"以对付诡辩派混淆的修辞,从而勘落了百家的杂说。但是他的道德观念不为希腊人所容,竟在七十岁的时候被当作诡辩杂说的代表。在普洛特哥拉斯被驱逐、书被焚十二年以后,苏格拉底也被处以死刑,但是他的学说得到了柏拉图和亚里士多德的继承。

苏格拉底有一句名言:"我只知道一件事,那就是什么都不知道。"

这是一个悖论,我们无法从这句话中推论出苏格拉底是否对这件事本身也不知道。古代中国也有一个类似的例子:

8、 "言尽悖"

这是《庄子·齐物论》里庄子说的。后期墨家反驳道:如果"言尽悖",庄子的这个言难道就不悖吗?我们常说: "世界上没有绝对的真理"

我们不知道这句话本身是不是"绝对的真理"。

9、柏拉图-苏格拉底悖论

柏拉图(约前427年-前347年),古希腊伟大的哲学家,也是全部西方哲学乃至整个西方文化最伟大的哲学家和思想家之一,他和老师苏格拉底,学生亚里士多德并称为古希腊三大哲学家。

柏拉图说:"苏格拉底的下句话是错误的"。

苏格拉底说:"柏拉图说得对。"

不论你假定哪个句子是真的,另一个句子都会与之矛盾。两个句子都不是自我诠释,但作为一个整体,同样构成了说谎者悖论。

10、 "荒谬的真实"

有字典给悖论下定义,说它是"荒谬的真实",而这种矛盾修饰本身也是一种"压缩的悖论"。悖论来自希腊语"para+dokein",意思是"多想一想"。

这些例子都说明,在逻辑上它们都无法摆脱概念自指所带来的恶性循环。有没有进一步的解决办法?在下面一节的最后一部份还将继续探讨。

(二)引进无限

《墨子·经说下》中有一句话:"南方有穷,则可尽;无穷,则不可尽。"如果在有限中引进无限,就可能引起悖论。

1、阿基里斯悖论

稍晚于毕达哥拉斯的古希腊数学家芝诺(Zeno of Elea),曾经提出过一些著名的悖论,对以后数学、物理概念产生了重要影响,阿基里斯悖论是其中的一个。

阿基里斯(Achilles)是希腊神话中善跑的英雄。芝诺讲:阿基里斯在赛跑中不可能追上起步稍微领先于他的乌龟,因为当他要到达乌龟出发的那一点,乌龟又向前爬动了。阿基里斯和乌龟的距离可以无限地缩小,但永远追不上乌龟。

方励之先生曾经用物理语言描述过这个问题:在阿基里斯悖论中使用了两种不同的时间度量。一般度量方法是:假设阿基里斯与乌龟在开始时的距离为S,速度分别为V1和V2。当时间T=S/(V1-V2)时,阿基里斯就赶上了乌龟。

但是芝诺的测量方法不同:阿基里斯将逐次到达乌龟在前一次的出发点,这个时间为T'。对于任何T',可能无限缩短,但阿基里斯永远在乌龟的后面。关键是这个T'无法度量T=S/(V1-V2)以后的时间。

2、 二分法悖论

这也是芝诺提出的一个悖论:当一个物体行进一段距离到达D,它必须首先到达距离D的二分之一,然后是四分之一、八分之一、十六分之一、以至可以无穷地划分下去。因此,这个物体永远也到达不了D。

这些结论在实践中不存在,但是在逻辑上无可挑剔。

芝诺甚至认为:"不可能有从一地到另一地的运动,因为如果有这样的运动,就会有'完善的无限',而这是不可能的。"如果阿基里斯事实上在T时追上了乌龟,那么,"这是一种不合逻辑的现象,因而决不是真理,而仅仅是一种欺骗"。这就是说感官是不可靠的,没有逻辑可靠。

他认为:"穷尽无限是绝对不可能的"。根据这个运动理论,芝诺还提出了一个类似的运动佯谬:

3、 "飞矢不动"

在芝诺看来,由于飞箭在其飞行的每个瞬间都有一个瞬时的位置,它在这个位置上和不动没有什么区别。那么,无限个静止位置的总和就等于运动了吗?或者无限重复的静止就是运动?中国古代也有类似的说法。如:《庄子·天下》中惠施的一句名言。二千多年前中国古人同样运用了无限的概念。

战国名家宋国人惠施(约公元前370-前310)曾任梁国的宰相,论辩奇才,是庄子的朋友,和公孙龙并列为名家的代表人物。他的著作多已亡佚,只能从其他诸家的论述中看到他的言行片段。

惠施的学说强调万物的共相,因而事物之间的差异只是一种相对的概念,现存与惠施有关的奇怪命题,例如,"山与泽平"、"卵有毛"、"鸡三足"、"犬可以为牛"、"火不热"、"矩不方"、"白狗黑"、"孤驹未尝有母"等,都可以说是悖论,但是大部份没有留下具体的争辩过程。惠施的悖论在西方也很有影响。

毛泽东从辩证法的角度基本接受惠施无限可分的观点。一九六四年八月十八日,他同哲学工作者谈话时说:"列宁讲过,凡事可分。举原子为例,不但原子可分,电子也可分。"又说:"电子本身到现在还没有分裂,总有一天能分裂的。'一尺之捶,日取其半,万世不竭',这是个真理。不信,就试试看。如果有竭就没有科学了。"

有人注意到,毛泽东十分偏爱这句话,如五十年代中期对核物理学家钱三强,一九六四年八月同周培源、于光远,一九七三年、一九七四年接见杨振宁、李政道,等等,都提到这句话。

4、 "点一样多?"

"1厘米线段内的点与太平洋面上的点一样多"

多少哲学家、数学家都唯恐陷入悖论而退避三舍。二十三岁获博士学位的德国数学家康托尔(1845-1918)六年以后向无穷宣战。他成功地证明了:一条直线上的点能够和一个平面上的点一一对应,也能和空间中的点一一对应。由于无限,1厘米长的线段内的点,与太平洋面上的点,以及整个地球内部的点都"一样多"。

然而,康托尔的"无穷集合"与传统的数学观念发生冲突,遭到谩骂。直到一八九七年第一次国际数学家会议,他的成果才得到承认,几乎全部数学都以集合论为基础。罗素称赞他的工作"可能是这个时代所能夸耀的最巨大的工作。"

同时,集合论中也出现了一些自相矛盾的现象,尤其是罗素的理发师悖论,以极为简明的形式震撼了数学的基础,这就是"第三次数学危机"。此后,数学家们进行了不懈地探讨。

例如,一九九六年英国剑桥大学出版社出版了亨迪卡的《数学原理的重新考察》,这本书以罗素的《数学原理》(1903)为蓝本的,试图完善逻辑和数学基础。它主要阐述了亨迪卡和桑朵新创的IF逻辑及其可能产生的影响。它挑战了许多公认的观念,如公理集合论作为数学理论的适当框架,对说谎者悖论也作了进一步的探讨。它是否将引起一场逻辑和数学基础的革命?我们还将拭目以待。