Journal of Symbolic Logic:1-52 (forthcoming)
AbstractFollowing the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $\#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $\omega $, of Kripke–Feferman truth theory and of Friedman–Sheard truth theory, and show that all of these have the same strength as the finitist arithmetic of one higher level along Grzegorczyk hierarchy. On the other hand, we also show that adding Burgess-style groundedness schema, adjusted to the finitist setting, makes Kripke–Feferman truth theory as strong as primitive recursive arithmetic. Meanwhile, we obtain some basic results on finitist theories of (full and hat) inductive definitions and on the second order axiom of hat inductive definitions for positive operators.
Similar books and articles
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
On Cut-Elimination Arguments for Axiomatic Theories of Truth.Daichi Hayashi - 2022 - Studia Logica 110 (3):785-818.
Finitism = PRA? On a Thesis of W.W. Tait.Matthias Schirn & Karl-Georg Niebergall - 2005 - Reports on Mathematical Logic:3-24.
Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.