In this paper, we zoom in on some important features of Chrysippus’ logic by framing them in a natural deduction system for relevant logic. Our view is alternative to other recent reconstructions of Chrysippus’ view based on the sequent calculus. We show how, adding suitable elimination rules (akin to the five indemonstrables) that are missing in the Chrysippean system, one automatically obtains classical logic as a kind of deductive upper bound.
Chrysippus' logic in a natural deducting setting
Mario Piazza;Marcello D'Agostino
2022
Abstract
In this paper, we zoom in on some important features of Chrysippus’ logic by framing them in a natural deduction system for relevant logic. Our view is alternative to other recent reconstructions of Chrysippus’ view based on the sequent calculus. We show how, adding suitable elimination rules (akin to the five indemonstrables) that are missing in the Chrysippean system, one automatically obtains classical logic as a kind of deductive upper bound.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CHRYSIPPUS_LOGIC.pdf
embargo fino al 01/09/2024
Tipologia:
Accepted version (post-print)
Licenza:
Solo Lettura
Dimensione
380.86 kB
Formato
Adobe PDF
|
380.86 kB | Adobe PDF | Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.