悖论与塔斯基真理定义

Antinomy and Definition of Truth by Tarski

塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是在逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明"真理"概念可以在元逻辑中一致性地被使用。

There are two objectives for the definition of truth made by Tarski： One is philosophical, and the other is meta-mathematic. The philosophical objective lies in a simple concept of truth, i.e. the commonly-used concept in daily life concerning science and mathematics. The meta-mathematic one lies in the methodology in logic research, and it is about the nature of form and logic itself. The concept of truth plays an important role in meta-logic research; however, due to the antinomy resulted from the concept, the second objective in the definition made by Tarski is to prove that the concept of ＂truth＂ can be unanimously used in meta-logics.