塔斯基对于真理的定义及其意义.docVIP

塔斯基对于“真理”的定义及其意义 波兰数学家、逻辑学家塔斯基（Alfred Tarski, 1902— ）1933年在《形式化语言中的真理概念》一文中提出了一个对于“真理”（Truth）的语义学定义。它深刻地影响了当时的逻辑经验主义和后来的分析哲学的意义理论，并且导致理论语义学的正式建立。本文试图简单地评介建立这个定义的前因、方式及其后果。 一． 为何要从语义角度定义“真理” 一般说来，语义学（semantics）是研究语言的表达式与这些表达式所涉及的对象（或事态）之的关系的学科。典型的语义概念是“指称”、“满足”、“定义”等等。“真理”这个概念的涵义是极其丰富而且多层次的，历史上对于它的讨论和定义无论从学科角度还是从思想流派的角度看，都是很多样的。但是，如果把它放到语言学系统中来讨论，那么将它作为一个语义学的概念，即作为某些语言表达式（比如陈述句）与其所谈及的对象之间的关系来处理，确实不失为一种简便自然而且容易精确化的讨论方法。 然而，语义概念在学术史上的地位一直是不明确的或者说是很奇特的。一方面，这些概念深植于人们的语言活动中，要完整地表达思想尤其是有关认识论、方法论的观点，它们是必不可少的；另一方面，几乎所有要以普遍的和充分的方式来刻划它们的意义的努力都失败了。更糟糕的是，包含这些语义概念的论证，不管它们在别的情况下显得如何正确，却可能导致反论或悖论，比如说谎者悖论，因而