拉图书

第20章 梦之舞－公主的归谬法（第2页）

梦里似乎有人告诉过我，我的使命就是‘完成使命后就能成功自我救赎，收获幸福’。所以我们一定会成功的。”

妖精对谢四的盲目自信露出了不解神情，谢四便把在梦里听到的徐林的奇谈怪论告知了妖精。

妖精：(；?д?)

“不是小四，如果存在一个命题是p=（p→q），

那不就是p=q∨?p，

取否定就是?p=?q∧p，

所以?p→p，最终导致p恒真，你是想说这个？”

谢四歪了歪头，“应该就是这样，所以拉斯你也觉得骑士说的是对的？”

妖精：(＞д＜)

“哪来的邪教徒居然敢忽悠我家小四，太可恶了。等我重获真理之后一定要肃清这种败类。”

“哪里不对吗，拉斯？”

“不对，可太不对了，一开始就不对。世界上哪里会存在p=（p→q）这种神金命题！

小四，你要记得，一阶逻辑绝对不可以自指！不然等到以后你一定会被「罗素」忽悠的找不着北的。”

谢四苦恼地看向了拉斯，似乎在等待它的进一步解释。

“哎，小四，这就像是我之前跟你讲的「说谎者悖论」，一个人说‘我说的这句话是谎话’，那么他到底是说了真话还是谎话呢？

如果说是真话，那么他的话不就是在说自己在说谎话吗？

如果是在说谎话，那么他的话就得反过来听，也就是说他说的话是真话。

如此说来正反皆矛盾，问题出在哪里呢？问题就出在人类语言的不完备上，并不是每个句子都能带有语意。而在这之中，自指的语句就是典型不带有语意的句子。

就比如说在你的使命里怎么可以出现使命本身呢？”

谢四张着嘴一言不发，眼睛也是一眨不眨地看向了妖精，像是整个人宕机了一般。

“小四，如果你还没听懂的话，我再给你举个例子，每个自然数都可以......”