An axiomatization of truth and paradoxicality

2025/09/08 by Luca Castaldo, Castaldo, Luca
Computer Science · Psychology · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science

paper · pdf · doi:10.48550/arxiv.2509.06757

openalex publication_date 2025/09/08 · openalex created_date 2025/10/11 · openalex updated_date 2026/07/28

Abstract

This short note introduces a formal system of truth and paradoxicality, outlining the main motivation, and proving its ω-consistency. The system is called TP, for 'Truth and Paradoxicality'.

Citations

• Reasoning with Attitude: Foundations and Applications of Inferential Expressivism
• Can the Classical Logician Avoid the Revenge Paradoxes?
• Outline of a Theory of Truth

Related

• Truth and the liar paradox
• Truth and meaningfulness
• Avoiding Contradictions in the Paradoxes, the Halting Problem, and\n Diagonalization
• A formal system for reasoning about assertibility, truth, and meaningfulness
• Truth and Knowledge