Depth Relevance and Hyperformalism

Journal of Philosophical Logic 51 (4):721-737 (2022)
  Copy   BIBTEX

Abstract

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result of the paper, we give a very simple proof of a related but strictly stronger result.

Similar books and articles

Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
Depth relevance of some paraconsistent logics.Ross T. Brady - 1984 - Studia Logica 43 (1-2):63 - 73.
A Note on the Relevance of Semilattice Relevance Logic.Yale Weiss - 2019 - Australasian Journal of Logic 16 (6):177-185.
Variable Sharing in Connexive Logic.Luis Estrada-González & Claudia Lucía Tanús-Pimentel - 2021 - Journal of Philosophical Logic 50 (6):1377-1388.
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
What is relevance logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.
Substructural Fuzzy-Relevance Logic.Eunsuk Yang - 2015 - Notre Dame Journal of Formal Logic 56 (3):471-491.
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.

Analytics

Added to PP
2021-11-16

Downloads
338 (#56,754)

6 months
124 (#26,926)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shay Logan
Kansas State University

Citations of this work

Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.

View all 6 citations / Add more citations

References found in this work

What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
Universal Logic.Ross Brady - 2006 - Bulletin of Symbolic Logic 13 (4):544-547.
Universal Logic.Ross Brady - 2007 - Studia Logica 87 (2-3):359-362.
Entailment and relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.

View all 7 references / Add more references