On Wright's inductive definition of coherence truth for arithmetic
Analysis 63 (1):6–15 (2003)
| Abstract | 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 | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesCharles Sayward (2000). Remarks on Peano Arithmetic. Russell 20:27-32.
Cezary Cieśliński (2010). Deflationary Truth and Pathologies. Journal of Philosophical Logic 39 (3).
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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #115,463 of 556,803 )Recent downloads (6 months)1 ( #64,847 of 556,803 )How can I increase my downloads? |
My notes
Discussion
