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