Abstract
In this paper a generalized account of relevance as differencemaking is developed. It is argued that relevance should not be considered as a particular relation, but as a (higherorder) property of instances of arbitrary relations: namely the property that variations of the relata of the relation instance make a difference for its truth. This generalized account of relevance can be fruitfully applied in many domains, such as (i) logical reasoning with applications to explanation, confirmation, verisimilitude, isought inference, (ii) probabilistic reasoning with applications to explanation and confirmation, (iii) nomological and causal implication, (iv) communication, (v) grounding and (vi) essentiality. In conclusion, differencemaking relevance is a highly unifying and fruitful philosophical concept.
Similar content being viewed by others
1 Introduction: examples of relevance in different areas
In the last 50 years the study of relevance has become an important field in many areas, most prominently in relevance logic, but also in probability theory, explanation, confirmation, metaphysical grounding and communication. However, approaches to relevance have been criticized as being adhoc or onesided, designed for particular domains and purposes and not transferable to other ones.^{Footnote 1} It seems that in all these accounts of relevance it does not really become clear what kind of entity relevance in itself could be. In this paper I will argue that a reason for this problem lies in the fact that in received accounts, relevance has always been considered as a particular relation between individuals, propositions or other entities—such as logicodeductive, probabilistic, explanatory, communicative, metaphysical or practical relevance. In this perspective it is hard to see what relevance in general could be—in abstraction from its specific domain and purposes. Recently, grounding has been suggested as a general relevant relation (cf. Correia & Schnieder, 2012). But not all relevant relations are grounding relations. For example, communicative relevance can hardly be conceived as a kind of grounding. Moreover, it is not possible to understand both explanation and confirmation as grounding relations, since grounding is asymmetric but explanation and confirmation are typically inverse relations, i.e., an evidence E confirms a theory T iff T explains E. Thus, grounding is more specific than relevance. Orlowska & Weingartner (1986) have tried to find axioms common to all domainspecific relevance relations, arriving at the meagre result that relevance is a reflexive relation. But even reflexivity fails in certain domains, e.g., in communicative relevance (see Sect. 9).
Is there anything nontrivial that can be said about relevance in general? Yes there is. According to the suggestion of this paper, relevance should not be considered as some sort of (domainspecific) relation, but as a certain higherorder property of instances (or instantiations) of arbitrary relations: the property of differencemaking. If an entity a is said to be relevant to another entity b, this is semantically ambiguous, because relevance is always relative to some ‘respect’. In our account, this respect is reflected by a given relation. The relation (and the corresponding ‘respect’) may vary, but judging a as relevant for b with respect to a relation R means always the same, namely that a makes a difference for b’s being Rrelated.
To make this idea formally precise, I will assume throughout this paper that R is a binary relation between a domain A and a codomain B, R ⊆ A × B. The relation R may vary; so “A” and “B” do not designate a particular (co)domain but are variables for arbitrary (co)domains of a variable relation R. My proposal is this: An entity a∈A stands in a relevant relation R to an entity b∈B iff aRb holds and the fact that a rather than something else is related (or paired) with b makes a difference for b's being Rrelated, and for the properties of b that depend on this relationship. Since these properties may vary from domain to domain, the most general formulation of the differencemaking criterion is this:

(1)
Relevance as differencemaking (informal explication 1):
A given (true) relation instance aRb is relevant w.r.t. its first relatum (or argument), in short Arelevant (or domainrelevant), iff the fact that a rather than something else is related to b makes a difference for the truth value of the relation instance. Similarly for the relevance of aRb w.r.t. its second relatum (or argument), called Brelevance (or codomainrelevance).
The differencemaking idea of relevance expresses an strongly entrenched intuition of common sense and philosophical tradition. Among others, John St. Mill developed a differencemaking account of causal relevance (cf. Mill 1865, book III, ch. viii, “second canon”). In twentieth century philosophy of science the idea of probabilistic relevance as difference making was first developed by Jeffrey (1969) and Salmon (1970). Our formulation in (1) above is closely leaning towards standard formulations of the difference making approach in contemporary philosophy. Strevens, for example, characterizes a factor c as explanatory relevant to an explanandum e iff the factor c “makes a difference to an explanandum e”, in comparison with “a nonactual scenario in which c is not present” (2008, 55; see also Woodward, 2016, sec. 3.3). Note that in the formulation “a rather than something else is related to b”, the word “related” is understood as being paired as an attempt to create an Rinstance (e.g., to create an entailment, or an explanation, etc.); this attempt is successful if a is paired with b but not if some other (arbitrary) x is paired with b.
There is an equivalent and more succinct formulation of the differencemaking criterion that will be used in his paper:

(2)
Relevance as differencemaking (equivalent explication 2):
The true relation instance aRb is Arelevant iff the replacement of a in aRb by ‘other’ elements x∈A makes this instance false (and similarly for Brelevance)—where these ‘other’ elements can be specified in several ways differing in strength (see below).
In line with (2), this account has been called the replacement criterion of relevance in earlier work on deductive relevance (Schurz, 1991a). This paper develops a generalization of this account that is applicable to all sorts of domains. The account developed in this paper is a basically conservative extension of this earlier work on deductive relevance.^{Footnote 2}
Since the relation R may vary, the ontological nature of Rinstances may vary, too. What can be generally said is that a relation instance aRb is regarded as a proposition, or a state of affairs, expressed by the sentence “aRb”, namely that a stands in relation R to b, and if this proposition is true respectively this state of affairs obtains, then the relation instance aRb is a fact (cf. Textor, 2021). All this applies likewise to the relevance of a given relation instance, since this relevance is defined in terms of the truth and falsity of (this and other other) relation instances. The ontological nature of the entities in R’s domain A and codomain B depends on the domain of application. Let us briefly elucidate some such applications.
For example, in the domain of logic, R is the relation of deductive inference, A is the class of all sets of sentences (or propositions) Γ, Δ … of a suitably specified language Lang, and B is the class of all sentences (or propositions) A, B … of Lang. An inference or entailment relation is premiserelevant (i.e., Arelevant) iff the premises cannot be replaced by arbitrary other premises salva validitate, i.e., under preservation of the entailment’s validity. This is equivalent with requiring that the premises are necessary for entailing the conclusion. In this latter version the idea of premiserelevance was also the starting idea of Anderson and Belnap’s relevance logic (1975, 18). In the area of probability theory, Salmon (1971, 33f.) developed the notion of statistical relevance. Here the relation R is a conditional statistical probability p(BA) between event types A and B, and this relation is relevant if p(BA) ≠ p(B), i.e., conditioning on A makes a difference for B’s probability. The corresponding replacement operation is A’s elimination or A’s replacement by a tautology. A more refined version of probabilistic difference making is employed in Woodward’s interventionist account of causation (Woodward, 2003, 59).
The notions of deductive and probabilistic relevance play an important role in accounts of hypotheticodeductive and probabilistic confirmation. The idea of differencemaking is further involved in Mackie’s explication of a cause as an INUS condition (Mackie, 1975), i.e., an insufficient but necessary part of an unnecessary but sufficient condition. Here A_{i} counts as causal factor for B iff A_{i} makes a difference for the truth of a nomological implication of the form (A_{1}∧…∧A_{n}) → B, i.e. the implication becomes false iff A_{i} is eliminated from the conjunction, or replaced by something different. A version of differencemaking is employed also in Lewis' counterfactual account of causation, according to which an event A is a cause of B iff A relevantly counterfactually implies B, in the sense that A ↝ B but ¬A ↝ ¬B (Lewis, 1973; for an overview on differencemaking accounts to causation cf. Menzies, 2004).
In linguistics, relevance based on differencemaking figures as a basic ingredient of the theory of communication of Sperber and Wilson (1996), in the tradition of Grice (1975). Here the underlying relation R holds between the utterance of a proposition P and a context C consisting of the background beliefs that are shared by speaker and hearer, where the proposition P causes the hearer to acquire an information I that is implied by P and C. Sperber and Wilson consider the utterance of P as relevant in context C iff the information I goes beyond what C and P imply separately; thus both P and C must make a difference for the information acquired by the hearer.
Our final application will be the notion of essential properties that goes back to Aristotle and plays an important role in modal metaphysics (cf., e.g., Fine, 1994). Here the relation is that of predication between a property F and an individual a, and the predication of F is essential, or propertyrelevant, iff a’s possession of F makes a difference to a’s selfidentity. The dual notion of the individualrelevance of predication yields the notion of an individual essence.
These are some of the most important applications, but the account is not restricted to them. In principle, the proposed notion of relevance may be applied to any given binary relation, and often enough it will express an important feature of its relation instances. As a final example consider the relation of support between people. That Jim supports John is Brelevant if Jim gives the kind of support he conveys to John not to any other person, so that it makes a difference for Jim’s support activity whether John or someone else is the supportaddressee. Vice versa, the supportrelation is Arelevant iff no just anyone supports John in the way Jim does, so that it makes a difference for John’s being supported whether he requests support from Jim or someone else. In the first case, Jim has a supportpreference for John and in the latter case, John is supportdependent on Jim.
Recapitulating the ontological question, in most of the applications mentioned above the entities in A and B are propositions or sentences (or sets of those). In other applications, these entities are event types (in statistical probability), states of affairs or facts (in grounding), properties and individuals (in relevant predication), uttered propositions and belief contexts (in communication), or simply individuals (in the example of the support relation). More on the characterization of relations and their (co)domains will be said in Sect. 5.
Summarizing, we regard it as the major advantage of the proposed approach to relevance that it extracts a common property of relevant relation instances, defined via differencemaking, that is found again and again in fruitful applications of relevance in different domains. We do not at all deny, however, that alternative approaches that work out relevant relations in a domainspecific manner can be an important complementation of the proposed account. More on the relation of our account to alternative approaches will be said in Sects. 2, 4, 5 and 8.
The rest of this paper is organized as follows. The next three sections present a tour through applications of differencemaking relevance to logical inference and compare them with accounts of relevance logic. In these sections the important distinction between minimal, componentwise and essential relevance will be introduced (these sections are lengthy because in the literature studies of logical relevance are dominant). After that, the general definition of relevance will be stated in Sect. 5. In the following sections, its application to the other domains are studied.
2 Relevance in logical reasoning
Throughout the following we assume that A, B,… range over sentences of a language Lang; Γ, Δ,… over sets of sentences; P, Q,… over atomic sentences (propositional variables); F, G,…over (nplaced) predicates; a, b… over individual constants; and x, y,… over individual variables.
Relevance logic in the tradition of Anderson and Belnap (1975) starts with the attempt to get rid of two famous cases of irrelevant but classically valid inference (⊢) or corresponding (material) implication (→):

(3)
Verum Ex Quodlibet (VEQ): {A} ⊢ B∨¬B (Implication: A → (B∨¬B)).
Relevance analysis: The inference or implication is (maximally) premiseirrelevant, because {X} ⊢ B∨¬B resp. X → (B∨¬B) is valid for every formula X, since B∨¬B is Ltrue (short for logically true). Thus, it is possible to replace the premise A by arbitrary X salva validitate.

(4)
Ex Falso Quodlibet (EFQ): {A∧¬A} ⊢ B (Implication: (A∧¬A) → B).
Relevance analysis: This inference or implication is (maximally) conclusionirrelevant, since {A∧¬A} ⊢ X resp. (A∧¬A) → X is valid for every formula X, as A∧¬A is Lfalse. Thus, it is possible to replace the conclusion B by arbitrary X salva validitate.
This starting idea of (ir)relevance fits well with the differencemaking account, with R ⊆ A × B being the relation of entailment between sets of sentences and sentences, i.e. A = Pow(Lang) and B = Lang. We call the corresponding notion of relevance minimal premise resp. conclusionrelevance, because it is the weakest notion of relevance developed in this paper.

(5)
(Definition.) A valid inference Γ ⊢ A is minimally premiserelevant iff Γ is not replaceable by every other set Δ salva validitate, i.e. under preservation of the validity. In other words, there exists at least one Δ such that Δ ⊬ A.

(6)
(Definition.) A valid inference Γ ⊢ A is minimally conclusionrelevant iff A is not replaceable by every other formula B salva validitate. In other words, there exists at least one B such that Γ ⊬ B.
Note that the notion of “minimal premiserelevance” is the negation of “maximal premiseirrelevance”, and similarly for conclusionrelevance.
A natural strengthening of minimal premiserelevance is the application of replacements not to the premise set as a whole, but to each particular premise. What one then gets is a criterion for the deductive nonredundancy of each premise. We speak here of premiserelevance (as opposed to ‘minimal’ premise relevance):

