FINITIST AXIOMATIC TRUTH
- 26 September 2022
- journal article
- research article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 88 (1), 22-73
- https://doi.org/10.1017/jsl.2022.65
Abstract
Following 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 delta(0)(0) positive operators.Keywords
This publication has 22 references indexed in Scilit:
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATEThe Review of Symbolic Logic, 2017
- Full and hat inductive definitions are equivalent in NBGArchive for Mathematical Logic, 2014
- Classes and truths in set theoryAnnals of Pure and Applied Logic, 2012
- Subsystems of Second Order ArithmeticPublished by Cambridge University Press (CUP) ,2009
- Determinacy of Wadge classes and subsystems of second order arithmeticMathematical Logic Quarterly, 2009
- On the relationship between ATR0 andThe Journal of Symbolic Logic, 1996
- A System of Complete and Consistent TruthNotre Dame Journal of Formal Logic, 1994
- Reflecting on incompletenessThe Journal of Symbolic Logic, 1991
- Factorization of polynomials and Σ10 inductionAnnals of Pure and Applied Logic, 1986
- FinitismThe Journal of Philosophy, 1981