David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Analysis 63 (1):6–15 (2003)
In “Truth – A Traditional Debate Reviewed” (1999), Crispin Wright proposed an inductive definition of “coherence truth” for arithmetic relative to an arithmetic base theory B. Wright’s definition is in fact a notational variant of the usual Tarskian inductive definition, except for the basis clause for atomic sentences. This paper provides a model-theoretic characterization of the resulting sets of sentences "cohering" with a given base theory B. These sets are denoted WB. Roughly, if B satisfies a certain minimal condition (for each term t, B proves an equation of the form t = n, where n is a numeral), then WB is the Th(M), where M is the canonical model of the set At(B) of atomic sentences provable in B. The paper also shows that the disquotational T-scheme is provable (in a metatheory T) from Wright’s inductive definition just in case the base theory B is (provably in T) sound and complete for arithmetic atomic sentences
|Keywords||No keywords specified (fix it)|
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Charles Sayward (2000). Remarks on Peano Arithmetic. Russell 20 (1):27-32.
Cezary Cieśliński (2010). Deflationary Truth and Pathologies. Journal of Philosophical Logic 39 (3):325 - 337.
Aldo Ursini (1978). On the Set of 'Meaningful' Sentences of Arithmetic. Studia Logica 37 (3):237 - 241.
P. D. Welch (2003). On Revision Operators. Journal of Symbolic Logic 68 (2):689-711.
Ilkka Niiniluoto (2004). Tarski's Definition and Truth-Makers. Annals of Pure and Applied Logic 126 (1-3):57-76.
Loïc Colson & Serge Grigorieff (2001). Syntactical Truth Predicates for Second Order Arithmetic. Journal of Symbolic Logic 66 (1):225-256.
Stewart Shapiro (2002). Incompleteness and Inconsistency. Mind 111 (444):817-832.
Klaus Aehlig (2005). Induction and Inductive Definitions in Fragments of Second Order Arithmetic. Journal of Symbolic Logic 70 (4):1087 - 1107.
Hannes Leitgeb (2005). What Truth Depends On. Journal of Philosophical Logic 34 (2):155-192.
Added to index2009-01-28
Total downloads89 ( #49,584 of 1,934,708 )
Recent downloads (6 months)1 ( #434,264 of 1,934,708 )
How can I increase my downloads?