Abstract
AbstractWhat is the logical strength of theories of truth? That is: If you take a theory${\cal T}$and add a theory of truth to it, how strong is the resulting theory, as compared to${\cal T}$? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: At least when${\cal T}$is finitely axiomatized theory, theories of truth act more or less as a kind of abstract consistency statement. To prove this result, however, we have to formulate truth-theories somewhat differently from how they have been and instead follow Tarski in ‘disentangling’ syntactic theories from object theories.
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.
