悖论与塔斯基真理定义

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