Saving logic from paradox via nonclassical recapture
Year: 2024
Type: article
Abstract: The Liar paradox arguably shows that a coherent and self-applicable notion of truth is governed by nonclassical logic. It then seems natural to conclude that classical logic is inadequate for defining a truth theory. In this article, we argue that this is not the case. In the spirit of Reinhardt (Math Logic Formal Syst 94:227, 1985; J Philos Logic 15:219–251, 1986), and in analogy with Hilbert’s program for the foundation of classical mathematics, we will articulate an instrumentalist justification for the use classical logic: it will be argued that classical reasoning is a useful but dispensable instrument, which can yield philosophically adequate truth theories.
Source: Philosophical Studies
Author: Luca Castaldo
Institutions: University of Florence, University of Warsaw
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,090
OpenAlex ID: W4399259677