(7)
(Definition.) A valid inference Γ ⊢ A is premiserelevant iff no premise P ∈ Γ is replaceable in Γ by every other formula X salva validitate.
This condition is equivalent with: iff no premise P ∈ Γ is eliminable salva validitate, or in other words, iff every premise P in Γ is needed for entailing A, i.e., ∀P∈Γ: Γ−{P}⊬ A.
Criterion (7) in the ‘premise in use’ version is the starting point of Anderson and Belnap’s relevance logic (1975, 21). Inferences with irrelevant premises are the culprit of the irrelevant inference VEQ, not only in its logical version, but also in its material version, since from A, B ⊢ A the inference A ⊢ (B→A) follows by conditional proof, but in the first inference the underlined premise B is superfluous. Also, Strevens’ account of explanatory relevance is built upon on this notion of premise relevance. In his “modified classical approach” Strevens models causal explanations as deductive arguments whose premise set Γ consists of causal laws and conditions, and whose conclusion (explanandum) E is premiserelevantly entailed by Γ (2004, 162f.); this account is then strengthened by further criteria going beyond premiserelevance. So for Strevens, the relation ΓRE is the deduction of a (typically singular) explanandum E from a set Γ of (singular) explanatory factors and causal laws.
The irrelevance of EFQ does not rely on superfluous premises, but is attributed by Anderson and Belnap (1975, 151) to the maximal arbitrariness of the conclusion in the sense of difference making. Until this point Anderson and Belnap’s relevance logic agrees with a competing approach to logical relevance, the approach of logical relevance criteria, which is exemplified by the account of this paper. The two accounts are based on substantially different research programs. The program of relevance logic intends to explicate the notion of relevant inference by means of a nonclassical logic, weaker than classical logic, whose valid inferences should simultaneously be relevant. In contrast, the program of relevance criteria distinguishes between validity and relevance and considers relevance as a filter that separates those (classically) valid inferences that are relevant from those which are not. The idea underlying the latter research program is that while classical validity is well suited for a logically adequate notion of inference, relevance should be used as a criterion for efficient informationprocessing in applications of logical inference. The difference between the two programs is intimately connected with the considerations in the beginning of this section: Should relevance be considered as a specific type of relation, in this case as a nonclassical inference relation, or should it be considered as a property of instances of the classical inference relation that distinguishes relevant instances from irrelevant ones?
Prima facie one could ask: why should the two programs be in conflict? Ideally they should agree, in the sense that the ‘right’ relevance logic produces exactly those inferences as valid that are filtered out as relevant from the set of all classically valid inferences. Unfortunately this is not possible. Relevance logics require certain ‘adequacy' properties of inference relations such as substitutive closure or prooftheoretic axiomatizability, but these properties come into conflict with criteria of relevance in the sense of difference making. A detailed analysis of these conflicts is given in Sect. 4; here we mention just one conflict that emerges from Anderson and Belnap’s formalization of the premiseinuse idea by the condition that a relevant inference or implication should have a proof in which all premises are used. The problem is that one may design detour proofs that make superficial use of a superfluous premise. For example, the inference “A, B ⊢ A” contains the superfluous premise B, and its proof “1: A premise, 2: B premise, 3: A from 1 by reiteration” makes no use of premise 2. However, the detour proof “1: A premise, 2: B premise, 3: A∨¬B from 1 by addition, 4: ¬¬B from B by double negation, 5: A from 2, 4 by disjunctive syllogism” makes use of premise B; so it seems that the premiseinuse idea breaks down. To avoid this brakedown, Anderson and Belnap decide to consider the rule of disjunctive syllogism (DS) A∨B, ¬B/A as well as Modus Ponens (MP) A→B, A/B as invalid (ibid., 165f.), although DS and MP are intuitively strongly entrenched and clearly relevant according to the differencemaking account. According to the criterion of replacement relevance, the truly irrelevant step in the above detour reasoning is addition: A/A∨¬B, but additions are regarded as valid in relevance logics of the Anderson/Belnap type. A similar detour proof is possible for (VEQ): A ⊢ B∨¬B; Anderson and Belnap block the latter by restricting the rule of conjunction (Con) A, B/A∧B (ibid., 271), while according to the replacement criterion the truly irrelevant step in this detour proof is simplification: A∧B/A (cf. Schurz, 1999, sec. 2.3).
There are many different relevance logics and not all of them are banning DS. But before we can come to a closer comparison (in Sect. 4), we have to develop the account of replacement relevance. A couple of problems need to be solved. First of all, applying premiserelevance merely to the premises but not to their conjunctive components seems arbitrary, because premises can be conjoined without changing the substance of an entailment, but this operation may turn a premiseirrelevant into a premiserelevant inference. For example, {p, r, p→q} ⊢ q is premiseirrelevant but {p∧r, p→q} ⊢ q is premiserelevant—here and in what follows, irrelevant formulas or components of them are underlined. Therefore we must protect the criterion of premiserelevance against the operation of forming conjunctions. One way of doing this is to decompose the premise set into its conjunctive components. This leads to an important strengthening of the concept of relevance, in which the operation of replacement is applied to conjunctive subformulas of the inference. As an example, consider:

(8)
Irrelevant premise components:
(i) A∧B ⊢ A.
(ii) ¬(¬A∨¬B) ⊢ A.
The inference (8i) is conjunctively premiseirrelevant, since the underlined conjunct B is replaceable salva validitate. But conjunctions may be hidden by transforming them into Lequivalent nonconjunctions, as in (8ii). There are two methods to solve this problem:
first, by transforming every premise set into a conjunction of conjunctive elements (in our example by transforming ¬(¬A∨¬B) into A∧B), and
second, by applying the replacement criterion not just to conjunctive but to arbitrary subformulas.
The second method is called componentwise replacement (and relevance) and is applied in the inference (8ii), in which the underlined subformula B is replaceable by any other formula salva validitate. The replacement criterion chooses the second method, because it leads to the most general criterion, best suited for solving ‘paradoxes of irrelevance’. For example, an irrelevant conjunctive subformula may stand in the scope of an existential quantifier, as in

(9)
∃x(Fx∧Gx) ⊢ ∃xFx.
∃x(Fx∧Gx) cannot be logically decomposed into a conjunction, since ∃xFx∧∃xGx is weaker than ∃x(Fx∧Gx), but the subformula Gx is nevertheless irrelevant in this inference.
Moreover, the eliminationcriterion applies prima facie only to premiserelevance. The replacement idea is more general than the elimination idea, because it applies straightforwardly to both premise and conclusionrelevance. Applying the replacement criterion to conclusioncomponents covers one of the most important culprits of paradoxes of irrelevance:

(10)
Irrelevant disjunctive weakening: A ⊢ A∨ X (the underlined subformula X is replaceable by any other formula salva validitate).

Examples: (i) The satellite will crash into the Atlantic/Therefore the satellite will crash into the Atlantic or into London.

(ii) The letter should be posted/Therefore the letter should be posted or it should be burned (Ross’ paradox, Ross, 1941).

Communicating true but irrelevant disjunctions may have disastrous effects in communications. In accordance with Grice’s maxims (1975, 51), the information (10)(i) causes in the hearer the wrong expectation that X is a possibility against which she should protect herself, and the information in (10)(ii) that X is a legitimate option for action. Moreover, irrelevant disjuncts play a crucial role in Hesse's paradox of confirmation (Hesse, 1970, 50): If E expresses an empirical evidence and H an entirely unrelated hypothesis H (e.g., creationism), then provably E∨H confirms H (hypotheticallydeductively as well as probabilistically; see below); but since E∨H is logically contained in E, it seems that we must also say that E confirms H, which is absurd. For these reasons, several philosophers, including Gemes (1993, 1994a), Yablo (2014), Fine (2017, 641) and myself have argued that an irrelevant disjunctive weakening A∨X does not express a content part of the premise A, as opposed to a conjunctive simplification X that does expresses a content part of the premise A∧X. Besides irrelevant disjunctions, many other examples of irrelevant conclusions are covered by the componentwise application of the replacement criterion as developed by Schurz and Weingartner,^{Footnote 3} such as A ⊢ ¬A→B, ∀x(Fx→Gx) ⊢ ∀x((Fx∧Hx)→Gx), etc.
3 The replacement criterion of deductive relevance and its applications
Several other proposals have been developed within the program of relevance criteria (see also Sect. 4). What they have in common is that they are explicated within classical logic and can be considered as varieties of the differencemaking account to relevance. An important predecessor of the replacement criterion is the criterion of Körner (1947) as elaborated by Cleave (1973/74). This criterion considers an inference or implication as relevant iff no subformula of it is replaceable by its negation salva validitate.^{Footnote 4} Replacements by negations are an important variety of differencemaking relevance that will be called essential (as opposed to simple) relevance in Sect. 5. In the test for essential relevance, a component c of the respective relatum a (or b) of the relation instance aRb is either replaced by an opposite entity c*—which in application to entailments is the negation of c—or by an empty element 0—which in application to entailments corresponds to the elimination of c, or to its replacement by a suitably defined ‘empty’ subformula, which depending on the case is either a tautology (⊤) or a contradiction (⊥). Tautological or contradictory subformulas are either logically eliminable or the whole formula is contractible to ⊤ or ⊥, by iteration of the Lequivalences A∧⊤ ↔ A, A∧⊥ ↔ ⊥, A∨⊤ ↔ ⊤, A∨⊥ ↔ A; so the replacement of a subformula occurrence by an empty formula is equivalent with its elimination.
In (classical) propositional logic, the relevance conditions based on replacements of subformulas (i) by arbitrary other formulas, (ii) by their negations, and (iii) by empty formulas are provably equivalent (a precise version of this result is proved in the appendix). In predicate logic, however, replacements by negations (ii) are weaker than (i). For example, in the inference

(11)
Fa, ¬Fb ⊢ ∃xFx
the underlined subformula Fx is replaceable salva validitate by ¬Fx; yet the inference is conclusionrelevant and a salva validitate replacement of Fx by an arbitrary other predicate Gx is not possible. The equivalence of (i) and (iii) still holds in predicate logic, but only for single replacements, while it breaks down for multiple replacements that will be needed below. Therefore the relevance criterion based on replacements by arbitrary subformulas is preferable in predicate logic.
There is a further important equivalent version of the replacement criterion. In predicate logic one replaces subformulas A(t_{1},…,t_{n}) by arbitrary other subformulas B(t_{1},…,t_{n}) in the same individual terms t_{i}. This condition is provably equivalent with the replacement of (atomic) predicates by other predicates with the same placenumber. This equivalence (proved in Schurz & Weingartner, 1987, proposition 1) makes it possible to formulate the replacement criterion in a much simpler way. To cover propositional variables, the latter ones are regarded as zeroplaced predicates.
Before we can state the final definition of replacementrelevance, a further subtlety has to be mentioned. So far we have restricted the attention to the replacement of single subformula or predicate occurrences in the premises or conclusion. There is a symmetry between the two: an irrelevant premiseconjunct corresponds to an irrelevant conclusiondisjunct, since A∧B ⊢ C iff A ⊢ C∨¬B. In spite of this logical nicety, reasons of application force us to break this symmetry. There are important cases of conclusionirrelevance due to the simultaneous replaceability of several occurrences of a predicate or subformula:

(12)
Multiplereplacement irrelevance of conclusions:
A∧B ⊢ (A∧C)∨(B∧¬C).
A ⊢ (A→C) → C.
In (12) C is replaceable salva validitate on both occurrences, but not on only one occurrence. To cover these cases of conclusionirrelevance we must allow for multiple replacements, i.e. replacements of several (oneormore) occurrences of a predicate (or subformula) by arbitrary other predicates (or subformulas). In contrast, for premiserelevance this generalization would be inadequate. This follows from the different roles of premises and conclusion in inferential information processing: One extracts one piece of information, the conclusion, from different pieces of information, the premises. For this reason, the premises must be allowed to contain concepts which are not contained in the conclusion, as in the following example:

(13)
Modus Pones is premiserelevant, in spite of A ∧(A→B) ⊢ B.
In contrast, multiple conclusionrelevance implies that a relevant conclusion must not contain concepts (predicates) that are not contained in the premises.^{Footnote 5} The latter condition has been called the AristotelesParryWeingartner criterion of conclusionrelevance (Schurz, 1991a, 416).
Summarizing, we obtain the following compact definitions of componentwise premise and conclusionrelevance:

(14)
(Definition.) Assume Γ ⊢ C. Then:

(14.1)
Γ ⊢_{pr} C (Γ ⊢ C is componentwise premiserelevant, in short prelevant) iff no single predicate occurrence F in Γ is replaceable by any other predicate F* (with the same place number) salva validitate.

(14.2)
Γ ⊢_{cr} C (Γ ⊢ C is componentwise conclusionrelevant, in short crelevant) iff no predicate F is replaceable on some of its occurrences in C by any other predicate F* (with the same place number) salva validitate.

