Classical Core Logic, Relevance, and Substructurality - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Classical Core Logic, Relevance, and Substructurality

Résumé

Classical Core Logic (CCL) is a system put forward by Tennant (2017) for relevant deductive reasoning. Like many relevant logics, CCL achieves relevance by restricting the structural rule of Weakening. Unlike relevant logics in the R family, it blocks the Lewis argument for explosion not by rejecting Disjunctive Syllogism, but by rejecting unrestricted Cut. Although CCL deserves the title of substructural logic, if only because it restricts Weakening and Cut, this remains a rather superficial characterization. It is often pointed out that interesting substructural logics need to preserve the operational rules of the logic the structural rules of which are being restricted. On this count, CCL behaves in a rather unusual way, by requiring unassorted pairs of connectives (i.e., multiplicative on one side, additive on the other). The goal of this paper is to bring out the unusual features of Classical Core Logic qua substructural logic, both from a proof-theoretical and a semantical point of view, and provide a principled explanation for them, based on the specific understanding of the notion of relevance that CCL explicates. The general picture that emerges from all this is a commitment to a specific form of premise/conclusion relativism, i.e., the view according to which connectives may receive different interpretations depending on whether they occur as premises or conclusions in a sequent. This is joint work with Peter Verdée from the Catholic University of Louvain-la-Neuve.
Fichier principal
Vignette du fichier
Classical_Core_Logic_Relevance_and_Substructurality - abstract.pdf (135.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04382596 , version 1 (09-01-2024)

Identifiants

  • HAL Id : hal-04382596 , version 1

Citer

Pierre Saint-Germier, Peter Verdée. Classical Core Logic, Relevance, and Substructurality. 2024. ⟨hal-04382596⟩
23 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More