Defining Formal Explanation in Classical Logic by Substructural Derivability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Defining Formal Explanation in Classical Logic by Substructural Derivability

Résumé

Precisely framing a formal notion of explanation is a hard problem of great relevance for several areas of scientific investigation such as computer science, philosophy and mathematics. We study a notion of formal explanation according to which an explanation of a formula F must contain all and only the true formulae that concur in determining the truth of F. Even though this notion of formal explanation is defined by reference to derivability in classical logic, the relation that holds between the explained formula and the formulae explaining it has a distinct substructural flavour, due to the fact that no redundancy is admitted among the explaining formulae. We formalise this intuition and prove that this notion of formal explanation is essentially connected, in a very specific sense, to derivability in a substructural calculus.
Fichier principal
Vignette du fichier
grounding-substructural-LNCS.pdf (239.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03192655 , version 1 (08-04-2021)

Identifiants

  • HAL Id : hal-03192655 , version 1

Citer

Francesco A Genco, Francesca Poggiolesi. Defining Formal Explanation in Classical Logic by Substructural Derivability. Computability in Europe 2021: Connecting with Computability, Jul 2021, Ghent, Belgium. ⟨hal-03192655⟩
116 Consultations
290 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More