Finitist Axiomatic Truth

Journal of Symbolic Logic:1-52 (forthcoming)
  Copy   BIBTEX


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 positive operators.



    Upload a copy of this work     Papers currently archived: 76,264

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Comparing Axiomatic Theories of Truth.Mateusz Łełyk - 2019 - Studia Semiotyczne 33 (2):255-286.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
On the Logicality of Truth.Kentaro Fujimoto - 2022 - Philosophical Quarterly 72 (4):853-874.
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.
Editorial introduction.John Sellars - 2006 - Angelaki 11 (3):1 – 3.


Added to PP

16 (#669,501)

6 months
16 (#64,033)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
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.

View all 21 references / Add more references