Nonlinear Studies 22 (2) (forthcoming)

Abstract
In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)', by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. Main tools used in proofs are Zermelo-Fraenkel (ZF) set theory and classical logic.
Keywords theory of truth  ZF set theory  formal language  first-order  truth predicate  sublanguage
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Emperor’s New Mind.Roger Penrose - 1989 - Oxford University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Human Knowledge and the Infinite Regress of Reasons.Peter D. Klein - 1999 - Philosophical Perspectives 13:297-325.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.

View all 19 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
New Wave Deflationism.Nic Damnjanovic - 2010 - In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 45--58.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Truth Via Anaphorically Unrestricted Quantifiers.Jody Azzouni - 2001 - Journal of Philosophical Logic 30 (4):329-354.
Theories of Truth and Truth-Value Gaps.Philip Hugly & Charles Sayward - 1993 - Linguistics and Philosophy 16 (6):551 - 559.
Three Problems for the Singularity Theory of Truth.James Hardy - 1997 - Journal of Philosophical Logic 26 (5):501-520.
Don't Forget About the Correspondence Theory of Truth.Marian David - 2004 - Australasian Journal of Philosophy 82 (1):42 – 47.
Minimalism and the Definability of Truth.Gabriel Sandu - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:143-153.

Analytics

Added to PP index
2013-10-15

Total views
193 ( #51,504 of 2,433,134 )

Recent downloads (6 months)
9 ( #73,492 of 2,433,134 )

How can I increase my downloads?

Downloads

My notes