The key idea of this paper is that grounds are a special kind of reasons, so their logicis part of the logic of reasons. We outline a natural deduction calculus that providesa basic formal characterization of reasons and enables us to obtain some distinctiveand relatively uncontentious principles about grounds. Then we show that the calculusoutlined is consistent and decidable, which we take to be an interesting result in itsown right.

Reasons and Grounds: A Proof-Theoretical Investigation

Genco, Francesco A.;Iacona, Andrea
2025-01-01

Abstract

The key idea of this paper is that grounds are a special kind of reasons, so their logicis part of the logic of reasons. We outline a natural deduction calculus that providesa basic formal characterization of reasons and enables us to obtain some distinctiveand relatively uncontentious principles about grounds. Then we show that the calculusoutlined is consistent and decidable, which we take to be an interesting result in itsown right.
2025
1
39
Ground · Epistemic reason · Proof theory · Translation · Normalisation ·Cut-elimination · Decidability · Consistency
Genco, Francesco A.; Iacona, Andrea
File in questo prodotto:
File Dimensione Formato  
Genco_et_al-2025-Journal_of_Philosophical_Logic.pdf

Accesso aperto

Dimensione 651.88 kB
Formato Adobe PDF
651.88 kB Adobe PDF Visualizza/Apri

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/2318/2108355
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact