Abstract
Many take the lesson of the paradoxes to be that we ought to impose some form of logical revision. It is argued here that this kind of move should not be taken lightly.
Similar content being viewed by others
Notes
We will be following the mainstream literature in using \(\ulcorner \phi \urcorner \) to denote (the gödel code of) the name of the formula \(\phi \), where both \(\phi \) and its name belong to the language of the theory. The rest of the paper will also follow tradition insofar as use of gödel corners will for the most part be omitted.
Implicit in the formulation of (Norm) is an assumption which underwrites this entire discussion, which it is therefore worth making explicit here. This is that, while no doubt there are mathematical logicians uninterested in the philosophical debate about truth and philosophers uninterested in the formal study of this concept, there are also those whose interest and work combines both sides of the inquiry. This paper sits—in very good company—in the latter category. For other instances where similar remarks are voiced explicitly, see e.g. (Halbach and Horsten forth.) and Halbach (2001).
Halbach and Horsten (2005) pp. 207–208.
Feferman (1984) p. 95.
As pointed out by an anonymous referee, one might be inclined to think that Formalism is all and only there is to a ‘formal’ theory of truth; and that ‘formal’ theories of truth should be distinguished from (merely) ‘philosophical’ theories, represented instead by Story. As noted earlier, however, we subscribe to the view that a fully satisfactory account of truth must encompass both these components.
It is entirely conceivable that other meta-norms might emerge beyond those countenanced in this paper; far from being cause for concern, this would be a very welcome development, insofar as it would at least partly validate the approach we are proposing. Thanks to an anonymous referee for indirectly pointing this out.
McGee (1989), p. 533 ff.
For an overview, see e.g. Baker (2010).
Tarski (1936), p.164.
Ibid.
Tarski (1944), pp. 348–349.
Or, in an arithmetically-coded language, the numerals of the gödel codes of its sentences.
And indeed this particular controversy is ultimately immaterial to our present concern.
Let \((tr^+,tr^-)\) be a partial interpretation of \(tr\). The kripkean Strong Kleene jump operator is defined by
\(j(tr^+,tr^-)=(j^+(tr^+,tr^-),j^-(tr^+,tr^-))\),
where \(j^+(tr^+,tr^-)=\{\phi :(tr^+,tr^-)\,\vDash\, \phi \}\) and \(j^-(tr^+,tr^-)=\{\phi :(tr^+,tr^-)\,\vDash\, \lnot \phi \}\).
Kripke (1975) pp. 64–65 fn.18.
And it hardly needs mentioning, moreover, that ZFC is itself a thoroughly classical theory.
Kripke (1975) p. 711.
Kripke (1975) pp. 714–715.
As this section is only supposed to serve as a case study, we will not review any of the formal details of Field’s theory and assume some familiarity with the account.
Field (2010) p. 416.
We merely sketch the longer answer here, as it would take us too far afield from the main topic. It is this: because Field is a deflationist, and the story behind [Transparency] is the standard deflationist story according to which asserting \(tr(\phi )\) amounts to no more, no less, than asserting \(\phi \).
And of related classical principles, of course, including in particular DNE.
References
Baker A (2010) ‘Simplicity’. In Stanford encyclopedia of philosophy. http://plato-stanford.edu/entries/simplicity/
Belnap N, Gupta A (1993) The revision theory of truth. MIT Press, Cambridge
Feferman S (1984) Toward useful type-free theories. I. J Symb Logic 49(1):75–111
Field H (2008) Saving truth from paradox. Oxford University Press, Oxford
Field H (2010) Précis of saving truth from paradox. Philos Stud 147(3):415–420
Halbach V (2001) Editorial introduction. Stud. Logica. 68(3):3–20
Halbach V, Horsten L (2005) The deflationist’s axioms for truth. In: Beall, JC and Armour-Garb, B. Deflationism and Paradox. Oxford University Press, Oxford.
Halbach V, Horsten L (2006) Axiomatizing Kripke’s theory of truth. J Symb Logic 71(2):677–712
Halbach V, Horsten L (forthcoming) Norms for theories of reflexive truth. In: Achourioti, Galinon, Fujimoto, Martinez-Fernández (eds) Unifying the philosophy of Truth. Springer, Berlin
Leitgeb H (2007) What theories of truth should be like (but cannot be). Philos Compass 2(2):276–290
Kripke SA (1975) Outline of a theory of truth. J Philos 72(19):690–716
McGee V (1989) Applying Kripke’s theory of truth. J Philos 86(10):530–539
Priest G (1979) The logic of paradox. J Philos Logic 8:219–241
Reinhardt W (1986) Some remarks on extending and interpreting theories with a partial predicate for truth. J Philos Logic 15:219–251
Tarski A (1936) The concept of truth in formalized languages, in [Tarski 1956]
Tarski A (1944) The semantic concept of truth and the foundations of semantics. Res 4(3):341–376
Tarski A (1956) Logic, semantics, metamathematics. Oxford University Press, Oxford
Terzian G (2012) Uncovering the norms of truth. A meta-theoretic inquiry, University of Bristol PhD thesis
Acknowledgments
I am indebted to the audience at the workshop “Paradox and logical revision” for their many valuable questions, criticisms, and suggestions, which helped sharpen the ideas in this paper. I wish to thank in particular Michael Glanzberg, Hannes Leitgeb, Graham Priest, Dave Ripley, and Tim Williamson for their comments. I am equally grateful to the MCMP for hosting the event, and most of all to Julien Murzi and Massimiliano Carrara for giving me the opportunity to contribute to this special issue. Finally, I wish to thank two anonymous referees for their comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Terzian, G. Norms of Truth and Logical Revision. Topoi 34, 15–23 (2015). https://doi.org/10.1007/s11245-014-9259-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-014-9259-2