UNIGE document Doctoral Thesis
previous document  unige:120650  next document
add to browser collection

Finitist Axiomatic Truth

Strahm, Thomas
Defense Thèse de doctorat : Univ. Genève, 2019 - L. 950 - 2019/06/18
Abstract In this thesis, we adapt several prominent methods to state consistent axiomatic theories of (type-free) arithmetical truth for the particular levels and the entire Grzegorczyk (primitive recursive) hierarchy and arithmetical hierarchy. More specifically, the considered theories include: (1) a theory of naive truth for some basic level of the Grzegorczyk hierarchy; (2) theories of Friedman-Sheard truth for higher levels of the Grzegorczyk hierarchy; (3) theories of Kripke-Feferman truth, grounded truth, and disquotational truth for the entire Grzegorczyk hierarchy; (4) iterations and progressions (via so-called reflection schemas) of theories of Kripke-Feferman truth for the particular levels and the entire arithmetical hierarchy. The bulk of our work consists in proving -- upon devising the required technical machinery and concepts -- that the considered theories of truth are (in the specific proof-theoretic sense to be devised) interpretable in corresponding theories of arithmetic by employing recursion-theoretic tools. A great deal of our proof-theoretic analysis relies on Parsons' theorem.
Keywords Axiomatic theories of truthNaive truthFriedman-Sheard truthKripke-Feferman truthGrounded truthDisquotational truthTarski schemaIterated truthReflection schemaFinitist arithmeticPrimitive recursive arithmeticGrzegorczyk hierarchyArithmetical hierarchyProof theoryInterpretabilityParsons' theorem
URN: urn:nbn:ch:unige-1206509
Full text
Thesis (1.1 MB) - public document Free access
Research groups Logic and Theory Group, Institute of Computer Science, University of Bern
Eidos - the Centre for Metaphysics
(ISO format)
WALKER, Jan. Finitist Axiomatic Truth. Université de Genève. Thèse, 2019. doi: 10.13097/archive-ouverte/unige:120650 https://archive-ouverte.unige.ch/unige:120650

394 hits



Deposited on : 2019-07-12

Export document
Format :
Citation style :