真理的语义理论 真理的语义理论Semantic theory of truth声称对某个命题为真的任何断言可以只作为形式上的需要而做出来不管表达命题自身用了什么语言 真理的语义概念以不同的方式同符合和紧缩的概念有关是由波兰逻辑学家Alfred Tarski在年代出版的著作引发的Tarski在On the Concept of Truth in Formal Languages中尝试公式化一种新的真理的理论来解决说谎者悖论在其中他做出了很多数学发现最著名的是塔斯基不可定义性定理它类似于哥德尔不完全定理粗略的说它声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来