Truth and meaningfulness
Logic
2025-07-14 v1
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*.
Keywords
Cite
@article{arxiv.2507.08289,
title = {Truth and meaningfulness},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:2507.08289},
year = {2025}
}
Comments
6 pages