标题： 真理与意义 显示英文标题

标题： Truth and meaningfulness

摘要： 我概述了一种新的真理理论，该理论解决了经典和构造性版本的说谎者悖论。 该理论具有可证明一致性的全局自指真理谓词公理化。 真理使用塔斯基的“约定T”进行定义，但组合性是自动的。 给出了弗雷格基本定律V的正确、非悖论形式。 本文是我在最近出版的书籍《构造性可数主义》中提出的真理论述的（非常）浓缩版本。 显示英文摘要

摘要： I outline a new theory of truth that resolves the classical and constructive versions of the liar paradox. The theory features a provably consistent axiomatization of a global self-applicative truth predicate. Truth is defined using Tarski's "convention T", but compositionality is automatic. The correct, non-paradoxical form of Frege's Basic Law V is given. This paper is a (very) condensed version of the account of truth advanced in my recent book *Constructive Countablism*.