在西方哲学发展史上,对真理问题的研究一直是一个核心问题。在西方哲学发展的不同时期,哲学家们对真理定义给出了不同的答案。如符合论、融贯论、实用主义真理观、冗余论等。但时至今日,关于真理问题的争论仍然没有停止。塔尔斯基语义真理论作为现代真理论,它的出现具有其内在原因。塔尔斯基从研究“说谎者悖论”开始,发现了悖论产生的根本原因,即自然语言的封闭性。为了解决这一问题,他把语言划分为自然语言和形式化语言,又把形式化语言划分对象语言和元语言。塔尔斯基认为,要定义真理必须满足两个条件,即“内容上适当,形式上正确”。所以,他通过形式化语言,并通过中间概念“满足”完成了对“真”的定义。塔尔斯基语义真理论的产生,不仅使逻辑实证主义从语形学中解脱出来,而且对分析哲学产生了巨大影响,并由此建立起了现代逻辑语义学。本文从研究各种真理论及其困境出发,结合“说谎者悖论”引出塔尔斯基的语义真理论,并对其真理论进行了详细剖析。阐明了塔尔斯基真理论产生的根源和形成的过程,并对塔尔斯基语义真理论的产生意义进行了深入的论述。