梦里似乎有人告诉过我,我的使命就是‘完成使命后就能成功自我救赎,收获幸福’。所以我们一定会成功的。”
妖精对谢四的盲目自信露出了不解神情,谢四便把在梦里听到的徐林的奇谈怪论告知了妖精。
妖精:(;?д?)
“不是小四,如果存在一个命题是p=(p→q),
那不就是p=q∨?p,
取否定就是?p=?q∧p,
所以?p→p,最终导致p恒真,你是想说这个?”
谢四歪了歪头,“应该就是这样,所以拉斯你也觉得骑士说的是对的?”
妖精:(>д<)
“哪来的邪教徒居然敢忽悠我家小四,太可恶了。等我重获真理之后一定要肃清这种败类。”
“哪里不对吗,拉斯?”
“不对,可太不对了,一开始就不对。世界上哪里会存在p=(p→q)这种神金命题!
小四,你要记得,一阶逻辑绝对不可以自指!不然等到以后你一定会被「罗素」忽悠的找不着北的。”
谢四苦恼地看向了拉斯,似乎在等待它的进一步解释。
“哎,小四,这就像是我之前跟你讲的「说谎者悖论」,一个人说‘我说的这句话是谎话’,那么他到底是说了真话还是谎话呢?
如果说是真话,那么他的话不就是在说自己在说谎话吗?
如果是在说谎话,那么他的话就得反过来听,也就是说他说的话是真话。
如此说来正反皆矛盾,问题出在哪里呢?问题就出在人类语言的不完备上,并不是每个句子都能带有语意。而在这之中,自指的语句就是典型不带有语意的句子。
就比如说在你的使命里怎么可以出现使命本身呢?”