主题：最后的哲学：相对主义——(我一切思考中最重要的东西) -- 淡淡忧伤

人认为的“上帝”也是被创造的——上帝的上帝可以不是被创造的

在乌龟对阿基里斯说 - 刘易斯-卡罗尔的寓言中，乌龟挑战阿基里斯用逻辑的力量让自己接受一个简单演绎推理的结论，但是阿基里斯失败了，因为狡猾的乌龟把他带入了“无限倒退”（infinite regression）。

一，“无限倒退”

“无限倒退”指在解释或证明时，同样形式的解释或证明无止境地继续下去。“无限倒退”有“良性”与“恶性”之分。

此现象可以在不同场合观察到。比如，家喻户晓的故事：“从前有座山，山里有个庙，庙里有个老和尚，在给小和尚讲故事；从前有座山，。。。”

在逻辑推理中，“无限倒退”指一个由命题p1, p2, p3, …组成的无限序列，对于任何自然数n，pn的真值取决于pn+1的真值。一般而言，“无限倒退”的证明被认为是失败的，因为无法确立任何结论。

乌龟就是试图让阿基里斯陷入这样的“无限倒退”的境地。

二，对话摘要

乌龟一开始就提出三个命题：

(A) 等于同一事物的事物彼此相等。

(B) 这个三角形的两边等于第三边。

(Z) 这个三角形的两边彼此相等。

然后乌龟问阿基里斯，结论（Z）是否从假设（A）和（B）中逻辑地得出，阿基里斯说确实如此。乌龟问他，是否有一类欧几里德的读者，在不接受A和B是真的情况下，仍然接受此序列作为推理是有效的。阿基里斯认为，这样的读者可能存在，但他认为这是一个糟糕的逻辑学家。

乌龟又问，是否存在第二类读者，他们接受命题A和B为真，但不接受假设A和B。阿基里斯承认，这样的读者也可能存在，然后乌龟要求阿基里斯把自己当作这样的读者，从逻辑上说服自己接受Z为真。

在写完A、B和Z之后，阿基里斯要求乌龟接受命题（C）：“如果A和B为真，那么Z就一定为真”。乌龟愿意接受这个命题，只要阿基里斯把它写下来。写完后，乌龟接受了命题C，但仍然拒绝结论，阿基里斯说： “如果你接受A、B和C，你必须接受Z”。乌龟指出这是一个新的命题，并要求他写在其他命题之后，这种继续下去，乌龟接受了阿基里斯写的每个假设，但不接受结论，最后形成一系列迭代：

(1) 等于同一事物的事物彼此相等；

(2) 这个三角形的两边等于第三边；

(3) 如果(1)和(2)为真，则Z必然为真 ；

(4) 如果(1)，(2)和(3)为真，则Z必然为真 ；

...

(n) 如果(1)，(2)，...，(n-1)为真，则Z必然为真。

但乌龟仍然拒绝承认这个结论。在对话的最后，乌龟讽刺说，“你把最后一步写下来了吗？除非我忘了数数，否则那是一千零一个，还将有几百万个。”

三，罗素的解读

罗素（Bertrand Russell）在《数学原理》（1903）中简要地论述了这种“越来越复杂的隐含的无限倒退”，指出区分“蕴含”（implication：如果p，那么q）和“演绎推理”（inference：p，因此q）：蕴含表达的是二个命题p和q的关系，p为假设；而在推理中，p必然为真。在此基础上，阿基里斯可以拒绝乌龟的立场，因为乌龟将“从A和B推理出Z”等同于“如果A和B为真，那么Z也为真的蕴含” 。