论文标题
一个独立的真理理论
A self-contained theory of truth
论文作者
论文摘要
塔斯基（Tarski）的不确定定理指出，基于常规谓词逻辑（PL）的形式系统无法谈论其自身的真理谓词。但是，PL并不是唯一可以想象的正式语言。在本文中，可以证明可以构建一个形式系统，不是基于PL，而是基于更限制的形式语言，这是在本系统中，我们既可以谈论甚至定义系统自身的真理谓词的自我限制。这暗示了理解罗素，戈德尔和塔斯基的发现的新方法，以及解决引起这些问题的恶性圈子的新方法。这个新系统提出了一个有趣的替代基础数学框架。
Tarski's undefinability theorem states that a formal system based on conventional predicate logic (PL) cannot talk about its own truth predicate. PL is, however, not the only formal language imaginable. In this paper, it will be shown that it is possible to construct a formal system, based not on PL but a more restrictive formal language, which is self-contained in the sense that within this system, we can both talk about and even define the system's own truth predicate. This hints at new ways of understanding Russell's, Gödel's, and Tarski's discoveries, and new ways of tackling the vicious circles that give rise to these problems. This new system presents an interesting alternative foundational mathematical framework.
