逻辑学十大悖论

数学中推翻前人的例子

在数学中，推翻前人的例子有很多。以下是一些著名的例子：

1. 罗素悖论：由英国哲学家和逻辑学家伯特兰·罗素提出的悖论，表明自指的命题（即包含它自身的命题）会导致矛盾。这个悖论在20世纪初引发了数学和逻辑学的大规模变革，推动了公理化方法的普及，对数学和哲学都产生了深远的影响。

2. 哥德尔不完备定理：由奥地利数学家哥德尔提出的定理，表明任何足够复杂的数学系统都存在一些无法被证明或证伪的命题。这个定理彻底颠覆了人们对数学系统的完美性和一致性的传统看法，对数学和逻辑学产生了深远的影响。

3. 非欧几何的创立：在19世纪末和20世纪初，德国数学家高斯、俄国数学家罗巴切夫斯基和匈牙利数学家波尔约等人在研究三维欧几里得几何时发现，去掉欧几里得公设中的第五公设（即平行公设），可以推导出一种新的几何学——非欧几何。这个发现打破了欧几里得几何的唯一性和自洽性的传统观念，开创了数学的新领域。

4. 微积分严格化：在19世纪和20世纪初，数学家们开始对微积分的基础进行严格的公理化研究，提出了许多新的数学概念和方法，如极限、连续、导数、积分等，推动了微积分理论的发展和完善。这些成果不仅解决了微积分在物理、工程和其他领域的应用问题，还对现代数学的发展产生了深远的影响。

5. 布尔巴基学派的崛起：在20世纪前半期，法国数学家布尔巴基等人开始致力于将全部数学建立在公理体系上，他们建立了一套新的数学体系，被称为布尔巴基学派或结构主义学派。这个学派的成果不仅改变了人们对数学的认识和理解方式，还对整个现代数学产生了深远的影响。

悖论大集合（下）

伊壁鸠鲁悖论

罪恶问题

罪恶问题（Problem of evil）是宗教哲学和神学中如何使邪恶或苦难与全知全能全善的神和谐的问题，由古希腊哲学家伊壁鸠鲁提出。罪恶问题又被称为邪恶问题、苦难问题或伊壁鸠鲁悖论（Epicurean

Paradox）。试图解决这一难题的理论称为神义论。

前提

在分析罪恶问题前，一些概念必须加以明确定义，这是由于宗教信仰本身的特点所决定的。

1.神是谁或什么？

2.什么是恶？

2.什么是全能(全能悖论)（en:omnipotence）？

4.以及什么是全善（en:omnibenevolence）？

表述

1.伊壁鸠鲁的表述

A 如果是上帝想阻止“恶”而阻止不了，那么上帝就是无能的；

B 如果是上帝能阻止“恶”而不愿阻止，那么上帝就是坏的；

C 如果是上帝既不想阻止也阻止不了“恶”，那么上帝就是既无能又坏；

D 如果是上帝既想阻止又能阻止“恶”，那为什么我们的世界充满了“恶”呢？

逻辑表述

文句式

1.神存在（前提）

2.神全能（前提，或者由“神”的定义得为真）

3.神全善（前提，或者由“神”的定义得为真）

4.所有全善的存在都反对任何的恶。（前提，或者由“全善”的定义得为真） 5.所有全善的存在如果可能会立即消灭任何的恶。（前提）

6.神反对任何的恶。（由3和4得出的结论）

7.神可以立即彻底的消灭恶。（由2得出的结论）

8.神会立即彻底的消灭恶。（由3、5和7得出的结论）

9.恶存在而且可能永远存在。（前提）

10.8和9矛盾，因此至少一个前提不成立：或者神不存在，或者神不全善全能，或者神有理由不立即这么做，再或者恶不存在。

反面意见

1710年，莱布尼茨提出神义学系统研究罪恶问题，解释为什么神允许恶存在同神的全善不矛盾。

1.恶的定义

5世纪神学家奥古斯丁针对罪恶问题提出反驳，后来成为最常见的反驳之一。他定义“恶”为善的丧失。所有的“恶”都是与善的事物相对立而言的，例如不和谐、不公平、失去生命或自由等。这一论证被称为对比神义论。但是对比神义论是建立在一个对于道德的形而上学的解释上——善和恶没有道德标准。

老虎悖论是博弈论中一个著名的逻辑悖论。

故事

