Truth and meaningfulness
Abstract
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*.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.