苏格拉底悖论

 

苏格拉底悖论（Socratic paradox），来自于自指句。典型的范例如下：

下面的句子是错误的。

上面的句子是正确的。

如果第一个句子“下面的句子是错误的”，那么第二个句子“上面的句子是正确的”不成立，因此成为“上面的句子也是错误的”。如果第二个句子“上面的句子就是正确的”，那么第一个句子“下面的句子是错误的”不成立，因此成为“下面的句子就是正确的”……就这样陷入了死循环。