(14.3)
Γ ⊢_{pcr} C (Γ ⊢ C is p and crelevant) iff Γ ⊢_{pr} C and Γ ⊢_{cr} C.
Examples: (“_{ir}” for “irrelevant”): p∧q ⊢_{cr} p; p∧q ⊢_{pir} p; p∧¬p ⊢_{pr} q; p∧¬p ⊢_{cir} p; p, (p→q) ⊢_{pcr} q; p, ¬p∨q ⊢_{pcr} q; p ⊢_{pr} p∨q; p ⊢_{pir} p∨q; p ⊢_{pir} p∨p; p ⊢_{cir} ¬p→q, (p∨q)→r, p ⊢_{cr} r; (p∨q)→r, p ⊢_{pir} r; ∀xFx ⊢_{pcr} Fa; ∀xFx ⊢_{pcr} ∃xFx; ∀x(Fx→Gx), Fa ⊢_{pcr} Ga, ∀x(Fx→Gx) ⊢_{cir} ∀y((Fx∧Hx) → (Gx∧Hx)).
Without going into detail we mention that irrelevant occurrences of the identity sign (≡) in an inference are handled by replacing these ≡occurrences by an arbitrary new binary relation E and adding the equality axioms Ax_{E} for E to the premises (equivalence axioms for Exy and substitution of Eequivalent terms restricted to predicates in the inference; cf. Schurz, 1997, ch. 10). For example, Fa ⊢ a≡b → Fb is conclusionirrelevant w.r.t. identity, since Ax_{E}, Fa ⊢ Eab→Fb holds for every equality symbol E.
The relevance criterion as defined in (14) is hyperintensional, i.e., not invariant w.r.t. Lequivalent transformations of the premise set or the conclusion, respectively. For example, (p→q)∧p ⊢ q is prelevant but p∧q ⊢ is pirrelevant, although (p→q)∧p and p∧q are Lequivalent. Likewise, (p∨q)∧r ⊢ p∨(q∧r) is crelevant but (p∨q)∧r ⊢ (p∨q)∧(p∨r) is cirrelevant, although p∨(q∧r) and (p∨q)∧(p∨r) are Lequivalent. These results are okay, because when we assess the (ir)relevance of an inference, we take the premises and the conclusion as stated. However, in applications of deductive relevance to the verisimilitude of a theory, or to its confirmation or explanatory power w.r.t. given pieces of evidence, one usually wants a criterion that holds independently of how the theory (premise set) or the evidence (conclusion) is formulated. In other words, one looks for an intensional notion of relevant inference. This is achieved by transforming the premises and conclusion of an inference into a certain normal form in which are all irrelevancies due to redundant formulations are eliminated, so that only the ‘essential’ irrelevancies due to their content remain. As such normal form we use the representation of formulas (or formula sets) by nonredundant conjunctions of their smallest conjunctive parts, the socalled content elements (earlier they were called ‘relevant elements’). If the relevance criterion is always applied to the same normal form of an inference, its results will be invariant under arbitrary Lequivalent transformations of the inference. The definition of content elements is based on the notion of crelevance combined with a criterion of conjunctive elementariness:

(15)
(Definition.)

(15.1)
C is a content element of a formula or formula set Γ iff C is a crelevant consequence of Γ that is elementary in the sense of not being Lequivalent with a conjunction C_{1}∧…∧C_{n} of conjuncts all of which are shorter than C.

(15.2)
A relevant representation Γ_{r} of a sentence or sentence set Γ is a nonredundant conjunction of content elements of Γ that is Lequivalent to Γ (where nonredundancy means that no conjunctive part of Γ_{r} follows logically from the rest of Γ_{r}).
The shortness criterion in def. 15.1 is relativized to a language with ¬, ∧, ∨,∃ and ∀ as logical primitives; defined symbols are eliminated. The (ir)relevance of inferences does not change if a subset of {¬, ∧, ∨,→,∃, ∀} is chosen as set of primitives. Equivalence ↔, however, must not be included because it would change the (ir)relevance diagnosis, since p↔q ⊢ p→q is prelevant but (p→q) ∧ (q→p) ⊢ p→q is pirrelevant.
Importantly, every Γ has a relevant representation Γ_{r} (Schurz, 2014, prop. 3.12–1). Thus, the set of Γ’s content elements preserves Γ’s classical content.
Examples of content elements, where CE(A) = the set of content elements of A: CE(p) = CE((p∨q) ∧ (p∨¬q)) = {p}, CE(p∧q) = CE(p∧(p→q)) = {p,q}, CE((p→q)∧(q→r)) = { ¬p∨q, ¬q∨r, ¬p∨r}, CE(Fa) = {Fa, ∃xFx}, CE(∀xFx) = {∀xFx} ∪ {Fa_{i}: a_{i} is an individual constant} ∪ {∃xFx}.
In combination with the notion of an relevant representation, the account of replacement relevance has been shown to be highly fruitful. By using the tools of this account, problems of irrelevance that emerged in various contexts of applied logical philosophy can be solved in a uniform way. As a first example, consider the concept of deductivenomological (dn) explanation. According to its standard definition (Hempel & Oppenheim, 1948), a dnexplanation is a deductive argument L, A ⊢ E whose premise set consists of general laws L and particular antecedens conditions A that together entail the explanandum E. As Hempel and Oppenheim (1948, 273ff.) and later authors discovered, this definition allows various instances of trivial or counterintuitive ‘explanations’. The four basic cases of irrelevant dnarguments are: (1) Complete self explanations “L,A/E” where A ⊢ E, i.e., E follows already from A alone, (2) partial self explanations, e.g. “∀x(Fx→Gx),Fa∧Ha/Ga∧Ha”, where one conjunctive component of E follows from A alone, (3) complete (or partial) theoretical explanations, where E (or a conjunctive component of E) follows from T alone, and (4) irrelevant explanandumweakenings, as in “∀x(Fx→Gx), Fa/Ga∨Ha”. (1) – (3) have been mentioned the first time in Hempel (1948, 275) and (4) in Gärdenfors (1976, 425). All these and similar counterexamples (cf. Schurz, 1996, sec. 4.2; 2014, sec. 6.4.2) can be avoided by applying the relevance condition as follows:

(16)
A dnexplanation L, A ⊢ E in the sense of Hempel and Oppenheim (1948) has to satisfy the following condition: there is a relevant representation L_{r}, A_{r} and E_{r} of L, A and E, respectively, such that L_{r}, A_{r} ⊢_{pcr} C holds for every conjunct C of E_{r}.^{Footnote 6}
Next we turn to hypotheticodeductive (hd) confirmation. According to the standard account, a piece of evidence E hdconfirms a hypothesis H iff (a) H ⊢ E, where (b) H is consistent and (c) ⊬ E (cf. Glymour, 1981, 35).^{Footnote 7} This leads to various counterintuitive results due to irrelevant components of the hypothesis or the evidence. We already mentioned the Hesseparadox of confirmation that relies on irrelevant disjuncts in the evidence; Grimes (1990) and Gemes (1993) called this problem “tacking by disjunction”. The dual confirmation paradox is based on irrelevant premise conjuncts and has been called “tacking by conjunction”. Here the evidence E confirms E∧X, i.e. the conjunction of E with an arbitrary hypothesis X consistent with E (e.g. X = creationism), because E∧X entails E (Lakatos, 1970, 46; Glymour, 1981, 67). This is particularly fatal in connection with the socalled consequence condition (Hempel, 1945, 31), according to which logical consequences of confirmed hypotheses are confirmed, too − which would yield the absurd result that E confirms X. These and similar problems of hdconfirmation can be avoided by applying replacement relevance to hdconfirmation as follows (cf. Schurz, 1994, 184f., (HD2*)):

(17)
(Definition.) E hdconfirms H iff H_{r} ⊢_{pcr} E_{r} holds for some relevant representation H_{r} and E_{r} of H and E, respectively.^{Footnote 8}
A further application is Popper’s notion of verisimilitude, or truthlikeness. With this notion, Popper intended to work out the following idea. Although most scientific theories are strictly speaking false (because they contain errors of idealization or approximation), some of them are closer to the truth than others. According to Popper’s original explication (1963, 233f.), a theory T is at least as close to the truth as a theory T*, in short T ≥ T*, iff (a) T*'s true consequences are a subset of T’s true consequences and (b) T’s false consequences are a subset of T*'s false consequences (the notion of T > T* is defined as T ≥ T* ∧ ¬(T* ≥ T)). Tichý (1974) and Miller (1974) diagnosed a fatal flaw in Popper’s definition of truthlikeness: it leads to the result that a false theory T can impossibly be closer to the truth than any other theory T*, in contradiction to Popper’s idea of truthlikeness. To see this, let T be a false theory that implies the false consequence f. Now, if T would be closer to the truth than some other theory T*, then conditions (a) and (b) above must hold and one of two cases has to obtain:
Case 1: T has a true consequence t which is not implied by T*. But then, T must also have the false consequence t∧f which is not a consequence of T*. So condition (b) above is violated and T > T* cannot hold.
Case 2: T* has a false consequence f* which is not implied by T. But then T* would also have the true consequence ¬f∨f*, which cannot be implied by T (since T implies f but not f*). So condition (a) above is violated and T > T* cannot hold, too.
According to the diagnosis of Schurz and Weingartner (1987, 2010), this counterintuitive result rests on the fact that the classical consequences of a theory include irrelevant disjunctions and redundant conjunctions. In case 1 t∧f is obviously not a “new” false content part of T beyond T’s content parts t and f, but simply a redundant repetition of the two. By decomposing consequences into content elements this pitfall is avoided. In case 2, the disjunctive weakening ¬f∨f* is an irrelevant consequence of T*, because ¬f is replaceable salva validitate; thus the pitfall of case 2 is avoided by requiring theory consequences to be relevant. Schurz and Weingartner (1987, 2010) show that a wellfunctioning notion of truthlikeness is obtained by replacing the logical consequences of a theory by its content elements as follows:

(18)
(Definition.) Let T_{te} and T_{fe} be the set of all true respectively false content elements of a theory T. Then: A theory T is at least as close to the truth as a theory T* iff (a) T_{te} is (logically) as least as strong as T*_{te} and (b) T*_{fe} is at least as strong as T_{fe}.
Note that for a functioning notion of verisimilitude only the notion of content elements (and, thus, of conclusionrelevance) is needed, but not that of premiserelevance. Content elements are also needed to explicate the notion of unification afforded by a theory T w.r.t. to a belief system (cf. Schurz, 1991a, sec. 5.1.3).
As a final application of replacement relevance we mention the isought problem. According to Hume’s famous thesis, no consistent set of descriptive (nonnormative) premises can logically imply a nontautologous normative conclusion. Thereby, a purely descriptive sentences is one that does not contain the obligation operator “O”. Moreover, a purely normative sentence is a Boolean combination of elementary normative sentences of the form OA. It is not difficult to prove Hume’s thesis for purely descriptive premises and purely normative conclusions. But how should one deal with mixed sentences such as p∨Oq? Prior (1960) even construed a ‘paradox’ out of mixed sentences: He argued that if p∨Oq is counted as normative then the inference p ⊢ p∨Oq would violate Hume’s thesis, and if p∨Op is counted as nonnormative, then the inference ¬p, p∨Oq ⊢ Oq would violate Hume’s thesis; so Hume’s thesis would be violated in any case. Schurz (1997) proposes to solve this problem by replacing Prior’s dichotomic classification by the trichotomic classification of purely descriptive, purely normative and mixed sentences and applying the replacement criterion of relevance to inferences from purely descriptive premises to mixed conclusions. A mixed conclusion is called completely Oughtirrelevant iff all its predicate occurrences that lie in the scope of an obligation operator are uniformly replaceable by arbitrary other predicates, salva validitate of the inference − as in the examples p ⊢ p∨Oq and p ⊢ p ∧ (O(q∧r)→Oq). Schurz proves the following result for all standard systems of alethicdeontic logics (1997, 92, theorem 1):

(19)
Inferences from purely descriptive premises to mixed conclusions do not violate the spirit of Hume’s thesis, because their conclusion is completely Oughtirrelevant.
4 Comparison with other accounts
In the previous section it was demonstrated that the replacement criterion of logical relevance has fruitful applications in a multitude of domains in which failures of irrelevance undermined successful explications of philosophically important concepts. The price of this strength in detecting failures of irrelevance is that several traditional adequacy properties of relevant logical inference are lost. Relevance logics require these properties for reasons of semantic and prooftheoretic efficiency − whence we call them efficiency properties. They subsume at least the following three:

(i)
Closure under substitution (i.e., schematicity),

(ii)
Decidability or at least recursive axiomatizability, and

(iii)
Transitivity of logical implication, or cut rule (for multiple premises inferences).
Criteria of relevance are conflict with these logical efficiency properties. In order to save these properties, relevance logics are forced to rehabilitate intuitively irrelevant inferences or to reject intuitively relevant ones. The conflict with closure under substitution emerges already at very early steps of Anderson and Belnap’s relevance logic.^{Footnote 9} For example, the irrelevant inference schemata VEQ and EFQ have the instances.

(20)
VEQinstance: A ⊢ A∨¬A, valid in relevance logic.

