Editorial Introduction: Substructural Logics and Metainferences - CNRS - Centre national de la recherche scientifique Access content directly
Journal Articles Journal of Philosophical Logic Year : 2022

Editorial Introduction: Substructural Logics and Metainferences

Abstract

The concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and Exchange. Recent years have witnessed the development of substructural logics also challenging the Tarskian properties of Reflexivity and Transitivity of logical consequence. In this introduction we explain this recent development and two aspects in which it leads to a reassessment of the bounds of classical logic. On the one hand, standard ways of defining the notion of logical consequence in classical logic naturally induce substructural logics when admitting more than two truth values; on the other hand, these substructural logics give rise to hierarchies of metainferences that can be used to approximate classical logic at different levels.
Fichier principal
Vignette du fichier
main_BE_SubstructuralLogics_HAL.pdf (367.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03928879 , version 1 (07-01-2023)

Identifiers

Cite

Eduardo Barrio, Paul Égré. Editorial Introduction: Substructural Logics and Metainferences. Journal of Philosophical Logic, 2022, 51, pp.1215-1231. ⟨10.1007/s10992-022-09693-1⟩. ⟨hal-03928879⟩
14 View
16 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More