Grounding rules for (relevant) implication - HAL Accéder directement au contenu
Article dans une revue Journal of Applied Non-Classical Logics Année : 2020

Grounding rules for (relevant) implication

Résumé

In Poggiolesi (2020a) a definition of the notion of complete and immediate formal grounding in the background of a relevant framework has been introduced; this definition generates some intuitively acceptable grounding principles for relevant implication. In the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding in a relevant framework based on that definition. Our logic will have the form of a calculus of natural deduction and will formalize the relation of grounding both as a meta-linguistic relation and as a connective. The calculus will contain grounding rules for relevant implication and will be proved to be sound and complete with respect to the original definition. Finally we will prove the deduction theorem at the grounding level, i.e. we will show that grounding formalized as a metalinguistic relation is equivalent to grounding formalized as a connective.

Domaines

Philosophie
Fichier principal
Vignette du fichier
groundingrulesforimplication9.pdf ( 401.82 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02953412, version 1 (30-09-2020)

Identifiants

Citer

Francesca Poggiolesi. Grounding rules for (relevant) implication. Journal of Applied Non-Classical Logics, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩. ⟨hal-02953412⟩
107 Consultations
98 Téléchargements
Dernière date de mise à jour le 07/04/2024
comment ces indicateurs sont-ils produits

Altmetric

Partager

Gmail Facebook Twitter LinkedIn Plus