1. 最简单的悖论
最古老的悖论是两千多年前的“说谎者悖论”,若你说它是假命题的话,就可推出它是真命题,反之亦然。其最简形式就是:
本命题是假命题。(我说的话是错误的;)
这种悖论属于语义悖论。
类似地:
- 我只知道一件事,那就是什么都不知道。—— 苏格拉底(苏格拉底对这件事是知道还是不知道呢)
- “言尽悖”《庄子·齐物论》
- 世界上没有绝对的真理。(这句话是不是绝对的真理)
2. 罗素悖论
设集合 S 是由一切不属于自身的集合所组成,即“S={x|x∉x}”。那么问题是:S属于S是否成立?首先,若S属于S,则不符合x∉x,则S不属于S;其次,若S不属于S,则符合x∉x,S属于S。
理发师悖论:
本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!
书目悖论:
一个图书馆编纂了一本书名词典,它列出这个图书馆里所有不列出自己书名的书。那么它列不列出自己的书名?
3. 白马非马
春秋战国一位善坐诡辩的名家人物叫公孙龙,他有一句著名的怪论,“白马非马”。“白马非马”就是说“白色的马不是马”,这不很荒谬呀。荒不荒谬需要读者指出其中的悖论所在。
公孙龙因此狡辩说,要是白马是马,那么黑马也是马;马又是白马,又是黑马,岂不是说黑就是白了吗?因此,白马非马。
解释,“白马是马”这里的“是”,不是“等于”之意。具体说来,“是”有三种含义:
- “是”表示一样,一米等于三尺
- “是”表示元素和集合之间的归属关系:“祖冲之”是我国古代的数学家
- “是”也可以表示“两个集合”之间的归属关系:狗是哺乳动物;
因此“白马是马”这里的“是”,其实表达的是所属关系,而不是严格意义上的等于;