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