真理的語義論( scmantic theory of truth) 指的是塔爾斯基關於真理的一個理論。在20世紀30 年代被提出。塔爾斯基從符號論出發,他認為如果一個語句指示一種存在著的事態,那么這個語句便是真的。並試圖給真理概念下一個內容上適當、形式上正確的定義。塔爾斯基把對象語言和元語言互相區別開開來,這樣做以克服語義的封閉性。
“在某種意義上,普遍的定義應是所有這些部分定義的邏輯合取。”(《真理的語義概念和語義學的基礎》)塔爾斯基承認給真理所下的定義只適用於形式語言,而不完全適用於自然語言,因為自然語言不能充分滿足這個定義要在形式上正確的要求。