真理的语义论( scmantic theory of truth) 指的是塔尔斯基关于真理的一个理论。在20世纪30 年代被提出。塔尔斯基从符号论出发，他认为如果一个语句指示一种存在着的事态，那么这个语句便是真的。并试图给真理概念下一个内容上适当、形式上正确的定义。塔尔斯基把对象语言和元语言互相区别开开来，这样做以克服语义的封闭性。“在某种意义上，普遍的定义应是所有这些部分定义的逻辑合取。”(《真理的语义概念和语义学的基础》)塔尔斯基承认给真理所下的定义只适用于形式语言，而不完全适用于自然语言，因为自然语言不能充分满足这个定义要在形式上正确的要求。