This paper develops a formal theory of non-monotonic consequence which differs from most extant theories in that it assumes Contraposition as a basic principle of defeasible reasoning. We define a minimal logic that combines Contraposition with three uncontroversial inference rules, and we prove some key results that characterize this logic and its possible extensions.
Non-Monotonicity and Contraposition
Vincenzo Crupi
;Tiziano Dalmonte;Andrea Iacona
2025-01-01
Abstract
This paper develops a formal theory of non-monotonic consequence which differs from most extant theories in that it assumes Contraposition as a basic principle of defeasible reasoning. We define a minimal logic that combines Contraposition with three uncontroversial inference rules, and we prove some key results that characterize this logic and its possible extensions.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
s10849-024-09425-5.pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
318.43 kB
Formato
Adobe PDF
|
318.43 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
