对“真”的研究,是哲学和逻辑学领域中一个重要的传统课题。关于“真”,众多哲学家、逻辑学家都提出了自己独到的见解,已形成诸多理论如符合论、融贯论、实用论、冗余论等。塔尔斯基指出,虽然在普通语言中“真”的含义相当清楚明确,但精确定义这一概念的企图往往导致悖论。他独辟蹊径,从语义学的视角给真以精辟的解释,构建了真的语义定义。塔尔斯基的真之语义论是对真概念的精确分析,包括一系列概念、理论和思想,譬如语言层次理论、塔尔斯基定理以及一些语义学概念等等,它们都是真之语义定义的构建中所不可缺少的。真之语义定义是在实质适当性、形式正确性和物理主义这些限制性条件下进行构建的,它以古典真概念为起点,以语言层次理论为基础,以类演算语言为形式语言,运用递归定义的方法,先提出原子语句函项的满足条件,再提出复合语句函项的满足条件,最后借助满足来定义真。这一定义既保留了亚里士多德古典真定义的直观含义,又避免了在语义封闭的语言中受到悖论的威胁,可以说是塔尔斯基意义上“令人满意”的真定义。这一理论包含三个方面的内容:在哲学层面上,语义论是真的一种弱符合论的解释;在方法和技术层面上,语义论建立在物理主义的限制和现代逻辑的成果上,把对真的定义内置于形式语言中的一个演绎系统中,是一种形式化的解释;在逻辑和语义学层面上,语义论中产生了许多重要逻辑成果,促进了逻辑语义学的建立,是一种语义学的解释。真之语义论运用演绎科学方法解决了一个哲学上的传统难题,解决了历史遗留下来而长期难以解决的一系列语义学上的根本问题,为现代逻辑语义学的建立奠定了理论基础。