真理与自然语言

波兰逻辑学家A.塔斯基的真理论对形式化理论做出了重大贡献,然而,他关于在自然语言中不可能定义真理的结论却是轻率的。本文通过分析塔斯基真理论中T等式的歧义,证明他否定自然语言一致性的论证是无效的,并指出,在自然语言中定义真理是可能的,这一定义将是采用语用学方法做出的有关特定表达式的许多局部定义的合取。