(21)
EFQinstance: A∧¬A ⊢ A, valid in relevance logic.
(20) is simultaneously an instance of addition (Add): A ⊢ A∨B and (21) an instance of simplification (Simp): A∧B ⊢ A, and Add and Simp are valid in Anderson and Belnap’s relevance logics E (entailment) and R (relevant implication). Since E and R require closure under substitution, these systems must accept the inferences (20) and (21) as valid, although they are irrelevant, as the underlined formula A may be replaced by any other formula X salva validitate (cf. Anderson & Belnap, 1975, 152, 154; Schurz, 1991a, 413). In contrast, according to the replacement criterion of logical relevance, not the relevant but the irrelevant inferences are closed under substitution.
Is the failure of substitutive closure a problem for the relevance criterion? We think not. The failure arises only for properly homomorphic substitutions, in which atomic sentences (or predicates) are replaced by sentences (or open formulas) that are mutually logically dependent and, thus, restrict the freedom of interpretation. Deductive (replacement) relevance is still closed under isomorphic substitutions, in which atomic sentences (or predicates) are bijectively replaced by other atomic sentences (or predicates), or alternatively by sentences (or open formulas) that are mutually independent and do not restrict the freedom of interpretation (for details cf. Schurz, 2001, sec. 3 and Schurz, 2023). Thus, deductive relevance is still a matter of form, in the sense that it merely depends on logical structure but not on the interpretation of primitive nonlogical terms. As argued in Schurz (ibid.), it is a frequently heard misunderstanding that logical formality presupposes closure under homomorphic substitution; all what is required for formality is closure under isomorphic substitution. The reason why deductive relevance is not closed under homomorphic substitution is that its definition involves a nonderivability or equivalently a consistency condition, and the latter one is not closed under homomorphic substitution. For example, p∧q is consistent but its homomorphic substitution instance p∧¬p is inconsistent. Yet consistency is clearly a formal notion, and so is deductive relevance. An example of a formal logic that is not closed under homomorphic substitution is Carnap’s modal logic C (Hendry & Pokriefka, 1985; Schurz, 2001).
The second traditional adequacy condition is recursive axiomatizability. It is connected with closure under substitution. The standard notion of logical deducibility refers to the existence of a recursively defined proof. For this reason, the theorems and inferences of a standard logic are closed under substitution, given that all axioms and rules of the logic are so closed. Following this idea, Anderson and Belnap (1975, 21) defined a proof of Γ ⊢ A in a relevance logic L_{R} as one in which all premises are used. But this definition is undermined by the existence of roundabout proofs of EFQ and VEQ, as explained in Sect. 2. In contrast, according to the replacement criterion the premiseirrelevance of an inference Γ ⊢ A refers to the existence of a proof of Γ ⊢ A in which not all premises are used; therefore not the premiserelevant but the premiseirrelevant inferences are closed under substitution, and the same observation applies to conclusionirrelevance (cf. Schurz, 1999, sec. 2.2). Moreover, the fact that the relevance of a valid inference depends on the nonvalidity of other inferences implies a restriction for the recursive axiomatizability or enumerability of relevantly valid inferences: The set of conclusionrelevant inferences of an axiomatizable classical logic L with inference relation ⊢_{L} can only be recursively enumerable (r.e.) if ⊢_{L} is decidable (and the same fact holds for premiserelevance). For illustration, consider the inference

(22)
P ∧ A ⊢_{L} P where P is atomic and P’s nonlogical terms are not in A.
The inference in (22) is conclusionrelevant exactly if A is consistent. Thus, if conclusionrelevant inferences are r.e., then the set of nontheorems of L are r.e. and thus L must be decidable (for a detailed proof see Schurz, 1991a, theorem (27)).
Does this fact create a strong disadvantage for the criterion replacement relevance? We don’t think so. Ideally a logic L should be decidable, and in this case L’s relevant inferences are decidable and, thus, r.e. The problem arises only for full first order logic L_{1} that is not decidable but merely r.e.; so L_{1}’s relevant inferences are not r.e. But in spite of L_{1}’s undecidablity an answer to the validityquestion has been found for most know first order inferences. Moreover, there are many other important logical systems that depend on nonderivability conditions and, thus, are not r.e. in full first order logic − for example, the maximally general first order theorems (Schurz 1995) or the theorems of Carnap’s modal logic C (Schurz, 2001).
The third traditional adequacy condition is the transitivity of inference. It is easy to see that conclusionrelevant inference is not transitive. Here is an example:

(23)
Nontransitivity of c(onclusion)relevant inference:

