句也决不能指派为真或假，克里普克的理论意味着某些语句既非真也非假。这与二值原则相抵触，该原则认为所有语句或者为真或者为假。由于这一原则是推出说谎者悖论的关键前提，因此该悖论被解决了。
真理语义学理论.真理的语义理论主张，对于给定语言，任何可接受的真理定义应该以下述模式的全部实例作为后承：当“P”是语句的指称（语句的名字）时，P正是语句本身。逻辑学家和哲学家塔斯基发展了对于形式语言（比如形式逻辑）的理论。这里，他以如下方式约束该理论：语言不能包含对自身的真值谓词，换言之，表达