Showing math.LOShow all
2 papers · 1 filter
math.LO2025
A formal system for reasoning about assertibility, truth, and meaningfulness
Nik Weaver
We propose axioms governing the interaction of constructive assertibility and meaningfulness predicates with a self-applicative truth predicate characterized by the T-scheme, and w…
math.LO2025
Truth and meaningfulness
Nik Weaver
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…