TL;DR
This paper explores formalizations of the concept of truth, proposing two main approaches—constructive and classical—that together resolve the longstanding liar paradox.
Contribution
It provides a comprehensive analysis of truth formalizations and offers a complete resolution to the liar paradox through these frameworks.
Findings
Two distinct formalizations of truth: constructive and classical.
Resolution of the liar paradox using these formalizations.
Clarification of the limitations and applications of each approach.
Abstract
We analyze the informal notion of truth and conclude that it can be formalized in essentially two distinct ways: constructively, in terms of provability, or classically, as a hierarchy of concepts which satisfy Tarski's biconditional in limited settings. This leads to a complete resolution of the liar paradox.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsClassical Philosophy and Thought · Philosophy and Theoretical Science