Abstract
In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.
This research was supported by an Arts and Humanities research council grant number AH/H039791/1. The author would like to thank Kentaro Fujimoto for his helpful comments.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
If formulated with a type-free truth predicate.
References
Cantini, A. (1990). A theory of formal truth arithmetically equivalent to ID1. Journal of Symbolic Logic, 55(1), 244–259.
Feferman, S. (1991). Reflecting on Incompleteness. Journal of Symbolic Logic, 56(1), 1–49.
Friedman, H., & Sheard, M. (1987). An axiomatic approach to self-referential truth. Annals of Pure and Applied Logic, 33, 1–21.
Halbach, V. (1994). A system of complete and consistent truth. Notre Dame Journal of Formal Logic, 35(3), 311–327.
Halbach, V. (1999). Conservative theories of classical truth. Studia Logica, 62(3), 353–370.
Horsten, L. (1995). The semantical paradoxes, the neutrality of truth and the neutrality of the minimalist theory of truth. In: Cortois, P. (ed.), The many problems of realism (Studies in the general philosophy of science: Volume 3) (pp. 173–187). Tilburg: Tilburg University Press.
Ketland, K. (1999). Deflationism and Tarski’s paradise. Mind, 109(429), 69–94.
Leigh, G. E., & Rathjen, M. (2010). An ordinal analysis for theories of self-referential truth. Archive for Mathematical Logic, 49(2), 213–247.
Leigh, G. E., & Rathjen, M. (2012). The Friedman-Sheard programme in intuitionistic logic. Journal of Symbolic Logic, 77(3), 777–806.
Shapiro, S. (1998). Proof and truth: Through thick and thin. Journal of Philosophy, 95(10), 493–521.
Sheard, M. (2001). Weak and strong theories. Studia Logica, 68, 89–101.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Leigh, G. (2015). Some Weak Theories of Truth. In: Achourioti, T., Galinon, H., Martínez Fernández, J., Fujimoto, K. (eds) Unifying the Philosophy of Truth. Logic, Epistemology, and the Unity of Science, vol 36. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-9673-6_13
Download citation
DOI: https://doi.org/10.1007/978-94-017-9673-6_13
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-017-9672-9
Online ISBN: 978-94-017-9673-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)