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

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