Is the HYPE about strength warranted?

Fischer, Martin (2022): Is the HYPE about strength warranted? In: Synthese, Vol. 200, No. 3

Abstract

In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb's logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purposes and has additional attractive properties.

• Item Type: Journal article
• Faculties: Philosophy, Philosophy of Science and Religious Science
• Subjects: 100 Philosophy and Psychology > 100 Philosophy
• ISSN: 0039-7857
• Language: English
• DFG: Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 491502892