本文中提到的“塔斯基的真理理论”是特指塔斯基在“真理”领域方面所做的一系列工作。而文中论述的塔斯基定理和塔斯基的真理定义正是这些工作的重要组成部分。塔斯基定理俗称塔斯基的真之不可定义性定理,是二十世纪关于语义悖论与逻辑语义学研究的一项重要成果。塔斯基通过在结构清晰的形式语言中重构了说谎者悖论,来证明任何算术充分的形式语言都不能在自身当中定义真谓词。而塔斯基的真理定义包括了塔斯基逻辑语义学以及塔斯基的语言层级论。塔斯基通过“满足”的方式在形式语言中定义了“真”概念,并通过对形式语言的层级划分达到了避免说谎者悖论的目的。本文试图通过对塔斯基定理和塔斯基的真理定义的分析,寻找其中的内在联系,以达到从整体上把握塔斯基真理理论的目的。本文大致可分为四部分。第一部分为第1章导论。这部分主要阐述塔斯基真理定义和塔斯基定理的研究背景和国内外研究现状,塔斯基对于问题所持有的倾向和处理问题所用到的方法,在历史上出现绝非偶然,其间有着许多学者们的贡献;第二部分为第2章、第3章和第4章。这部分主要在还原塔斯基定理的主要证明过程。证明过程包括,引入算术语言和公理系统PA,通过对哥德尔配数法的应用使形式语言具有表达足够多算术属性的能力,还有对于diag函数和编码函数的判定等诸多技术手段;第三部分为第5章。此部分完整地介绍了塔斯基的真理定义。这部分包括塔斯基对于真理定义所设想的形式正确和实质充分的分析,以及塔斯基用满足方式定义真理的方法论,还有塔斯基的语言层级论等方法;第四部分为第六章。这部分旨在从多个方面考虑塔斯基定理和塔斯基真理定义所带来的影响,结合塔斯基在各个领域的影响对塔斯基的真理理论做一个整体性的评述。最后,需要说明的是,塔斯基的真理理论是一个划时代的产物,与许多重要的成果都有着千丝万缕的联系,本文的评述仅在有限的范畴内进行。