摘要：塔斯基的语义学真理定义是各种真理论中最具有影响力和最被人广泛接受的一种。他的理论源于亚里士多德的古老传统，并且在提出后被大量哲学家研究和发展。塔斯基的理论由两部分构成，首先他提出了一个真理定义应当满足的实质恰当性条件，之后他用一种特殊的形式语言中构造了符合此条件的真理定义。本文分为三部分，第一部分将考察塔斯基提出的实质恰当性和形式正确性条件；第二部分将进一步说明塔斯基是如何通过满足这个概念来定义真的，并且用非形式和形式化的方法分别阐述塔斯基的真理定义；在第三部分，我们将对塔斯基的理论进行评述。

关键词：塔斯基 真理 语义学真理论 形式化语言

目录

摘 要

Abstract

绪论-（5）

第一章 塔斯基真理论提出的两个条件（5）

第一节 实质恰当性-（3）

第二节 形式正确性-（6）

第二章 真理的定义（8）

第一节 定义满足-（8）

第二节 真理定义的说明（10）

第三章 塔斯基真理论的评述-（11）

第四章 塔斯基真理定义的发展-（12）

结束语（13）

参考文献