真之语义理论是由塔斯基提出,他在1933年的《形式化语言中的真概念》一文中首先表述,后来又在1944年的《真之语义看法与语义学基础》一文中作了非形式化的解释和说明。他凭借现代逻辑的技巧和语义学方法,提出了真之语义定义,创立了逻辑语义学。这一理论在当时引起了极大的反响,对现今真和意义理论的探讨也有至关重要的作用。本文共分三章,第一章论述了塔斯基真之语义定义研究的背景,明确其研究的对象和目标。第二章概括介绍了塔斯基的真之语义定义。他通过形式语言,利用语言分层,采用T约定,通过定义满足达到对真的说明。文章表明塔斯基关于日常语言和形式语言特点的分析,使我们对这两种语言形式有了一个更客观深入的认识;关于语言分层的思想使语义悖论在形式化语言中得到了消解;关于真与可证关系的结论也与哥德尔不完全性定理相等同。第三章分为四部分,首先是对T约定进行评析,揭示了T约定的内涵。文章指出T约定中的x和p都属于元语言,T型等值式不是T约定,T约定不是真的语义定义,T约定说明了区别名字和句子的重要性;其次是就塔斯基方案对语义悖论消解的评析,语言分层理论使语义悖论在形式化语言中得到了消解,但是对日常语言的作用有限;再次是讨论真之语义理论与符合论的关系,得出真之语义理论不是符合论或符合论的现代形式;最后是论述塔斯基理论的贡献和价值。主要体现在三个方面:第一,对真之语义定义的探讨,使塔斯基得以创建科学的逻辑语义学,从而使得逻辑学日趋完善;第二,塔斯基所创设的真之语义理论,为真理论探讨提供了一个新视角,丰富和深化了有关真的研究;第三,塔斯基的真之语义理论对于意义研究有着重要的价值。戴维森的意义理论,即是对塔斯基理论的发展和运用的直接表现。