A formal system for reasoning about assertibility, truth, and meaningfulness

2025/10/09 by Nik Weaver, Weaver, Nik
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.2510.07641

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.

Related

• Truth and meaningfulness
• An axiomatization of truth and paradoxicality
• A self-contained theory of truth
• The semantic conception of proof
• A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics