Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-28T15:23:56.429Z Has data issue: false hasContentIssue false

REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

Published online by Cambridge University Press:  01 December 2009

VOLKER HALBACH*
Affiliation:
Faculty of Philosophy New College, University of Oxford
*
*NEW COLLEGE, UNIVERSITY OF OXFORD, FACULTY OF PHILOSOPHY, OX1 3BN OXFORD, UK E-mail:volker.halbach@new.ox.ac.uk

Abstract

Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripke–Feferman theory, although it doesn’t probe the compositional axioms.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Cantini, A. (1989). Notes on formal theories of truth. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35, 97130.CrossRefGoogle Scholar
Cieśliński, C. (2007). Deflationism, conservativeness and maximality. Journal of Philosophical Logic, 36, 695705.CrossRefGoogle Scholar
Feferman, S. (1991). Reflecting on incompleteness. Journal of Symbolic Logic, 56, 149.CrossRefGoogle Scholar
Field, H. (1994). Disquotational truth and factually defective discourse. The Philosophical Review, 103, 405452.CrossRefGoogle Scholar
Halbach, V. (1999a). Conservative theories of classical truth. Studia Logica, 62, 353370.CrossRefGoogle Scholar
Halbach, V. (1999b). Disquotationalism and infinite conjunctions. Mind, 108, 122.CrossRefGoogle Scholar
Halbach, V. (2001). How innocent is deflationism? Synthese, 126, 167194.CrossRefGoogle Scholar
Halbach, V. (forthcoming). Axiomatic Theories of Truth. Cambridge: Cambridge University Press.Google Scholar
Halbach, V. (Spring 2006). Axiomatic theories of truth. In Zalta, E. N., editor. Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University. Available from: http://plato.stanford.edu/archives/spr2006/entries/truth-axiomatic/.Google Scholar
Halbach, V., & Horsten, L. (2006). Axiomatizing Kripke’s theory of truth. Journal of Symbolic Logic, 71, 677712.CrossRefGoogle Scholar
Horwich, P. (1990). Truth (first edition). Oxford, UK: Basil Blackwell.Google Scholar
Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690712.CrossRefGoogle Scholar
McGee, V. (1991). Truth, Vagueness, and Paradox: An Essay on the Logic of Truth. Indianapolis, IN: Hackett Publishing.Google Scholar
McGee, V. (1992). Maximal consistent sets of instances of Tarski’s schema (T). Journal of Philosophical Logic, 21, 235241.CrossRefGoogle Scholar
Quine, W. V. O., (1970). Philosopy of Logic. Cambridge, MA: Harvard University Press.Google Scholar
Reinhardt, W. (1986). Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, 15, 219251.CrossRefGoogle Scholar
Tarski, A. (1935). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica Commentarii Societatis Philosophicae Polonorum, 1, 261405.Google Scholar