Syntactical truth predicates for second order arithmetic
Journal of Symbolic Logic 66 (1):225-256 (2001)
| Abstract | We introduce a notion of syntactical truth predicate (s.t.p.) for the second order arithmetic PA 2 . An s.t.p. is a set T of closed formulas such that: (i) T(t = u) if and only if the closed first order terms t and u are convertible, i.e., have the same value in the standard interpretation (ii) T(A → B) if and only if (T(A) $\Longrightarrow$ T(B)) (iii) T(∀ x A) if and only if (T(A[x ← t]) for any closed first order term t) (iv) T(∀ X A) if and only if (T(A[X ←▵]) for any closed set definition $\triangle = \{x \mid D(x)\}$ ). S.t.p.'s can be seen as a counterpart to Tarski's notion of (model-theoretical) validity and have main model properties. In particular, their existence is equivalent to the existence of an ω-model of PA 2 , this fact being provable in PA 2 with arithmetical comprehension only | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCharles X. Ling (1995). Introducing New Predicates to Model Scientific Revolution. International Studies in the Philosophy of Science 9 (1):19 – 36.
Jeffrey Ketland (2003). On Wright's Inductive Definition of Coherence Truth for Arithmetic. Analysis 63 (1):6–15.
Agustin Rayo (2008). On Specifying Truth-Conditions. Philosophical Review 117 (3):385-443.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Agustín Rayo (2002). Frege's Unofficial Arithmetic. Journal of Symbolic Logic 67 (4):1623-1638.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Johan Van Benthem (2005). Minimal Predicates. Fixed-Points, and Definability. Journal of Symbolic Logic 70 (3):696 - 712.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Charles B. Cross (2001). A Theorem Concerning Syntactical Treatments of Nonidealized Belief. Synthese 129 (3):335 - 341.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,125 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