国王要处决一个囚犯，但给他一个生还的机会。囚犯被带到5扇紧闭的门前，其中一扇后面关着一只老虎。国王对囚犯说：“你必须依次打开这些门。我可以肯定的是，在你没有打开关着老虎的那扇门之前，你是无法知道老虎是在那扇门后。”显然，如果囚犯有可能在打开有老虎的那扇门前知道，就证明国王在撒谎，那么就可以活命。 开门之前，囚犯进行了如下分析： 假如老虎在第五扇门，那当他把前四扇门打开后都没发现老虎，那他肯定猜到老虎在第五扇门中，因国王说过不论何时他也料不到老虎在哪扇门后，那国王的说话就错了。因此，老虎肯定不在第五扇门中。同样道理，老虎也不在第四道门中，否则囚犯打开三道门后，只剩两道门，老虎既不在第五扇门后，那就会给他料到在第四扇门后；依次类推，老虎不存在任何一道门后；囚犯这时就不再多想，冒冒失失依次推门，结果老虎从第二扇门中跳了出来，把囚犯咬死了。国王看见了说：“不是跟你说了老虎在哪扇门后总是出乎你的意料了吗？现在你就是万料不到了。”

悖论分析

如果囚犯的推理成立，那么就算国王把老虎放在第五扇门后，也是“料想不到”，学者们争论的重点在于：这个推理究竟错在第几步？

1.主张错在第一步

如果第一步是正确的，那么后面几步为什么是错的？所以第一步就错了。错在囚犯把国王的思路作为论据。

首先必须定义怎样算国王所谓的“知道”(或“意料”)，如果投机猜测算的话，那国王不论怎样放都不能保证不被猜中，所以带投机成分的猜测不能算“知道”（国王为了自身利益也会这么定义），设“知道”定义为“在即有事实下的逻辑推理”，那么囚犯不仅要正确预测老虎，还要对其预测给出严格的逻辑证明才行。本例中不考虑没有老虎的情况，即囚犯已知必有1老虎。作为囚犯，他在每次打开一个门前都会进行逻辑推理，如果能推出老虎是在即将打开的门里就赢了，如果不能推出，他就只能打开这个门，如果打开后没有老虎就继续推理下一个门是否有老虎，依此类推。

逻辑学悖论之三：实质蕴含悖论

逻辑学悖论之三：实质蕴含悖论

早就有⼈指出，现代逻辑学的真值函项理论只是⼀个⾃⾜的符号演算体系，和我们所使⽤的逻辑⽅法⽆关。作为⼀个⾃

⾜的符号演算体系，这个体系实际上就是布尔演算体系。在布尔演算体系中，符号→是多余的。

逻辑论证的基本形式是“如果，则”语句：“如果A为真，则B为真”。后来有⼈将其⽤符号来表⽰，就是p→q（也有⽤其它符

号替代→的）。在这⾥，字母符号所代表的都是命题。

逻辑论证的基本形式是“如果，则”语句，但并⾮所有的“如果，则”语句形式都是逻辑论证。这个差别另⽂讨论。

⾃从逻辑学家⽤连接词来表⽰复合命题以来，→ 和 ¬、∧、∨⼀样都是基本连接词。然⽽，尽管p∨q、p∧q、¬p都是复合

命题，但它们都不是“论证”。我们既可以⽤集合的语⾔甚⾄图式（例如⽂恩图）、也可以⽤布尔算法来演算以这三个连接词所

连接的复合命题的真伪，前提是我们已知其中原⼦命题p和q的真伪。

ｐ→ｑ完全不⼀样，它是逻辑论证的基本形式。如果它不是唯⼀的逻辑连接词，它也是最重要的逻辑连接词。

⾃从逻辑论证被写成p→q的形式以后，逻辑学家就⾯临⼀个困难：如何定义它？与此等价的问题是：如何判断它的真

伪？

逻辑学家发明了⽂恩图，使⽤这个⼯具可以定义p∨q、p∧q、¬p，但⽂恩图不能定义p→q。这就是⽂恩图⼯具的致命缺

陷：尽管它可以⽤来消除“和语句”、“或语句”和“⾮语句”这样的复合语句可能产⽣的歧义，却不能⽤来论证任何⼀个理论。布尔

代数也是⼀样，布尔代数中没有“→语句”。布尔等式可以⽤来将某个使⽤连接词¬、∨、∧的语句转换成另⼀个形式，例

如p∨q=q∨p，之类。但⽤布尔等式算不出其中任何⼀个原⼦命题p或q的真伪。简⾔之，定义和对p∨q、p∧q、¬p语句做演

算，确实可以避免我们在使⽤“和”、“或”、“⾮”这些连接词的时候产⽣歧义，但即便我们准确使⽤了这些连接词我们也⽆法论证

任何⼀个命题的真伪。

⼈类智慧可以论证⼀个命题的真伪，我们将这种⽅法称为“逻辑⽅法”，将这种论证称为“逻辑论证”，且将这种论证的形式