Classical determinate truth without induction
Abstract
Fujimoto and Halbach had introduced a novel theory of type-free truth CD which satisfies full classical compositional clauses for connectives and quantifiers. Answering their question, we show that the induction-free variant of that theory is conservative over Peano Arithmetic.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2024
- DOI:
- 10.48550/arXiv.2408.01198
- arXiv:
- arXiv:2408.01198
- Bibcode:
- 2024arXiv240801198W
- Keywords:
-
- Mathematics - Logic;
- 03H15;
- 03F30;
- 03C62;
- 03A05
- E-Print:
- 24 pages