Abstract
The contemporary study of the notion of truth divides into two main traditions: a philosophical tradition concerned with the nature of truth and a logical one focused on formal solutions to truth-theoretic paradoxes. The logical results obtained in the latter are rich and profound but often hard to connect with philosophical debates. In this paper I propose some strategy to connect the mathematics and the metaphysics of truth. In particular, I focus on two main formal notions, conservativity and relative interpretability, and show how they can be taken to provide a natural way to read formally the simplicity of the property and the simplicity of the concept of truth respectively. In particular, I show that, this way, we obtain a philosophically interesting taxonomy of axiomatic truth theories.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
