What is a relevant connective?
type: Item
instance of: scholarly article
title: What is a relevant connective?
author: Shawn Standefer
published in: Journal of Philosophical Logic
publication date: 2022-07-15T00:00:00Z
review text: The centerpiece of the family of \textit{relevant logics} (see [\textit{A. R. Anderson} et al., Entailment. The logic of relevance and necessity. Vol. I. Princeton, NJ: Princeton University Press (1975; Zbl 0323.02030)] for a survey) is the binary connective \(\rightarrow\), so that \(\varphi\rightarrow\psi\) is interpreted as indicating that a relation of \textit{entailment} holds between statements \(\varphi\) and \(\psi\). While a number of formal constraints purporting to characterize the eponymous `relevance' of the connective have been offered, it is generally accepted that satisfying the \textit{variable-sharing property} (that theoremhood of \(\varphi\rightarrow\psi\) requires that some atomic formula appears in both \(\varphi\) and \(\psi\)) is a necessary condition on such a logic. Despite the emphasis on the connective \(\rightarrow\), one can ask about the degree to which other sentential connectives cohere (or not) with the underlying motivations for relevant logics. For example, that the introduction of a new connective \(\star\) to intuitionistic logic should cause the failure of its characteristic \textit{disjunction property} (that \(\varphi\vee\psi\) is provable only if \(\varphi\) or \(\psi\) is provable) might be taken as evidence that \(\star\) is not appropriate as an `intuitionist' connective. The author takes up this question in the case of relevant logics by investigating the formal conditions that a connective must satisfy if it is to be consistent with their underlying philosophical ideology. The author takes as a starting point the five-point characterization of `intuitionistic connectives' drawn from [\textit{D. M. Gabbay}, Semantical investigations in Heyting's intuitionistic logic. Dordrecht; D. Reidel Publishing Company (1981; Zbl 0453.03001)], discussing the applicability of particular clauses to the relevant case. After surveying the philosophical literature on relevant logics and the ternary relation semantics described in [\textit…
reviewed by: Thomas Macaulay Ferguson
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 7557918
zbMATH Keywords: relevant logic
zbMATH Keywords: connectives
zbMATH Keywords: philosophy of logic
MaRDI profile type: MaRDI publication profile
full work available at URL: s10992-022-09655-7
OpenAlex ID: W4226132963
cites work: Q4873666
cites work: Q4088782
cites work: Meaning and proofs: on the conflict between classical and intuitionistic logic
cites work: Q4198728
cites work: Q3701398
cites work: How to be really contraction free
cites work: Routes to triviality
cites work: Q3413071
cites work: Natural deduction and Curry's paradox
cites work: The connectives
cites work: Connectives stranger than tonk
cites work: Anything goes
cites work: The logic of paradox
cites work: Boolean negation and all that
cites work: Saving truth from paradox
cites work: Classical relevant logics. II
cites work: Tolerant, classical, strict
cites work: Conservatively extending classical logic with transparent truth
cites work: What is a Classical Connective?
cites work: Q4492739
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: The pleasures of anticipation: Enriching intuitionistic logic
cites work: Actuality in intuitionistic logic
cites work: On some new intuitionistic propositional connectives. I
cites work: Q4724624
cites work: Varieties of logic
cites work: An algebraic approach to intuitionistic connectives
cites work: Nonstandard connectives of intuitionistic propositional logic
cites work: Models for normal intuitionistic modal logics
cites work: Models for stronger normal intuitionistic modal logics
cites work: Intuitionistic tense and modal logic
cites work: On an intuitionistic modal logic
cites work: Intuitionistic hybrid logic
cites work: Handbook of philosophical logic. Vol. 6
cites work: Philosophy of logic
cites work: Q4085699
cites work: Universal logic
cites work: A class of simpler logical matrices for the variable-sharing property
cites work: A general characterization of the variable-sharing property by means of logical matrices
cites work: Strong depth relevance
cites work: Farewell to suppression-freedom
cites work: What is relevance logic?
cites work: Distribution in the logic of meaning containment and in quantum mechanics
cites work: Semantics for relevant logics
cites work: A modal restriction of R-mingle with the variable-sharing property
cites work: Ticket entailment plus the mingle axiom has the variable-sharing property
cites work: Q3962967
cites work: The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
cites work: A Note on the Relevance of Semilattice Relevance Logic
cites work: Q3347856
cites work: An incompleteness theorem for modal relevant logics
cites work: On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
cites work: Q4805593
cites work: An admissible semantics for propositionally quantified relevant logics
cites work: Depth relevance of some paraconsistent logics
cites work: Curry's paradox, generalized modus ponens axiom and depth relevance
cites work: Blocking the routes to triviality with depth relevance
cites work: Relevant predication. I: The formal theory
cites work: Semantics for relevance logic with identity
cites work: Relevant identity
cites work: A metacompleteness theorem for contraction-free relevant logics
cites work: Metavaluations
cites work: Classical relevant logics. I
cites work: Q3762279

What is a relevant connective? (cites work)
cites work: Models for relevant modal logics

What is a relevant connective? (cites work)
cites work: Simplified Kripke style semantics for modal logics K45, KB4 and KD45

What is a relevant connective? (cites work)
cites work: Simplified Kripke-style semantics for some normal modal logics

What is a relevant connective? (cites work)
cites work: Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)

What is a relevant connective? (cites work)
cites work: Negation on the Australian plan

What is a relevant connective? (cites work)
cites work: Routley-Meyer ternary relational semantics for intuitionistic-type negations

What is a relevant connective? (cites work)
cites work: \(\mathbf R\) and relevance principle revisited

What is a relevant connective? (cites work)
cites work: Q4297115

What is a relevant connective? (cites work)
cites work: A semantic hierarchy for intuitionistic logic

What is a relevant connective? (cites work)
cites work: Models for entailment

What is a relevant connective? (cites work)
cites work: Semantics for quantified relevance logic

What is a relevant connective? (cites work)
cites work: Simplified semantics for basic relevant logics

What is a relevant connective? (cites work)
cites work: The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics

What is a relevant connective? (cites work)
cites work: Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

What is a relevant connective? (cites work)
cites work: Operational semantics for positive R

What is a relevant connective? (cites work)
cites work: Supervenience, dependence, disjunction

What is a relevant connective? (cites work)
cites work: Simplified semantics for relevant logics (and some of their rivals)

What is a relevant connective? (cites work)
cites work: An introduction to non-classical logic. From if to is

What is a relevant connective? (cites work)
cites work: On permutation in simplified semantics

What is a relevant connective? (cites work)
cites work: The relevant fragment of first order logic

What is a relevant connective? (cites work)
cites work: Generalized Galois logics. Relational semantics of nonclassical logical calculi

What is a relevant connective? (cites work)
cites work: Q4961804

What is a relevant connective? (DOI)
DOI: 10.1007/S10992-022-09655-7

What is a relevant connective? (Recommended article)
Recommended article: Q3999247
Similarity Score: 0.7267560362815857
Recommender Run: Recommender Run 4

What is a relevant connective? (Recommended article)
Recommended article: Relevant connexive logic
Similarity Score: 0.7249563336372375
Recommender Run: Recommender Run 4

What is a relevant connective? (Recommended article)
Recommended article: Q4532199
Similarity Score: 0.7150746583938599
Recommender Run: Recommender Run 4

What is a relevant connective? (Recommended article)
Recommended article: On purely relevant logics
Similarity Score: 0.7049017548561096
Recommender Run: Recommender Run 4

What is a relevant connective? (Recommended article)
Recommended article: Q4268409
Similarity Score: 0.7036884427070618
Recommender Run: Recommender Run 4