(i)
(A∨B∧C ⊢ A∨(B∧C) is crelevant,

(ii)
A∨(B∧C) ⊢ (A∨B)∧(A∨C) is crelevant, but

(iii)
(A∨B)∧C ⊢ (A∨B)∧(A∨C) is cirrelevant.

(i)
Similar countertransitive examples can be given for prelevance (Schurz 1999a, 33).
The conflict between deductive relevance and logical efficiency properties does not mean that it is not reasonable to search for a logical inference relation that is as relevant as possible, in the sense of an optimal compromise between logical efficiency and relevance. Concerning closure under substitution, Smiley (1959) proposed to define a (minimally relevant) entailment as a substitution instance of a classically valid inference schema that has consistent premises and a nonprovable conclusion. The notion of entailment obtained by this step is closed under substitution, on the cost that irrelevant inferences have to be accepted. From the viewpoint of applications this is a drawback, because what matters in applications are logical arguments and not the maximally general schemata which these arguments instantiate. For example, p∧¬p ⊢ p∨¬p can hardly be conceived as minimally premise or conclusionrelevant, although it is a valid Smileyentailment.
Tennant (1983) developed a recursive axiomatization of Smiley’s account of entailment based on the notion of a perfect sequent (sequents Γ ⊢ Δ have sets of conclusions that are semantically interpreted as disjunctions). A valid sequent Γ ⊢ Δ is perfect iff it does not have a valid proper subsequent Γ' ⊢ Δ' (i.e. Γ' ⊆ Γ, Δ' ⊆ Δ and Γ'∪Δ' ⊂ Γ∪Δ). Tennant defines an entailment as a substitution instance of a perfect sequent. His account has three advantages. First, compared to Anderson and Belnap’s relevance logic, Tennant accepts DS and MP as valid. Second, althought perfect sequents are not r.e. (Brauer, 2020, 447), Tennantentailments are r.e. (Tennnant 1984, 193, "completeness theorem"). Transitivity or cut rule is violated for Tennantentailments in cases where the united premises/conclusions produce superfluous elements or inconsistent premisesets or valid conclusionsets (ibid.,191, corollary 4). Third, Tennant entailment avoids irrelevant premises and irrelevant sequentconclusions. But this stronger relevanceproperty is not robust under conjoning premises or disjoining sequentconclusions. Thus, A,B ⊢ A is Tennant irrelevant but A∧B ⊢ A is Tenanntrelevant, and similarly, A ⊢ A,B is Tenanntirrelevant but A ⊢ A∨B is Tennantrelevant, which seems unplausible (cf. Brauer, 2020, 443).^{Footnote 10}
In conclusion, Tennant’s relevance logic is much closer to replacement relevance than Anderson and Belnap's relevance logic, but it is not more suited to handle the problems of irrelevance in the applications presented in Sect. 3, because all of these problems are caused by irrelevant disjuncts or conjuncts. These problems can only be handled by systems that avoid the inferences of addition and simplification, but the relevance logics of Anderson/Belnap and of Tennant accept these inferences.
However, some weaker systems of relevant logics have been developed that avoid addition and/or simplification. Already Nelson (1930) objected to the law of simplification p∧q ⊢ p on the ground that a part of the premise, namely q, is entirely irrelevant to the conclusion. Parry (1993) developed an axiomatic system of “analytic implication” that avoids the axiom of addition p ⊢ p∨q. Parry’s logic is based on Kant’s idea of analyticity, according to which all “contents” (or predicates) of the conclusion must be contained in the contents (or predicates) of the premises. Parry’s logic, also called containment logic, is much closer to replacement relevance than relevance logics. But because it satisfies the mentioned logical closure properties, it has to accept irrelevant inferences. For example, all substitution instances of irrelevant inferences whose conclusionpredicates are contained in the premises are Parryvalid, even if they are instances of EFQ or VEQ or of irrelevant additions. In applied contexts this is inacceptable, since one would hardly say that a conjunction P_{1}∧…∧P_{n} of independent facts P_{i} (relevantly) contains the conclusion (P_{1}∧…∧P_{n}) ∨ X for every X in the propositional variables P_{1},…, P_{n}. For hdconfirmation this would imply the counterintuitive result that the universal statement “All animals have lungs and breath air” is confirmed by the set of observations “All animals observed so far have either lungs and breathe air, or don't have lungs and don't breath air”.
Further disadvantageous features of Parry (1933) are discussed by Angell (1989) who devised an improved version of Parry’s containment logic. More recently, Fine (2017) developed a groundtheoretic logic of exact entailment in the spirit of Nelson (1930) and a logic of containment that is a modification of the system of Angell (1989). Fine’s notion of exact entailment (he simply says “entailment”) is a logical approximation of premiserelevance. His notion of containment is an approximation of conclusionrelevance. Thus p∧q ⊢ p is a containment but not an exact entailment, and p ⊢ p∨q is an exact entailment but not a containment. Among all systems of relevance logic that satisfy the mentioned efficiency properties, Fine's systems are the closest approximations of logical replacement relevance known to me. Yet, because of the explained conflict Fine’s system has to include irrelevant inferences and to exclude relevant inferences; a closer discussion of Fine's system is given in Sect. 8 on grounding.
In conclusion, all logics of relevant inference can be considered as compromises between the idea of relevance as difference making and logical efficiency properties.^{Footnote 11} These compromises can not only be optimized by improving the logic of relevance, but also by modifying the relevance criterion in a direction that allows a smoother logical handling of it. For example, in Sect. 3 we have met two versions of replacement relevance, one based on single and the other based on multiple replacements; while the former has nicer logical properties (e.g., it satisfies deduction theorem), the latter is more powerful in eliminating cases of irrelevance. Another important alternative criterion of replacement relevance has been developed by Gemes (1993, 1994a, 1997). For Gemes (1993, 481), the conclusion C of an inference Γ ⊢ C is relevant − or in his words, is a content part of Γ − iff Γ and A are contingent (neither inconsistent nor Ltrue) and Γ entails no formula C* that is logically stronger than C but constructible from C's atomic formulas. So, in the terminology of differencemaking relevance, Gemes’ variations are replacements of C by logically stronger formulas constructed from C's atomic formulas.^{Footnote 12} Gemes’ notion of content part is a notion of conclusionrelevance. To apply his account to premiserelevance in the context of hdconfirmation, Gemes decomposes the premise set (or ‘theory’) into an Lequivalent nonredundant set of content parts Γ* and requires that no premise in Γ* is eliminable salva validitate (1993, 486). Gemes’ concept of content part satisfies one of the three logical efficiency properties: it is transitive; but it is neither recursively enumerable (by the argument for (22)) nor closed under homomorphic substitution (e.g., p is a content part of p∧q but not of p∧¬p). Gemes (1994b, 1997, sec. 7) highlights several differences between his criterion and the SchurzWeingartner criterion presented in def. (14). But for the majority of examples, Gemes’ and SchurzWeingartner’s criterion agree. Concerning the differences, Gemes points out ∃xFx is a relevant consequence (according to def. 14) but not a Gemesian content part of ∀xFx and of Fa. Gemes sees this as a disadvantage for hdconfirmation, but Schurz (1994b) objects that Popperian basic statements of the form ∃xF(x,s) (“some object at location s has property F”) do hdconfirm the generalization ∀x∀sF(x,s) and the singular statement F(a,s); for this reason they should be considered as relevant consequences. Moreover, Gemes’ account does not exclude irrelevant parts in ∃scopes; so ∃xFx Gemesconfirms ∃x(Fx∧Gx) (Schurz 2005b).
5 General relevance as a property of relationinstances
After this extensive tour through versions of criteria for difference making relevance in comparison to relevance logics, we turn to the generalization of the idea as explained in the introduction. Thus, we consider difference making relevance as a property of instances of an arbitrary binary relation R between a domain A and a codomain B (the account is generalizable to nplaced relations, but we restrict ourselves to binary relations). As explained, in application to deductive inferences, A is the set of possible premise sets, B the set of possible conclusions, and R the relation of valid inference. But now, R ⊆ A×B is an arbitrary relation between arbitrary sets of entities A and B, with a, a_{i},… ∈ A and b, b_{i},… ∈ B. We first turn to the notion of minimal relevance, meaning that the given relation instance is not preserved under arbitrary variations of its relata (or arguments). We use x resp. y as variables for elements of A resp. B.

(24)
(Definition.) Minimal relevance. Let aRb be a true instance of R. Then:

(24.1)
aRb is a minimally Arelevant instance of R iff ¬∀x∈A: xRa.
In other words: for some x∈A, replacing a by x in aRb makes a difference to the truth value of the relation instance.
Correspondingly, aRb is a maximally Airrelevant instance of R iff ∀x: xRb.
In other words, a can be replaced in aRb by every x∈A salva veritate, i.e., under preservation of the truth of the relation instance.

(24.2)
aRb is a minimally Brelevant instance of R iff ¬∀y∈B: aRy.
(The equivalent reformulations, in analogy to 24.1, are obvious.)
Next we turn to the generalized notion of componentwise A and Brelevance. This definition refers to the “components” of the left relata a_{i} and the right relata b_{i} of the relation. Thereby it is assumed that these components are specified in a domaindependent way that preserves their ‘type’ in the following sense: Let C(a) denote the set of components of a∈A, C(A) the set of components of elements of A, and a[c:x] the result of replacing some c∈C(a) in a by x∈C(A). Then a[c:x] must in turn be an element of A. Likewise for C(b) and b[c:y]. For example, in the domain of logical reasoning, the premises are formulas and their components are single predicate occurrences. If they are replaced by arbitrary other predicates with the same place number, the result are again formulas.

(25)
(Definition.) Componentwise relevance. Let aRb be a true instance of R.

(25.1)
aRb is a componentwise Arelevant instance of R iff ¬∃c∈C(a)∀x∈C(A): a[c:x]Rb.
Condition (25.1) says in other words that no component of a can be replaced by arbitrary typeequivalent Aelements salva veritate of the relation instance.
Correspondingly, aRb is a componentwise Airrelevant instance of R iff some component of a can be replaced by arbitrary typeequivalent Aelements salva veritate.

(25.2)
aRb is a componentwise Brelevant instance of R iff ¬∃c∈C(b)∀y∈C(B): aRb[c:y].
We finally turn to the generalized notion of essential A or Brelevance, in which the relata of the relation instance are replaced by opposite or by empty elements. The notion can be explicated in a minimal and in a componentwise version.

(26)
(Definition.) Essential relevance. Let aRb be a true instance of R.
Assume the domain A contains an empty element 0 and for each of its elements z an opposite element z*. Then:

(26.1)
(i) aRb is an essential minimal Arelevant instance of R iff ¬(0Rb ∨ a*Rb).
In other words, it is not possible to replace a by an empty or an opposite element salva veritate of the relation instance.
(ii) aRb is an essential componentwise Arelevant instance of R iff ¬∃c∈C(a): (a[c:0]Rb ∨ a[c:c*]Rb).
In other words, it is not possible to replace a component of a by an empty or opposite element salva veritate of the relation instance.

(26.2)
(i) aRb is an essential minimal Brelevant instance of R iff ¬(aR0 ∨ aRb*).
(ii) aRb is an essential componentwise Brelevant instance of R iff
¬∃c∈C(b): (aRb[c:0] ∨ aRb[c:c*])
The characterization of the ontological nature of a relation R ⊆ A × B is a domainspecific task; nevertheless some remarks on this task are appropriate. The nature of R is determined by its intension or meaning. This intension determines not only the extension of R in a given world, but also its natural domain A and codomain B. Roughly speaking, the natural (co)domain of R consists of entities belonging to the right semantic category: those pairs of objects < x,y > whose being Rrelated is semantically possible. For example, because the relation of logical inference is understood in terms of truth value preservation, the entities in its natural (co)domain are statements or propositions (see below), but neither meaningless strings of symbols, nor chairs or stones. Likewise, since “support” is a relation between goaldirected agents, the (co)domain of this relation consists of goaldirected agents, naturally persons.
Often one considers minor variations of the extension of R that do not change R's intension. For example, although the (co)domain of the relation of support consists of persons; for certain purposes one may also consider this relation over the domain of animals; or one may restrict it to the subdomain of one’s relatives. When we judge the relevance of a relation instance aRb, the (co)domain of R is assumed to be the natural one. In all of our applications the natural (co)domain of R is welldefined, but this need not always be so. In any case, the (co)domain has to be fixed, because the class of admissible variations depend on it. For example, that my brother supports me is Arelevant over the domain of all persons (since not every person would support me), but it is irrelevant over the domain of my relatives (as all of them would support me). In conclusion, the proposed account of relevance understands a relation formally as a triple < R,A,B > with R ⊆ A × B, where A and B are the natural domain and codomain of R in accordance with R's intension.
As remarked above, the relation of entailment may either be defined over sentences (which was assumed in Sects. 2 and 3), or alternatively over propositions. The two settings are related by the correspondence Γ ⊢ A iff [Γ] ⊢ [A], where [A] is the proposition expressed by the sentence A, and [Γ] = {[A]: A∈Γ}. The two settings change the relevance of classical entailments not significantly, but “a little bit”, because Lequivalent sentences express the same proposition. Since the same classical proposition can be formulated in redundant ways, and redundancies are a form of irrelevance, the only way to obtain a nonambiguous notion of relevant propositional entailment is to assume that premises and conclusions are formulated nonredundantly, i.e., are replaced by their “relevant representations”. We did this in Sect. 3 when we applied relevant entailment to explanations or confirmations. On the other hand, with a more finegrained hyperintensional notion of proposition − such as the notion of an “articulated proposition” developed in Schurz (1991b) − one can obtain a unique correspondence between sentences and propositions that mirrors all sorts of sentential irrelevance at the level of propositions.
We conclude this section with a brief comparison of our approach to relevance with other possible approaches. Generally speaking, “relevance” is an unsharp natural language concept that can be explicated in different ways. So we don’t think that there is only one ‘true’ concept of relevance. The important question is, rather, which explication of relevance is most adequate. We think that if one aims at general explication of relevance that works out what relevance is in itself, then the explication of relevance as difference making is most appropriate. This diagnosis is supported by four facts:

(1)
The idea of relevance as difference making is well entrenched both in common sense and in philosophical tradition.

(2)
The idea has fruitful applications is many domains. As worked out in Sect. 3, differencemaking accounts of relevance have been successfully employed to solve problems in the logical reconstruction of philosophically important concepts such as explanation, confirmation, verisimilitude, or isought inference. The following sections will present similarly fruitful applications in the areas of probability and confirmation, nomological and causal implication, communication, grounding and essentiality. In all these domains, the explication of core concepts utilizes the replacement criterion of relevance.

(3)
The general explication of relevance proposed by our account unifies these domainspecific applications of differencemaking relevance. This unification is more than a mere analogy or a pattern. It leads to a generalized theory of relevance that explicates precisely what is common to all domainspecific accounts of relevance: there is a domainspecific relation, and important applications of this relation require the relation instances to be relevant in the sense of difference making.

(4)
The adequacy of the proposed explication of relevance is further corroborated by two facts. (4a) Many of the domainspecific accounts of differencemaking relevance have been developed and successfully employed independently and often in ignorance from each other. So the general notion is not ad hoc; it rather offers an explanation why these domainspecific accounts were fruitful − because they instantiated the idea of relevance as difference making. Moreover (4b), the proposed approach predicts successfully that this idea can be fruitfully applied to further domains. In fact, some of the applications mentioned in the remaining sections are new, e.g., the application to modal aspects of the predication relation that yields metaphysical core concepts such as essential properties and individual essences.
For these reasons we think that the proposed explication of relevance as differencemaking is highly successful, according to the Carnapian success criteria of explications (Carnap, 1950, 7), namely (i) similarity with the prescientific intuitions, (ii) logical clarity and systematicity, (iii) fruitfulness and (iv) simplicity, which includes unification in the sense that one simple principle unifies manifold applications in different domains.
All this does not imply the impossibility of alternative approaches to relevance that explicate relevance as a domainrelated but still sufficiently general relation, such as relevant entailment or relevant grounding, rather than a property of arbitrary relation instances as in our approach. However, as mentioned in Sect. 4, there is a conflict between the logical principles required for a domainspecific relation R, typically certain efficiency or closure principles, and the application of the replacement criterion to this relation. This application filters out the relevant instances of R, leading to a proper subrelation R_{rel} ⊂ R that typically does no longer fulfill the required logical principles. For example, in the area of relevant entailment we have seen that the logical properties of substitutive and transitive closure of inferences are violated by the subset of relevant entailments. Similar conflicts arise also in other domains, for example in the application to the relation of grounding (Sect. 8).
The conflict between logical principles required for a relation R and their violation by the relevancerestricted subrelation R_{rel} is a further reason that speaks for the proposed approach that separates relevance as a higherorder property of Rinstances from the relation itself. This does not mean that it is not reasonable to search for a subrelation R* of R that does satisfy the required logical principles and is as relevant as possible. Different measures of this sort have been presented in the discussion of relevance logics in Sect. 4, for example, Smiley's (1959) proposal to obtain substitutive closure by accepting all substitution instances of relevant inferences. By these measures one has to accept irrelevant substitution instances as an unavoidable cost. Nevertheless, the enterprise of searching for a “logic of relevant Rs” (where R may be entailment, grounding, or whatever) constitutes a highly sensible complementary approach to the approach of this paper, that strives for an optimal compromise between logicostructural principles and relevance requirements. In this sense, Fine (2017, 648) calls his notion of a regular proposition a “compromise between … exact relevance … and … monotonicity”. On the other hand, the supplementation of these domainrelated accounts by an account of relevance in general, as developed in this paper, is of obvious importance − not only because it extracts relevance a unifying property, but also because it can explain why in these domainrelated accounts irrelevant relation instances have to be accepted, in order to satisfy the logical principles required for R.
6 Probabilistic relevance
To keep things simple, we will first develop the notion of relevance for the concept of objectivestatistical probability, denoted by lowercase p(CA), that applies to open formulas A, C of a predicate language expressing types of events. Precisely the same notion of relevance can be applied to the notion of subjectiveepistemic probability, denoted by uppercase P(CA), that applies to propositions C, A and will be considered in the last part of this section.
In the case of probabilistic relevance, the underlying relation R between event types A∈A and C∈B is an assertion about the conditional probability p(CA), for example that it has a certain value (p(CA) = v). In what follows A denotes the antecedent event and C the consequent event of the conditional probability. We assume that both formulas are monadic and the individual variable x is suppressed, i.e. "A" stands short for "Ax" (a generalization to relational properties is possible but omitted). To grant that conditional probabilities are definable in the standard way (p(CA) = p(C∧A)/p(A)), we assume that the prior probability of all consistent formulas is positive. We first turn to antecedentrelevance, abbreviated as Arelevance; componentwise Arelevance and Crelevance (consequentrelevance) are introduced below. (We use the intuitive terms A and Crelevance; in our general terminology the former is Arelevance and the latter Brelevance).
The differencemaking criterion defines a conditional probability as Arelevant iff conditionalization on A changes the probability value of C, i.e., iff p(CA) ≠ p(C) holds. The conditional probability relation is positively resp. negatively Arelevant if this change is positive (p(CA) > p(C)) respectively negative (p(CA) < p(C)). If A is probabilistically relevant for C, one also says that C and A are probabilistically dependent or correlated; otherwise C and A are independent or uncorrelated.
In this formulation, the underlying replacement operation is that of elimination, or replacement by a tautology (⊤). An equivalent replacement operation is the replacement by negation, because of the following fact that is implied by the law of mixed probabilities (p(C) = p(CA)⋅p(A) + p(C¬A)⋅p(¬A)), given that p(A) ∉ {0,1}:

(27)
p(CA) = p(C) iff p(CA) = p(C¬A).
It is no longer adequate, however, to replace A by arbitrary other formulas X, because different from deductive inferences, conditional probabilities are nonmonotonic, i.e., a high p(CA) does not entail anything about the value of p(CA∧X) (while A ⊢ C implies A∧X ⊢ C). Therefore p(CA) = p(C) = p(C¬A) is compatible with the existence of other properties X that increase or decrease C's probability, p(CX) ≠ p(C). In conclusion, the adequate notion of relevance for conditional probabilities is that of essential relevance, defined by replacements by empty or opposite elements. Minimal essential antecedentrelevance is defined as follows:

(28)
(Definition.)

(28.1)
The conditional probability p(CA) is minimally essentially antecedentrelevant, in short Arelevant, iff p(CA) ≠ p(C) = p(C⊤), iff p(CA) ≠ p(C¬A) (so ⊤ is the empty element and ¬A the opposite element).
In other words, it is not possible to replace A in p(CA) by ⊤ or by ¬A salva probabilitate, i.e. under preservation of the value of p(CA).

(28.2)
p(CA) is positively/negatively Arelevant iff p(CA) > / < p(C), iff p(CA) > / < p(C¬A).
The condition of probabilistic Arelevance was proposed by Salmon (1971) as a necessary correction of Hempel's inductivestatistical (is) model of explanation. An isexplanation is a probabilistic argument “p(EA) = r, Aa //_{r} Ea” where (i) “p(EA) = r” is a true or accepted probabilistic law, (ii) the value r is sufficiently high (where r is transferred to the single case as an “inductive” (epistemic) probability, as indicated by “//_{r}”), and (iii) the antecedens Aa is maximally specific for the explanandum Ea. In Hempel's ismodel (1965, 381ff) the statistical probability p(EA) was required to be high. Salmon objected against Hempel's ismodel that a high conditional probability is not enough: A must be probabilistically relevant to E. One of Salmon's examples was the discovery that the probability of recovering from a cold within seven days (= C), given that one takes high doses of vitamin C during the cold (= A), is very high. But later it was discovered that A is probabilistically irrelevant to C, p(CA) = p(C) (Salmon, 1971, 83, fn. 20). Since probabilistic relevance is a necessary condition for causal relevance, the researchers’ original recommendation that people should regularly take high doses of vitamin C was withdrawn.
Many authors on probabilistic explanations agreed with Salmon's relevance condition, but they required that probabilistic explanations have to be positively relevant, i.e. p(CA) > p(C) (e.g., Gärdenfors, 1980). In contrast, Salmon argued that even factors that are negatively relevant must be mentioned in a probabilistic explanation (cf. Schurz, 1996, sec. 6). More precisely, Salmon required that the antecedent A should be a conjunction of all and only those causal factors that are probabilistically relevant to E (Salmon, 1971, 63; 1984, 37). Thus, Salmon's model assumes the antecedent A to consist of a conjunction of factors A_{1}∧…∧A_{n}, in which each factor is relevant. To explicate this stronger condition we need to generalize the notion of essential Arelevance to componentwise (essential) Arelevance, as follows^{Footnote 13}:

(29)
(Definition.)
Let A be a conjunction A_{1}∧…∧A_{n}, and let A[A_{i}/¬A_{i}] resp. A[A_{i}/⊤] denote the result of replacing the conjunct A_{i} in A by ¬A resp. by ⊤. Then:

(29.1)
The conditional probability p(CA) is componentwise essentially antecedentrelevant, in short A_{comp}relevant, iff for every A_{i}: p(CA) ≠ p(CA[A_{i}⊤]), iff for every A_{i}: p(CA) ≠ p(CA[A_{i}/¬A_{i}]).
Thus, it is not possible to replace in p(CA) an elementary conjunct A_{i} of A by ⊤ or by ¬A_{i} salva probabilitate.

(29.2)
p(CA) is positively/negatively Arelevant w.r.t. the conjunct A_{i} iff p(CA) > / < p(CA[A_{i}⊤), iff p(CA) > / < p(CA[A_{i}/¬A_{i}]).
In statistics, the Arelevance of p(CA) w.r.t. an antecedentfactor A_{i} is also called a conditional or partial correlation between A_{i} and C.
Componentwise probabilistic Arelevance is restricted to conjunctive components. The generalization of this condition to arbitrary subformulas of A would be too strong, because due to probabilistic nonmonotonicity, p(CA∨B) = p(CA∨¬B) does not exclude that p(CA) is different from p(CA∨B) and p(CA∨¬B).
We next turn to probabilistic consequentrelevance, or Crelevance. In probabilistic Crelevance the consequent is replaced, which leads to a condition very different from Arelevance. Replacing C by its negation leads to the natural explication of Crelevance as p(CA) ≠ p(¬CA), which is equivalent with p(CA) ≠ 1/2, i.e. C's conditional probability is different from 1/2. In contrast, replacing C by ⊤ or ⊥, resp., does not make sense because it would lead to the conditions p(CA) ≠ 1 = p(⊤A) or p(CA) ≠ 0 = p(⊥A), resp., which is implausible. Thus, we define:

(30)
(Definition.)

(30.1)
The conditional probability p(CA) is minimally essentially consequentrelevant, in short Crelevant, iff p(CA) ≠ p(¬CA), iff p(CA) ≠ 1/2.

(30.2)
p(CA) is positively/negatively Crelevant iff p(CA) > / < p(¬CA), iff p(CA) > / < 1/2.
In Hempel's ismodel, p(CA) > 1/2 is granted by the requirement of high probability. Later accounts (e.g., Tuomela, 1981, 276) weakened Hempel's highprobability requirement to the condition p(CA) > 1/2, i.e. positive probabilistic Crelevance of A.
The application of Crelevance to conjunctive components of C = C_{1}∧…∧C_{n} is problematic, because in this case the equivalence with possessing a probability value different from 1/2 breaks down. What makes good sense, however, is to apply the notion of probabilistic Arelevance to every conjunct of a conjunctive consequent, as follows:

(31)
(Definition.) The conditional probability p(C_{1}∧…∧C_{n}A) is Arelevant to all Cconjuncts, in short AC_{i}relevant, iff for all C_{i} the conditional probability p(C_{i}A) is Arelevant, i.e. p(C_{i}A) ≠ p(C_{i}) resp. p(C_{i}A) ≠ p(C_{i}¬A) holds.
Probabilistic relevance is of vital importance for another central concept in philosophy of science: probabilistic confirmation. The standard Bayesian account of confirmation can be expressed in terms of differencemaking positive relevance as follows:

(32)
A piece of evidence E confirms a hypothesis H iff P(HE) > P(H), i.e., the conditional probability P(HE) is positively Erelevant (in the sense of def. 28.2, where the evidence E is identified with the antecedent A).
The two major paradoxes of confirmation mentioned for hdconfirmation, tacking by conjunction and irrelevant disjunctive weakening, obtain for probabilistic confirmation as well. Different strategies of avoiding these problems have been discussed in the literature (Fitelson, 2002). Schippers and Schurz (2020) propose to solve the problem of tacking by conjunction by decomposing the hypothesis H into a conjunction of content elements and requiring Bayesian confirmation for each content element of H. This amounts to a version of the probabilistic relevance condition (31). Schippers and Schurz (2020) call this type of confirmation genuine confirmation and demonstrate its advantages.
Disjunctive weakenings of the evidence can be avoided by requiring E to be represented by a conjunction of content elements, since if E is a basic evidence, then the disjunction E∨X is not a content element of E. Note that it would be too strong to require positive relevance for all content elements of E, since E is supposed to comprise all relevant evidence, and it may be that some parts of the total evidence are negatively relevant to H, although their totality is positively relevant. This leads to the following definition of relevant probabilistic confirmation:

(33)
(Definition.) An evidence E relevantly confirms a hypothesis H iff there is a relevant representation H_{r} of H and E_{r} of E (in the sense of def. 15.2) satisfying the condition that the conditional probability P(H_{r}E_{r}) is H_{i}E_{r}relevant in the sense of def. 31, i.e., for every conjunct H_{i} of H_{r} it holds that P(H_{i}E_{r}) > P(H_{i}).
7 Relevance of strictly universal laws
In this application, the domain A consists of conjunctions of basic (i.e. unnegated or negated) monadic predicate formulas, abbreviated as A_{i}x, and the codomain B consist of basic formulas Cx. The basic formulas express types of events, and the relation R ⊆ A × B expresses a nomological implication, i.e. a universal and lawlike implication of the form ∀x(Ax→Cx), where Ax = A_{1}x ∧…∧ A_{n}x. Again we refer to Ax as the antecedent and Cx as the consequent predicate. As pointed out by John Stuart Mill (1865, book III, ch. viii), in order to count as a law a universal implications must not only be true, but it must also be componentwise antecedentrelevant, in the sense that no one of its conjuncts is eliminable or arbitrarily replaceable:

(34)
(Definition.) A true nomological implication ∀x(A_{1}x∧…∧A_{n}x → Cx) is componentwise antecedentrelevant (Arelevant) iff no conjunctive component A_{i}x of Ax can be replaced by any other formula Xx salva veritate.
Equivalently: … iff no conjunctive component A_{i}x of Ax can be eliminated or replaced by a tautology, salva veritate.
Since strict implications are governed by deductive relations, eliminative replacements and replacements by arbitrary subformulas are equivalent. Salmon (1971, 34) illustrated true but irrelevant nomological implications by the following example:

(35)
Males who take birth control pills will never get pregnant.
The underlined antecedent factor is Airrelevant and, thus, cannot play a causal role for the consequent.
Since Ax is a sufficient but unnecessary condition for the effect Cx (assuming that Cx may be caused in different ways), definition (34) may be regarded as an explication of Mackie's account of a cause as an INUS condition (Mackie, 1975): each causal factor A_{i}x of an Arelevant causal implication ∀x(A_{1}x∧…∧A_{n}x → Cx) is an insufficient but necessary part of an unnecessary but sufficient condition for Cx.
A generalization of the relevance condition for nomological implications to consequentrelevance is possible if one considers consequents consisting of disjunctions of events, Cx = C_{1}x∨ … ∨C_{n}x; we omit this consideration.
8 Grounding and relevance
In recent years the concept of logical grounding has been developed, based on the idea that groundtheoretic entailments between statements (or propositions) should be based on containment relations between the facts that verify these statements, socalled verifiers or truthmakers. Different theories of grounding have been put forward. In what follows we focus on the account of Fine (2012, 2017) because it is most closely related to matters of p(remise) and c(onclusion)relevance.^{Footnote 14} The verifying 'facts' are understood as possible facts, socalled states (Fine, 2017, 627f.). The basic notion is the relation of verification between sets of states (denoted by small letters) and propositions (denoted by capital letters). Small letters p, q, … denote primitive states, a, b … denote arbitrary states and α, β, … denote sets of states. Recall that P, Q,… stand for atomic sentences; A, B, … for arbitrary sentences and Γ, Δ, … for sets of sentences. In what follows we assume that each primitive sentence P has a unique verifier p; this assumption is not made in Fine’s general account but it simplifies the picture and doesn't affect matters of relevance. [A] denotes the verification set of A, i.e. the set of all verifiers of A; it is interpreted as A’s content or relevant proposition. By our assumption [P] = p, [Q] = q, etc. The fusion of two states a, b is here denoted as a⋅b. More generally, Π(α) is the fusion of a set of states α = {a_{1}, a_{2}, …} (ibid., 646). The fusion operation mirrors conjunction at the ontological level, thus [P∧Q] = {p⋅q}. Every state a has the form Π(α) for some α. In contrast, a disjunction P∨Q has no ontological correlate; rather, [P∨Q] is defined as the set of states verifying either P or Q or both, i.e., [P∨Q] = {p, q, p⋅q}. Thus, verification sets are understood as disjunctions of verification possibilities. A state a is called a part of b iff a is a subfusion of b, and it is proper part if a ≠ b; thus p and q are proper parts of p⋅q. More generally, for every β ⊆ α, Π(α − β) is a part of Π(α). “ ≤ _{p}” stands for the relation of part and “ < _{p}” for “proper part”; if a ≤ _{p} b we also say that b contains a. For matters of logical smoothness, Fine (2017, 628) assumes that relevant propositions [A] are regular, i.e. closed under fusions and intermediate parts of their elements (if a, b ∈ [A], then: a⋅b ∈ [A], and if a < _{p} c < _{p} b then c ∈ [A]). Thus, with Clos(α) denoting the regular closure of a set of verifiers α, the recursive clauses for the verification sets of conjunctions and disjunctions are as follows:

(36) (i) [A∧B] = Clos([A]⋅[B]), where [A]⋅[B] = {a⋅b: a∈[A], b∈[B]}.

(ii) [A∨B] = Clos([A] ∪ [B]).
Verifiers are designed to be “exact”, i.e. “relevant as a whole”; thus the verification relation ⊨ is nonmonotonic (ibid., 626): p⋅q ⊭ P, and if a ⊨ A and a < _{p} b, then b ⊨ A does not generally hold, though it may hold for some substitution instances. Negation is more difficult because in Fine’s system there are no straightforward negative facts (which seems reasonable).^{Footnote 15} Yet, we make here the idealizing assumption that each negated primitive fact ¬P has a unique ‘negative’ verifier \(\overline{{\text{p}}}\); this simplifies the picture but doesn't affect matters of relevance.
Based on this verification relation, Fine introduces the two relevant entailment relations mentioned in sec. 4 as follows:

(37) (i) A exactly entails B, abbreviated as A ≤ _{e} B, iff [A] ⊆ [B], i.e., iff every verifier of A is a verifier of B.

(ii) A contains B, abbreviated as A ≤ _{c} B, iff ∀a∈[A] ∃b∈ [B]: a ≤ _{p} b and ∀b∈[B] ∃a∈[A]: a ≤ _{p} b, i.e., iff every Averifier contains some Bverifier and every Bverifier is contained in some Averifier.
Definitions (i) and (ii) are extended to sets of premises Γ (replacing A) by treating them as conjunctions, i.e. if Γ = {A_{1}, A_{2},…,}, then [Γ] = {a_{1}⋅a_{2}⋅…: a_{1}∈[A_{1}], a_{2}∈[A_{2}],…}. As remarked in Sect. 4, exact entailments reflect the idea of p(remise)relevance; thus P ≤ _{e} P∨Q but not P∧Q ≤ _{e} P. Containments express the idea of c(onclusion)relevance, i.e., P∧Q ≤ _{c} P but not P ≤ _{c} P∨Q. Fine’s system satisfies all standard requirement for a logic (discussed in Sect. 4) in a beautiful way, but on the cost of some remarkable deviations from difference making intuitions of relevance. Concerning the omission of relevant inferences, Fine’s system excludes DS (and likewise, MP) as exact entailment as well as containment, since [¬P∧(P∨Q)] = Clos({\(\overline{{\text{p}}}\)}⋅{p,q,p⋅q}} = {\(\overline{{\text{p}}}\)⋅p, \(\overline{{\text{p}}}\)⋅q, \(\overline{{\text{p}}}\)⋅p⋅q} and [Q] = {q}; so not only condition (37)(i), but also condition (37)(ii) is violated.^{Footnote 16} Concerning irrelevant inferences that have to be accepted, it follows from substitutive closure that Fine’s system includes irrelevant substitution instances of EFQ (e.g., P∧¬P ≤ _{c} P) and of VEQ (e.g., P ≤ _{e} P∨¬P). Moreover, the inference P∧Q ⊢ P∨Q counts both as an exact entailment and as a containment, since [P∧Q] = {p⋅q} and {P∨Q] = {p,q,p⋅q}, although this inference is both pirrelevant and cirrelevant. If exact entailment were applied to confirmation contexts, this would have the counterintuitive consequence that the fact that all observed animals are carnivores or herbivores hdconfirms the hypothesis that all animals are carnivores and herbivores; and in explanation contexts it would have the consequence that the hypothesis that all animals are carnivores and herbivores explains why all observed animals are carnivores or herbivores. Another example of a pirrelevant exact entailment is P∧(P∨Q) < _{e} P∨Q, which holds since [P∧(P∨Q)] = {p, p⋅q} ⊂ {p, q, p⋅q} = [P∨Q].
Since not all exact entailments are prelevant, it is interesting to filter out the subset of prelevant exact entailments, or grounds (a similar project could be pursued for crelevant containments). This question has been investigated by Krämer and Roski (2017), in regard to the notion of partial ground. For simplicity we explain Krämer and Roski’s notion (ibid., 1194f.) for basic statements, abbreviated as B_{i}, which are atomic statements P_{i} or their negations ¬P_{i} (the notion generalizes to conjunctions of basic statements). We write [B_{i}] = b_{i}, so b_{i} is the unique verifier of B_{i} (p_{i} or \(\overline{{\text{p}}}\)_{i}). A conjunctive statement has the form C = B_{1}∧…∧B_{n} with [C] =_{def} {c} and c = b_{1}⋅…⋅b_{n}. Following Fine (2012) and Krämer and Roski (2017), we call a conjunctive statement C a (weak) full ground of a statement A iff C'’s verifier c is an Averifier, c∈[A]. For any state c = Π(α), c − b_{i} denotes Π(α − {b_{i}}), i.e. the elimination of b_{i} from the fusioncomponents of c. For example, p⋅q − p = q. Π(∅) is the empty state, abbreviated as 0. With these notions, Krämer and Roski’s definition (ibid., 1195) is this:

(38)
A basic statement B is a partial ground of A, abbreviated as B ≤ _{part} A, iff there is a full ground C of A such that b is part of c (where c = [C] and b = [B]); if it holds in addition that c − b is not a verifier of A, then B is a relevant (or differencemaking) partial ground of A, abbreviated as B ≤ _{relpart} A.
For example, P is a relevant partial ground of P∧Q, since [P] = p, [P∧Q] = {p⋅q}, and p is a part of p⋅q but p⋅q − p = q ∉ [P∧Q]. P is a relevant full (and thus partial) ground of P∨Q, since [P] = {p} and there is a verifier of [P∨Q] = {p,q,p⋅q}, namely p, such that p is a part of p and p − p = 0 ∉ [P∨Q].
As Krämer and Roski show, while the partial ground relation is transitive, that of a relevant partial ground is no longer transitive. They demonstrate this fact by the following counterexample (where “B ≤ _{irrelpart} A” stands short for B being an irrelevant partial ground of A):

(39) (i) P ≤ _{relpart} P∧Q, since [P] = {p}, [P∧Q] = {p⋅q}, p is a part of p⋅q, and (p⋅q − p) = q ∉ [P∧Q].

(ii) P∧Q ≤ _{relpart} Q∨(P∧Q), since [P∧Q] = {p⋅q}, [Q∨(P∧Q)] = {q, p⋅q} and p⋅q is an (improper) part of p⋅q while p⋅q − p⋅q = 0 ∉ [Q∨(P∧Q)].
(iii) However, P ≤ _{irelpart} Q∨(P∧Q), since [P] = {p} and the only verifier in [Q∨(P∧Q)] = {q, p⋅q} that contains p is p⋅q, but p⋅q − p = ∈ [Q∨(P∧Q)], so p is irrelevant.
Krämer and Roski’s counterexample conveys further support to the general observation of Sect. 4, that the application of a differencemaking criterion of relevance to a particular relation, here the relation of partial ground, will often fail to satisfy the logicostructural laws governing the relation. In this line, Krämer and Roski discuss extensively whether or not the notion of relevant partial ground should still be regarded as a form of (partial) grounding, in spite of its intransitivity. They conclude that relevant grounding should better be considered as a kind of "good grounding" rather than a relation of grounding (which should be transitive). This conclusion fits with the strategy of this paper that distinguishes matters concerning the truth of a relation instance from matters concerning its relevance.
9 Relevant communication
In a simplified reconstruction of the communication theory of Sperber and Wilson (1996), the underlying relation R ⊆ A × B is the relation of communication that holds between the utterance of a proposition P by a speaker that is received by a hearer, and a context C consisting in the background beliefs shared by speaker and hearer. Thus A is the domain of speakerhearerdirected utterances and B the codomain of possible shared background beliefs. Sperber and Wilson discuss a variety of conditions for the relevance of an uttered proposition in a context. One of their major conditions is reconstructed in this section, namely that the utterance of P must have relevant contextual implications in the following sense: the information I that is acquired by the hearer because of the speaker’s utterance of P is entailed by P and C, but neither by P nor by C alone (cf. Sperber & Wilson, 1996, 107f.). Thus, both P and C make a difference for the information acquired by the hearer. For example, if the context C contains Jim’s previous remark to his spouse Mary “I feel sick” as well as the shared knowledge “if a person is sick and the doctor is called, then the doctor will take steps to cure the person”, then Mary’s reply “I’ll call the doctor” (P) is relevant in this context, because it causes Jim to acquire the new information “the doctor will take steps to cure me” (which is inferable from P and C but not from one of the two alone). On the other hand, if Mary would reply “The phone rings”, then this would be an obvious failure of communicative relevance.
With this background, Sperber and Wilson's notion of communicative relevance can be explicated as follows:

(40)
(Definition.) Let P be a proposition uttered by a speaker towards a hearer and C be the conjunction of all beliefs (propositions) shared by speaker and hearer in a given communication context. Then:
The utterance of P in C is a relevant communication iff it causes the hearer to acquire an elementary propositional information I such that P, C ⊢ I is a premiserelevant entailment, i.e. {P,C} but neither P nor C alone entail I.
The requirement of the elementariness of the acquired information I (in the sense of def. 15.1) is a proposed improvement of Sperber and Wilson’s account. Without this requirement the definition would get trivialized by the fact that for every P and C there is at least one ‘information’ that is neither entailed by P nor by C, namely the conjunction P∧C (cf. also the critique of Woods, 1992). Sperber and Wilson (1996, 97) are aware of this danger of trivialization and try to avoid it by restricting logical inferences to elimination rules (that eliminate but don’t introduce logical connectives), which excludes the rule of conjunction. But this restriction seems too strong, because it excludes too many relevant inferences, e.g. contraposition A→B /¬B→¬A and others more. A better way to solve the problem is to formulate the relevance criterion for an elementary piece of information I, as in definition (40).
10 Relevant predication and essentiality
Our final application is the notion of essential properties. Here the relation R ⊆ A × B is that of predication between a domain A of (assumedly monadic) properties and a codomain B of individuals. A property F of an individual a is considered as (metaphysically) essential to a iff possessing the property F makes a difference to a's selfidentity (cf., e.g., Fine, 1994). This is equivalent with saying that the individual a can impossibly loose the property F, because this would turn it into a different individual. In this way, the notion of an essential property can be regarded as a kind of differencemaking relevance condition. In the domain of metaphysics one is not so much interested in factual truths, but in the modal status of these truths. Therefore metaphysical relevance considers replacements salva possibilitate. The precise definition of an essential property in terms of metaphysical propertyrelevance is given in definition (41.1) below.
The corresponding notion of metaphysical individualrelevance asserts that the property F can impossibly apply to an individual different from a. This notion, too, gives us an important metaphysical notion, namely that of F as containing an individual essence of a (Plantinga, 1974, 70), i.e. a conjunction of properties of a that uniquely differentiates a from all other individuals. Here are the formal definitions:

(41)
(Definition.) Let Fa (for “a is F”) be a true predication. Then:

(41.1)
F is essential property of a iff the predication Fa is essentially propertyrelevant in the following sense: F cannot be replaced in Fa by ¬F salva possibilitate, i.e. ¬Fa is metaphysically impossible.

(41.2)
F contains an individual essence of a iff the predication Fa is individualrelevant in the following sense: a cannot be replaced in Fa by a different individual b salva possibilitate, i.e. Fb is metaphysically impossible.
11 Conclusion
In this paper we studied the account of relevance as differencemaking from a generalized perspective. We argued that relevance should not be considered as a particular relation between certain types of entities, but as a (higherorder) property of instances of arbitrary first order relations, namely the property that variations of the relata of the relation instance make a difference for its truth. We showed that this general account of relevance can be fruitfully applied in a variety of domains, such as (i) logicodeductive reasoning with applications to deductivenomological explanation, hypotheticodeductive confirmation, verisimilitude and isought inference, (ii) probabilistic reasoning with applications to probabilistic explanation and confirmation, (iii) nomological and causal implication, (iv) grounding, (v) communication and (vi) metaphysical notions of essentiality. In all these domains we found applications of differencemaking relevance that are precise instantiations of the general account of relevance explicated in Sect. 5. Many more applications are possible that could not be included in this paper. We conclude that the notion of differencemaking relevance is a highly unifying and fruitful philosophical concept with applications in virtually all fields.
12 Appendix
If material implications (X→Y) are replaced by equivalent disjunctions (¬X∨Y), then a subformula occurrence X in a formula is defined as positive/negative iff it occurs in the nested scopes of an even/odd number of negation symbols (for a recursive definition see Kleene, 1967, 124). Replacing a positive/negative subformula occurrence X in A by a logically stronger formula B strengthens/weakens the formula A, respectively (i.e., if positive it strengthens it and if negative it weakens it). A positive/negative occurrence of a subformula of a premise is defined as empty if it is ⊤/⊥, respectively. Dually, a positive/negative occurrence of a subformula of the conclusion is empty if it is ⊥/⊤, respectively. The reason for this definition is that the replacement of a subformula in a premise by an empty formula should make the premise weaker, and its replacement in the conclusion should make the conclusion stronger.
Theorem
Assume Γ ⊢ A is propositionally valid. Let X be a single occurrence of a subformula either in Γ or in A. Let (Γ ⊢ A)[XY] be the result of replacing this Xoccurrence in Γ ⊢ A by the formula Y, and let (Γ ⊢ A)[X0] be the result of replacing this Xoccurrence by an empty formula 0. Then the following three conditions are equivalent:
(i) ∀Y: (Γ ⊢ A)[XY], (ii) (Γ ⊢ A)[X¬X] and (iii) (Γ ⊢ A)[X0].
Proof
We write Γ[XY] ⊢ A[XY] for the inference (Γ ⊢ A)[XY]; note that because “X” denotes a single Xoccurrence, either in A or in Γ nothing gets replaced by “[XY]”. The proof proceeds by a circular chain of implications (i) ⇒ (ii) ⇒ (iii) ⇒ (i).
(i) ⇒ (ii): This implication is obtained by letting Y = ¬X.
For (ii) ⇒ (iii): Let v be an arbitrary truth valuation. We write v(Γ) = true if v(B) = true for all premises B in Γ; otherwise v(Γ) = false. Two cases are possible, each dividing into two subcases:
(Case 1:) v(X) = true and 0 = ⊤, or v(X) = false and 0 = ⊥. In both subcases v(0) agrees with v(X). Therefore, v(Γ[X0]) agrees with v(Γ) and v(A[X0]) with v(A). Since Γ ⊢ A is valid, the condition “if v(Γ) = true, then v(A) = true” holds. Thus, the condition “if v(Γ[X0]) = true, then v(A[X0]) = true” holds, too (for arbitrary v); so condition (iii) holds.
(Case 2:) v(X) = true and 0 = ⊥, or v(X) = false and 0 = ⊤. In both subcases v(0) agrees with v(¬X). Therefore, v(Γ[X0]) agrees with v(Γ[X¬X]) and v(A[X0]) with v(A)[X¬X]). By condition (ii), Γ[X¬X] ⊢ A[X¬X] is valid; so the condition “if v(Γ[X¬X]) = true, then v(A[X¬X]) = true” holds. Thus, the condition “if v(Γ[X0]) = true, then v(A[X0]) = true” holds, too, whence condition (iii) holds.
For (iii) ⇒ (i): We have two cases. (Case 1:) X occurs in Γ and not in A. Then by the definition of an empty formula, Γ[X0] is logically weaker than Γ[XY]. So Γ[XY] ⊢ Γ [X0] ⊢ A (by (iii)), which proves condition (i). (Case 2:) X occurs in A and not in Γ. Then by the definition of an empty formula, A[X0] is logically stronger than A[XY]; so Γ ⊢ A[X0] (by (iii)) ⊢ A[XY], which proves condition (i). Q.E.D.
Notes
Together with a simplification concerning premise relevance: Condition (34.2) in Schurz (1991a) is removed, because its work is taken over by the decomposition of the premise set into its relevant (content) elements. Schurz (1991a) requires the latter step only for the application to verisimilitude and unification (explanation), while the application to hypotheticodeductive confirmation is introduced in Schurz (1994).
Cleave's criterion applies to replacements in arbitrary formulas salva logical content; in application to inferences this amounts to the stated version.
Proof: Assume Γ ⊢ C and the predicate F occurs in C but not in Γ. Let X* result from X by a uniform replacement of F in X by an arbitrary predicate G. By the rule of uniform substitution, Γ ⊢ C implies Γ* ⊢ C*, and since F doesn’t occur in Γ, this implies Γ ⊢ C*, i.e., Γ ⊢ C is conclusionirrelevant.
Since not every formula (set) possesses a unique relevant representation, the definition refers to some relevant representations. The application of pcrelevance to every conjunct of E_{r} is needed to eliminate partial selfexplanations or partial theoretical explanations.
Often this definition is relativized to a background knowledge B (Glymour (1981, 35). Then it says: (a) H, B ⊢ E, (b) H is consistent with B, and (c) B⊬ E.
If the definition is relativized to a background knowledge B (cf. fn. 7), then the inference B, H_{r} ⊢ E_{r} must be crelevant, and prelevant in regard to H but not in regard to B, since B may contain superfluous information.
These observations apply likewise to Leitgeb’s (2019) system HYPE, whose logical consequences without {⊥, ⊤} coincide with Anderson and Belnap's first degree entailments.
Brauer (2020) adds to Tennant (1984) a weaker notion of relevance, according to which a formula A is (weakly) relevant in Γ ⊢ A if it occurs in a perfect valid subsequent of Γ ⊢ A ; in application to premises this corresponds to the notion of "conditional premiserelevance" in Schurz (1999, sec. 3.5).
This diagnosis is further confirmed by Rott’s (2022) logic of differencemaking conditionals. Rott reports in his abstract that “the connective thus defined violates almost all traditional principles of conditional logic”.
In an equivalent version, C is a Gemesian content part of Γ iff Γ ⊢ C and every disjunct of the relevant disjunctive normal form (RDN) of C is a subconjunction of the RDN of Γ (Gemes 1997, (D1)). An RDN of a formula A is a disjunctive normal form of A in A's relevant atomic formulas; these are those atomic formulas in A whose truth value can make a difference to the truth value of A. A further variation of Gemes’ relevance criterion is that of Stelzner (1992) and Yablo (2014); their definitions of content part (or relevant consequence) use the notion of minimal disjunctive normal form instead of Gemes’ RDN. As a consequence, p∨q is a content part of p∧q according to Stelzner and Yablo, but not according to Gemes.
The causal aspect of Salmon’s condition—that each relevant factor A_{i} must be a cause, as opposed to an effect or coeffect—goes beyond statistical relevance.
Correira’s (2014) account captures prelevance (exact entailment) but not crelevance (containment); Schnieder's (2021) account captures a version of containment, but not exact entailment.
Fine (2017, 632–5) offers two nonequivalent ways of handling negations, bilateral propositions consisting of verifiers and falsifiers, and exclusion relations between states.
Fine’s system excludes DS for the following reasons. The premise conjunction ¬P∧(P∨Q) is analyzed via its verification set by the rule of ∧∨distribution as (¬P∧P)∨(¬P∧Q). Definition (37) implies that the relevance of inferences with disjunctive premises obeys the rule of case distinction: X∨Y ⊢ C is relevant (in the sense of ≤_{e} or ≤_{c}) iff both X ⊢ C and Y ⊢ C are relevant. But ¬P∧P ⊢ Q is maximally irrelevant, so DS is neither an instance of ≤_{e} nor of ≤_{c.} A similar argument against DS can already be found in Anderson and Belnap (1975, 165f.). However, that some proof of an inference (here DS) involves irrelevant steps (here EFQ) does not mean that the inference itself is irrelevant, if these irrelevant steps can be avoided. Indeed, the natural reasoning from (¬P∧P)∨(¬P∧Q) to Q does not proceed by case distinction, but by the law of contraction: “¬P∧P is impossible, so the only remaining possibility is ¬P∧Q, which entails Q”. The latter proof does no longer involve EFQ.
References
Anderson, A. R., & Belnap, N. D. (1975). Entailment. The logic of relevance and necessity. Princeton University Press.
Angell, R. B. (1989). Deducibility, entailment and analytic containment. In J. Norma & R. Sylvan (Eds.), Directions in relevant logic (pp. 119–144). Kluwer.
Botting, D. (2013). The irrelevance of relevance. Informal Logic, 33(1), 1–21.
Brauer, E. (2020). Relevance for the classical logician. The Review of Symbolic Logic, 13, 436–457.
Burgess, J. P. (1981). Relevance: A fallacy? Notre Dame Journal of Formal Logic, 22, 97–104.
Burgess, J. P. (1983). Common sense and “relevance.” Notre Dame Journal of Formal Logic, 24, 41–53.
Carnap, R. (1950). Logical foundations of probability. Chicago University Press.
Cleave, J. P. (1973/74). An account of entailment based on classical semantics. Analysis, 34, 118–122.
Copeland, B. J. (1979). On when a semantics is not a semantics. Journal of Philosophical Logic, 8, 339–413.
Correia, F. (2014). Logical ground. The Review of Symbolic Logic, 7, 31–59.
Correia, F., & Schnieder, B. (2012). Metaphysical grounding: Understanding the structure of reality. Cambridge University Press.
Fine, K. (1994). Essence and modality. Philosophical Perspectives, 8, 1–16.
Fine, K. (2012). The pure logic of ground. The Review of Symbolic Logic, 5(1), 1–25.
Fine, K. (2017). A theory of truthmaker content I. Journal of Philosophical Logic, 46, 625–674.
Fitelson, B. (2002). Putting the irrelevance back into the problem of irrelevant conjunction. Philosophy of Science, 69, 611–622.
Gärdenfors, P. (1976). Relevance and redundancy in deductive explanation. Philosophy of Science, 43, 420–432.
Gärdenfors, P. (1980). A pragmatic approach to explanation. Philosophy of Science, 47, 404–423.
Gemes, K. (1993). Hypotheticodeductivism, content, and the natural axiomatization of theories. Philosophy of Science, 54, 477–487.
Gemes, K. (1994a). A new theory of content I: Basic content. Journal of Philosophical Logic, 23, 1994.
Gemes, K. (1994b). Schurz on hypotheticodeductivism. Erkenntnis, 41, 171–181.
Gemes, K. (1997). A new theory of content II: Model theory and some alternatives. Journal of Philosophical Logic, 26, 449–476.
Glymour, C. (1981). Theory and evidence. Princeton University Press.
Grice, H. P. (1975). Logic and conversation. In P. Cole & J. Morgan (Eds.), Syntax and semantics (Vol. 3, pp. 41–58). Academic Press.
Grimes, T. R. (1990). Truth, content, and the hypotheticodeductive method. Philosophy of Science, 57, 514–522.
Hempel, C.G. (1945). Studies in the logic of confirmation. In Hempel (1965) (pp. 3–51) (quoted therefrom).
Hempel, C., & Oppenheim, P. (1948). Studies in the logic of explanation. In Hempel (1965) (pp. 245–290) (quoted therefrom).
Hempel, C. G. (1965). Aspects of scientific explanation and other essays. Free Press.
Hendry, H. E., & Pokriefka, M. L. (1985). Carnapian extensions of S5. Journal of Philosophical Logic, 14, 111–128.
Hesse, M. (1970). Theories and transitivity of confirmation. Philosophy of Science, 37, 50–63.
Jeffrey, R. (1969). Statistical explanation versus statistical inference. In N. Rescher (Ed.), Essays in honor of C.G. Hempel (pp. 104–113). Reidel.
Kleene, S. C. (1967). Mathematical logic. John Wiley & Sons.
Körner, S. (1947). On entailment. Proceedings of the Aristotelean Society, 21, 1947.
Krämer, S., & Roski, S. (2017). Differencemaking grounds. Philosophical Studies, 174, 1191–1215.
Lakatos, I. (Ed.). (1970). Falsification and the methodology of scientific research programmes. In Philosophical papers (Vol. 1, pp. 8–101). Cambridge University Press 1978.
Leitgeb, H. (2019). HYPE: A system of hyperintensional logic. Journal of Philosophical Logic, 48, 305–405.
Lewis, D. (1973). Counterfactuals. B. Blackwell.
Mackie, J. (1975). Causes and conditions. In E. Sosa (Ed.), Causes and conditionals (pp. 15–38). Oxford University Press.
Menzies, P. (2004). Differencemaking in context. In J. Collins, N. Hal, & L. Paul (Eds.), Causation and counterfactuals (pp. 139–180). MIT Press.
Meyer, R. K. (1985). A farewell to entailment. In G. Dorn & P. Weingartner (Eds.), Foundations of logic and linguistics (pp. 577–636). Plenum Press.
Miller, D. (1974). Popper’s qualitative theory of verisimilitude. British Journal for the Philosophy of Science, 25, 166–177.
Parry, W. T. (1933). Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation). In Ergebnisse eines mathematischen Kolloquiums, 4, pp. 5–6.
Plantinga, A. (1974). The nature of necessity. Oxford University Press.
Popper, K. (1963). Conjectures and refutations. Routledge.
Read, S. (1988). Relevant logic. B. Blackwell.
Ross, A. (1941). Imperatives and logic. Theoria, 7, 53–71.
Rott, H. (2022). Differencemaking conditionals and the relevant Ramsey test. Review of Symbolic Logic, 15, 133–164.
Salmon, W. (1970). Statistical explanation. In R. Colodny (Ed.), Mind and cosmos (pp. 173–231). University of Pittsburgh Press.
Salmon, W. (1971). Statistical explanation and statistical relevance. University of Pittsburgh Press.
Salmon, W. (1984). Scientific explanation and the causal structure of the world. Princeton University Press.
Schippers, M., & Schurz, G. (2020). Genuine confirmation and tacking by conjunction. British Journal for the Philosophy of Science, 71, 321–352.
Schnieder, B. (2021). On ground and consequence. Synthese, 198, S1335–S1363.
Schurz, G. (1991a). Relevant deduction. From solving paradoxes towards a general theory. Erkenntnis, 35, 391–437.
Schurz, G. (1991b). Relevant deductive inference: Criteria and logics. In G. Schurz & G. Dorn (Eds.), Advances in scientific philosophy (pp. 57–84). Rodopi.
Schurz, G. (1994). Relevant deduction and hypotheticodeductivism: A reply to Gemes. Erkenntnis, 41, 183–188.
Schurz, G. (1996). Scientific explanation: A critical survey. Foundation of Science, I(3), 429–465.
Schurz, G. (1997). The isought problem. An investigation in philosophical logic. Kluwer.
Schurz, G. (1999). Relevance in deductive reasoning: A critical overview. In G. Schurz & M. Ursic (Eds.), Beyond classical logic (pp. 9–56). Academia Verlag.
Schurz, G. (2001). Carnap’s modal logic. In W. Stelzner & M. Stöckler (Eds.), Zwischen traditioneller und moderner Logik (pp. 365–380). Mentis Publishers.
Schurz, G., et al. (2005). Bayesian HDconfirmation and structuralistic truthlikeness. In R. Festa (Ed.), Confirmation, empirical progress, and truth approximation (pp. 141–159). Rodopi.
Schurz, G. (2005). Most general first order theorems are not recursively enumerable. Theoretical Computer Science, 148, 149–163.
Schurz, G. (2014). Philosophy of science: A unified approach. Routledge.
Schurz, G. (2023). The legacy of Carnap’s modal logic. In C. Damböck & C. Schiemer (Eds.), Rudolf Carnap Handbuch. Metzler Publishers.
Schurz, G., & Weingartner, P. (1987). Verisimilitude defined by relevant consequenceelements. In T. A. Kuipers (Ed.), What is closertothetruth?. Rodopi.
Schurz, G., & Weingartner, P. (2010). Zwart and Franssen’s impossibility theorem holds for possibleworldaccounts but not for consequenceaccounts to verisimilitude. Synthese, 172, 415–436.
Smiley, T. J. (1959). Entailment and deducibility. In Proceedings of the Aristotelian Society, 59, 233–254.
Sperber, D., & Wilson, D. (1996). Relevance. Communication and cognition (2nd ed.). B. Blackwell.
Stelzner, W. (1992). Relevant deontic logic. Journal of Philosophical Logic, 21, 193–216.
Strevens, M. (2004). The causal and unification approach to explanation. Nous, 38(1), 154–176.
Strevens, M. (2008). Depth. Harvard University Press.
Textor, M. (2021). States of affairs. In The Stanford Encyclopedia of Philosophy (Summer 2021 edition). https://www.plato.stanford.edu/archives/sum2021/entries/statesofaffairs.
Tichý, P. (1974). On Popper’s definition of verisimilitude. The British Journal for the Philosophy of Science, 27, 25–42.
Tuomela, R. (1981). Inductive explanation. Synthese, 48, 257–294.
Weingartner, P., et al. (2000). Reasons for filtering classical logic. In D. Batens (Ed.), Frontiers in paraconsistent logic (pp. 315–327). King’s College Publications.
Woods, J. (1992). Apocalyptic relevance. Argumentation, 6, 189–202.
Woodward, J. (2003). Making things happen. Oxford University Press.
Woodward, J. (2016). Causation in science. In P. Humphreys (Ed.), The Oxford handbook of philosophy of science (pp. 163–184). Oxford University Press.
Yablo, S. (2014). Aboutness. Princeton University Press.
Acknowledgements
This work is devoted to Paul Weingartner, my most important soulmate with regards to relevance. I owe him valuable inspirations, as well as Stephan Körner (✝), Georg Kreisel (✝), Kit Fine, Clark Glymour, Ken Gemes, Charles Pigden, Hannes Leitgeb, Werner Stelzner, Michael Schippers and Diderik Batens.
Funding
Open Access funding enabled and organized by Projekt DEAL. None (no funding; no financial or nonfinancial interests).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Schurz, G. Relevance as differencemaking: a generalized theory of relevance and its applications. Philos Stud (2023). https://doi.org/10.1007/s11098023019886
Accepted:
Published:
DOI: https://doi.org/10.1007/s11098023019886