At the commonsensical level of the manifest image, we seem to take for granted logical laws of all sorts, including classical logic (CL) and naive principles of truth and predication (TP), which, however, generate logical paradoxes such as the liar, Russell’s paradox and Curry’s paradox. The formal logic of the scientific image comes to the rescue by proposing many competing formal systems that restore consistency, by sacrificing either principles of CL or principles of TP. We wish to explore a different path, which aims at saving both CL and TP, and deals with the paradoxes when they come to the fore, without swallowing contradictions or explosion. We consider the viability of Batens’ Inconsistency-Adaptive Logic (IAL) to pursue this goal and we end up with a negative assessment. We then sketch an alternative proposal that incorporates IAL’s distinction between provisional and final derivability.
Cohabiting with the Logical Paradoxes: A Negative Assessment and a Proposal
Bruni, R.;Orilia, F.
2023-01-01
Abstract
At the commonsensical level of the manifest image, we seem to take for granted logical laws of all sorts, including classical logic (CL) and naive principles of truth and predication (TP), which, however, generate logical paradoxes such as the liar, Russell’s paradox and Curry’s paradox. The formal logic of the scientific image comes to the rescue by proposing many competing formal systems that restore consistency, by sacrificing either principles of CL or principles of TP. We wish to explore a different path, which aims at saving both CL and TP, and deals with the paradoxes when they come to the fore, without swallowing contradictions or explosion. We consider the viability of Batens’ Inconsistency-Adaptive Logic (IAL) to pursue this goal and we end up with a negative assessment. We then sketch an alternative proposal that incorporates IAL’s distinction between provisional and final derivability.File | Dimensione | Formato | |
---|---|---|---|
4-Argumenta-82-Riccardo-Bruni-and-Francesco-Orilia-Cohabiting-with-the-Logical-Paradoxes.pdf
accesso aperto
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Creative commons
Dimensione
383.91 kB
Formato
Adobe PDF
|
383.91 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.