赵震

（安徽大学哲学系，安徽合肥230601）

克里普克极小固定点真理论

赵震

（安徽大学哲学系，安徽合肥230601）

说谎者悖论是一个很有意思的悖论，解悖方案也有很多。克里普克固定点真理论是一个著名的解悖方案。他基于强克林三值语义学构造出固定点模型，以此来说明真的直观含义并在某种意义上解决了说谎者悖论。他的理论有很多优点，比如可以实现公式“P”和“P是真的”的等值置换；只有一个T谓词而不是多个不同的Ti谓词。但是他的理论也有很多不足之处，比如一些直观上有效的公式不再是有效的、（T）模式不再成立、对角线定理不再成立以及表达力被弱化了等。

说谎者悖论；固定点；真值间隙；表达力

一、克里普克的目的及所遇到的问题

首先我们要清楚克里普克的目的是什么。克里普克当然是要解决悖论，但是解决悖论只是他的真理论的一个“顺便”解决的问题。最终他是要给出一个真理论。那么克里普克的真理论所要实现的目的是什么呢？或者说他要把握什么样的“真”呢？克里普克自己说“我们希望能够捕获下面这样的直观。假设我们正在向不理解‘真’这个词的人解释‘真’。我们可能会说在我们能断定（或否定）一个句子的情境下我们恰好也有权断定（或否定）这个句子是真的。我们的对话者可以理解把真赋予（6）（‘雪是白的’）是什么意思，但是他可能依旧为把真赋予包含‘真的’这个词自身的句子而大伤脑筋。既然他最初并不理解这些句子，那么同样，在最开始向他解释说称一个句子是‘真的’（或‘假的’）等同于断定（或否定）这个句子自身也是没有解释清楚的”[1]。……