真理问题一直是学术界备受关注的问题,不同的学者在不同的时期给予真以不同的理解,形成了关于真定义的多种理论。如符合论、融贯论、冗余论等。美籍波兰逻辑学家塔尔斯基独辟蹊径,在1935年发表了《形式化语言中的真理概念》,开创了真理研究的新途径,建立了语义学真理论。本文试图从符号学角度,概述塔尔斯基真理语义论的基本思想,并对其特点进行简单阐释。从符号学角度,我们可以将真理分为语形真理,语义真理和语用真理,无论哪种真理,都有自然语言和形式语言两种表述方式。显然,塔尔斯基的真理理论是从语义方面来定义真理的,过程中,他采用了相对精确的形式语言。他以现代逻辑为手段,用逻辑分析和语义分析的方法,给“真的”一词下了一个实质上适当、形式上正确的定义,同时提出了著名的语言层次论,并创建了现代意义上的系统的语义学。塔尔斯基阐述的真理与认识论中的真理不同,仅仅是一个逻辑学概念。所提出的T约定也不是真理的定义,但塔尔斯基指出它是单独句子的成真条件.可以看作真理的部分定义。定义真理的过程结构严密,逻辑性强,具有相对的普遍性。在对塔尔斯基真理理论中几个基本语义概念分析的基础上,指出塔尔斯基对真理进行定义的最终目的是为了建立逻辑语义学。本文进一步肯定了塔尔斯基的真理语义论的地位。指出其真理理论不仅刺激了语义问题和真理问题的深入研究,确立了逻辑语义学的基础。其语言层次论也提供了一种很好的解悖方案,对演绎科学也有积极的意义。之后的卡尔纳普,戴维森都从不同角度发展了真理理论。