真理的語義理論

真理的語義理論 （ Semantic theory of truth ） 聲稱對某個命題是真的的任何斷言 ， 可以只作爲形式上的需要而做出來 ， 不管表達命題自身用了什麼語言 。 真理的語義概念 ， 以不同的方式同符合和緊縮的概念有關 ， 是由波蘭邏輯學家Alfred Tarski在1930年代出版的著作引發的 。 Tarski在 《 On the Concept of Truth in Formal Languages 》 中嘗試公式化一種新的真理的理論來解決說謊者悖論 。 在其中他做出了很多數學發現 ， 最著名的是塔斯基不可定義性定理 ， 它類似於哥德爾不完全定理 。 粗略的說 ， 它聲稱一個給定語言的句子的真理概念不能在這個語言內被一致性的定義出來 。