苏格拉底悖论
让我们来想一想。在说谎者悖论中，一个撒谎者说的是全部撒谎者，一句话说的是这句话本身，一个勋章上表达的是关于全部勋章的论断。所有这些句子谈论的都是关于句子本身的事，都出现了自相关。它们是不是因为自相关才引起了麻烦？如果我们能够想办法避免自相关，是不是就能够消除矛盾了？
不幸的是，这样做不行。古希腊人已经认识到了这一点，知道就是能够避免自相关也不足以消除矛盾，他们以当时最著名的两个哲学家的名字设计了一段对话，构成了柏拉图—苏格拉底悖论。
柏拉图：苏格拉底下面要说的话是真的。
苏格拉底：柏拉图说的是假话。
这段对话可以简化成两个句子：
“句子A：句子B是真的。”
“句子B：句子A是假的。”
柏拉图—苏格拉底悖论，实际上是说谎者悖论的翻版，不信你试试看，不管你让哪一句话是真的，另一句都会与之矛盾。在两句话中，每一句谈的都不是它本身，都不出现自相关。但是只要把它们放到一起，仍然出现了说谎者悖论。让我们一起来分析：
假若句子A是真的，那么句子B必然是真的；但是，如果句子B是真的，句子A就必须是假的。
假若句子A是假的，那么句子B必然是假的；但如果句子B是假的，句子A就必须是真的。
这样一来，只要这两个句子放在一起，就会不断地改变自己的真实性，让我们没法说出它们谁真谁假、谁假谁真！