A formal system for reasoning about assertibility, truth, and meaningfulness
Logic
2025-10-10 v1
Abstract
We propose axioms governing the interaction of constructive assertibility and meaningfulness predicates with a self-applicative truth predicate characterized by the T-scheme, and we prove the consistency of the resulting formal system.
Keywords
Cite
@article{arxiv.2510.07641,
title = {A formal system for reasoning about assertibility, truth, and meaningfulness},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:2510.07641},
year = {2025}
}
Comments
10 pages