David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Metaphysica 12 (1):31-43 (2011)
Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory
|Keywords||Truth Axiomatic theories Deflationism Paul Horwich|
|Categories||categorize this paper)|
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
Marian David (2002). Minimalism and the Facts About Truth. In R. Schantz (ed.), What is Truth?
Donald Davidson (1996). The Folly of Trying to Define Truth. Journal of Philosophy 93 (6):263-278.
Patrick Grim (1991). The Incomplete Universe. Cambridge, Mass.: Mit Press.
Anil Gupta (1993). Minimalism. Philosophical Perspectives 7:359-369.
Volker Halbach (1999). Disquotationalism and Infinite Conjunctions. Mind 108 (429):1-22.
Citations of this work BETA
No citations found.
Similar books and articles
Volker Halbach, Axiomatic Theories of Truth. Stanford Encyclopedia of Philosophy.
Hannes Leitgeb (2001). Theories of Truth Which Have No Standard Models. Studia Logica 68 (1):69-87.
Kentaro Fujimoto (2010). Relative Truth Definability of Axiomatic Truth Theories. Bulletin of Symbolic Logic 16 (3):305-344.
Volker Halbach (2001). Editorial Introduction. Studia Logica 68 (1):3-20.
Volker Halbach (2000). Truth and Reduction. Erkenntnis 53 (1-2):97-126.
Jeffrey Ketland (1999). Deflationism and Tarski's Paradise. Mind 108 (429):69-94.
Wang Lu (2008). Theories of Meaning. Frontiers of Philosophy in China 3 (1):83-98.
Simon Blackburn & Keith Simmons (eds.) (1999). Truth. Oxford University Press.
Volker Halbach (1999). Conservative Theories of Classical Truth. Studia Logica 62 (3):353-370.
Panu Raatikainen (2008). On Rules of Inference and the Meanings of Logical Constants. Analysis 68 (300):282-287.
Philip Hugly & Charles Sayward (1993). Theories of Truth and Truth-Value Gaps. Linguistics and Philosophy 16 (6):551 - 559.
James O. Young (2009). Truth, Correspondence and Deflationism. Frontiers of Philosophy in China 4 (4):563-575.
Eduardo Alejandro Barrio (2010). Theories of Truth Without Standard Models and Yablo's Sequences. Studia Logica 96 (3):375-391.
Cezary Cieśliński (2007). Deflationism, Conservativeness and Maximality. Journal of Philosophical Logic 36 (6):695 - 705.
Duncan Macintosh (1994). Partial Convergence and Approximate Truth. British Journal for the Philosophy of Science 45 (1):153-170.
Added to index2011-03-13
Total downloads66 ( #32,578 of 1,696,562 )
Recent downloads (6 months)4 ( #142,346 of 1,696,562 )
How can I increase my downloads?