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 Deduction 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.
2022
Settore M-FIL/02 - Logica e Filosofia della Scienza
Thinking and Calculating : Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai
Springer Science and Business Media B.V.
Stoic logic; Natural Deduction; Relevant logic; Classical logic
File in questo prodotto:
File Dimensione Formato  
CHRYSIPPUS_LOGIC.pdf

Open Access dal 02/09/2024

Tipologia: Accepted version (post-print)
Licenza: Solo Lettura
Dimensione 380.86 kB
Formato Adobe PDF
380.86 kB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11384/113108
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact