1 Introduction

In contemporary metaphysics, a distinction between sparse and abundant properties is standardly drawn.Footnote 1 Sparse properties are ontic properties (universals or tropes) instantiated in the external, spatiotemporal world by objects and events. Abundant properties are properties nominalistically construed, i.e. properties understood in terms of sets of objects (set nominalism) or – more commonly – true predications (a kind of predicate nominalism).Footnote 2 Sparse properties are supposed to be intrinsic, to ‘carve at the joints’Footnote 3, and to ground objective similarities. They cannot be negative. Nor can they be disjunctive. The collections of their instances are, as Lewis (1986a: 60) puts it, ‘ipso facto not entirely miscellaneous’. Abundant properties, on the other hand, can be extrinsic, negative and disjunctive, and the collections of their instances extremely miscellaneous. Paradigmatic examples of sparse properties are properties of fundamental particles such as spin, charge and rest mass. Paradigmatic examples of abundant properties are negative properties such as not having rest mass m 0, disjunctive properties such as being grue,Footnote 4 and extrinsic properties such as being such that Napoleon sat on it.

It is sometimes suggested that sparse properties form a sub-set or a subcategory of the abundant properties (e.g. Lewis 1986a: 60). On the orthodox conception of sparseness, this involves a category mistake. A universal/trope is not a set of objects, nor a predicate or concept, but an immanent constituent of some object or event. However, the orthodox account does imply that some abundant properties – a small minority of them – correspond to, or have instances that are unified by, a sparse property.Footnote 5 To mark those abundant properties that do not correspond to a sparse property (not having rest mass m 0 and being grue being cases in point), I shall use the term ‘mere abundant property’.Footnote 6

The sparse/abundant distinction is usually applied to monadic properties (as above), but it is natural to make it in connection with relations as well. The distinction is extended in this way in the literature, but typically this is done in a fairly general, sweeping manner (usually in connection with discussions of the so-called internal/external distinctionFootnote 7). In this paper, I shall apply the tripartite framework of sparseness, abundancy and mere abundancy specifically to causation, or to the putative ‘causal relation’. My aim is to show that philosophy of causation will benefit from adopting the framework, particularly by distinguishing between sparse and mere abundant causation.Footnote 8 By way of illustration, I apply the framework to three notorious problem areas in the philosophy of causation: negative causation; causation involving institutional properties; and physical macro-causation. I argue that with the distinction between sparse and mere abundant causation in place the main philosophical puzzles in these areas can be handled in a uniform, intuitive, non-ad hoc manner, and in line with scientific doctrines and practices. By contrast, current solutions of these puzzles, which largely ignore the sparse/abundant distinction, tend to be piecemeal, unintuitive and ad hoc, and are often in tension with scientific doctrines and practices.

The structure of the paper is as follows. In Sect. 2, I flesh out the framework of sparse, abundant and mere abundant causation. In Sect. 3, I outline what I take to be the main theoretical problems associated with negative causation, causation involving institutional properties and physical macro-causation. In Sect. 4, I explain why existing responses to these problems often are unsatisfactory. Then, in Sect. 5, I tackle the issues described in Sect. 3, applying the distinctions developed in Sect. 2. In Sect. 6, I defend the proposed framework further. I end with some concluding remarks in Sect. 7.

2 Sparse causation, abundant causation and mere abundant causation

Below is an initial characterisation of sparse causation (SC), abundant causation (AC) and mere abundant causation (MAC).Footnote 9 Clarifying comments follow.

(SC)

A token instance of SC consists in some appropriate physical process connecting worldly entities.

(AC)

AC obtains if a sentence (or statement or proposition) involving predication of a relational, causal predicate (or concept) is true.

(MAC)

MAC obtains if a sentence (or statement or proposition) involving predication of a relational, causal predicate (or concept) is true and the (putative) causal relata referred to are not connected by some appropriate physical process.

In (SC), I leave it open whether the appropriate physical processes involve transference of some physical quantity such as energy (Aronson, 1971; Fair, 1979; Dowe, 2000), persistence of a trope (Ehring, 1997), exertion of a force (Bigelow & Pargetter, 1990), or ‘passing around of a power’ (Mumford & Anjum, 2011). The characterisation of SC is meant to be compatible with all such specifications. Consequently, I also leave it open whether SC can be realised in multiple ways. However, I take the relevant processes to be propagating at most at the speed of light, in line with the special theory of relativity (see my 2017 and 2021 for defences of this restriction; Reichenbach 1958 and Salmon 1984, Ch. 5, are the loci classici). The significance of this restriction will become apparent in Sect. 5.2.

Some might protest at the idea that an instance of SC consists in a physical process. If this were so, it might be complained, instances of SC could not really be said to be instances of a sparse relation. For one thing, processes propagate over time (in some way or other), but the notion that a cross-temporal relation ‘propagates’ between its relata makes little sense. Cross-temporal relations neither endure nor perdure between their relata. If they endured, they would have to be ‘wholly present’ at distinct times as the self-same entity; if they perdured, they would need spatiotemporal proper parts at distinct times; both options seem forbiddingly absurd.Footnote 10

I agree that processes are not relations, strictly speaking, although many philosophers (e.g. Salmon 1984: 155–156, Menzies 1996, Beebee 2004, Ney 2009, Schaffer, 2016) speak as if they are. But processes are, I think, the best sparse surrogates we can offer for ‘causal relations’ in the external world – at least, on the assumption that instances of SC are to be generative of, and metaphysically prior to, their results, the relevant effects. For if an instance of SC were indeed a sparse relation, it would not be generative. Relations cannot exist without relating. Thus, if a token instance of SC were an instance of a sparse relation, the instance would depend on the existence of the effect: the effect would be metaphysically (even if not temporally) prior to the relation, and hence the relation could not take part in generating the relevant effect on pain of circular dependence obtaining.Footnote 11 A process, on the other hand, is not metaphysically dependent on its outcome but can be metaphysically prior to it.Footnote 12 And, even if it is not itself, strictly speaking, a sparse relation, it can nonetheless figure as the appropriate ontic correlate of a relational, causal predicate in a true sentence of the form ‘c caused e’ (or, tenselessly, ‘c causes e’).

Turning to (AC), the basic idea is that if a sentence involving predication of a relational, causal predicate is true (alternatively: if the proposition expressed is trueFootnote 13), we thereby have a case of abundant causation, irrespective of what the truthmaker(s) happen to be. The predication need not correspond to an instance of SC – just as a true predication of the one-place predicate F (expressing an ‘abundant property’) need not correspond to a sparse, monadic F-ness property. The notion of AC does not even require that causal predicates express a set of ordered pairs – it is compatible with a predicate-nominalistic understanding of such predicates (cf. Section 1, especially footnote 2, above). Further, the singular terms flanking the causal predicate need not denote objects or events. They can denote facts or even properties: they can be shorthand for ‘the fact that Q’ and ‘the fact that P’ or ‘the trope a at t’ and ‘the trope b at t´’.Footnote 14 Nor does the AC notion as such presuppose any particular (and possibly controversial) analysis of causal predicates/concepts – indeed, it is even compatible with primitivism about such predicates/concepts (see Sect. 5).

Finally, (MAC): cases of MAC are simply instances of AC that do not correspond to any SC at the level in question. Thus, they are special cases of AC.

3 Three problem areas

I shall now sketch three problem areas in the philosophy of causation. In presenting them I largely ignore the distinctions set out in Sect. 2, as the philosophers whose work I am drawing on proceed largely without relying on them. I return to the categorisations, and in particular the distinction between SC and MAC, in Sects. 47.

3.1 Negative causation

In day-to-day life, legal contexts and the sciences, non-occurrences, or ‘absences’, are often spoken of as if they have effects (Schaffer, 2000, 2004b). We say things such as ‘the gardener’s failure to water the flowers caused the flowers to wither’, ‘the driver’s inattention and the hole in the road caused the car crash’, ‘scurvy is caused by a lack of vitamin C’, and so on. Further, we often speak of positive occurrences as if they cause absences: ‘her getting ill caused her to miss days at work’, ‘the vaccine prevented him from getting sick’, ‘the flicking of the switch made the light to go out’. And sometimes we talk as though absences cause absences: for example, we might say ‘the delay of the vaccination programme prevented the decline of the death rates’. In the philosophical literature cases like these are usually collected under the heading ‘negative causation’.

Schaffer (2004b: 203) maintains that instances of negative causation refute the influential research programme in which causation involves processes from cause to effect.Footnote 15 Others, such as Beebee (2004), Moore (2009), and Mumford & Anjum (2011), take an opposing view, arguing that putative cases of negative causation cannot really be cases of causation. Causation is a relation of some kind, they maintain, and relations require relata. Absences are not entities (‘they’ are nothings), and thus they cannot serve as relata. Hence, alleged cases of negative causation are not really cases of causation.

This stand-off is deeply dissatisfying. Is there negative causation or not?

3.2 Causation involving institutional properties

Institutional properties – or events or facts involving them – are routinely referred to as causes and effects, both in daily life and in the social sciences. We say things such as ‘these events caused Donald Trump to become President’, ‘high employment causes inflation’ and ‘his poor grades caused him to lead a miserable life’. However, the institutional properties being President, being employed and having grade G in subject S are highly extrinsic: they depend on our attitudes for their realisation (e.g. Searle 1995, 2010). Such properties therefore cannot be sparse properties but must be mere abundant properties (Hansson Wahlberg 2019b, 2021). But if institutional properties are mere abundant properties, how can they partake in causation? Being non-immanent, it seems they cannot really be causes or effects (Hansson Wahlberg 2019b). Moreover, Kim (1974), Shoemaker (1980/1997), Lewis (1983: 368–370, 1986b: 263) and Maudlin (2002: 128) have all famously maintained that extrinsic properties cannot play a part in causation. Menzies (1996: 97–100) even claims that this ban is part of the content of various ‘platitudes’ about causation. Yet most of us – social scientists included – take it for granted that there is such a thing as causation involving institutional properties. How can we make sense of this causation, given the incontrovertible extrinsicality and non-sparseness of the supposed relata?

3.3 Physical macro-causation

In our daily lives we habitually place physical macroscopic objects, properties and events in causal relationships. We say things like ‘the tennis ball broke the window’, ‘the slipperiness of the road caused the car crash’, and so on. Again, scientists in various disciplines routinely try to establish causal relationships at macro-level, with the help of empirical experimentation and statistical tests. However, on Ockhamist grounds many philosophers regard the notion of macro-causation as problematic (this is sometimes called the generalised exclusion problemFootnote 16). They think postulation of macro-causation involves postulation of systematic over-determination (e.g. Merricks 2001). In rough outline, the argument is as follows. Macro-objects cannot be reduced to (i.e. identified with) pluralities of micro-particles.Footnote 17 Given this, macro-events involving, and macro-properties instantiated by, macro-objects cannot be reduced either. But all the causal work allegedly done by macro-phenomena (by macroscopic objects, events and properties) can presumably be done by the micro-phenomena (micro-particles, micro-properties and micro-events) that make up the macro-phenomena. In the case of the broken window, interactions between the micro-particles of the tennis ball and the window were presumably sufficient to separate and scatter the window particles, and thus sufficient to shatter the window (the latter event, if it exists in an ontic sense,Footnote 18 is presumably fully grounded in the scattering of the window-particles). Any causal work done by the tennis ball itself over and above that done by its micro-constituents appears to be redundant: it seems to involve superfluous over-determination of the scattering of the window particles, and thus of the shattering of the window.

Yet, as I have noted, laymen and scientists habitually speak of physical macro-phenomena as being causal. Can sense be made of such talk in light of the generalised exclusion problem?

4 The disunity of existing solutions

There are a variety of responses in the philosophical literature to the issues outlined in Sect. 3. However, the responses are generally not unified, but tend to be unsystematic – in some cases even ad hoc-like – solutions. On top of that, the responses frequently involve radical, implausible claims, many of which are in conflict with ordinary language, or with scientific doctrines and practice. Let me briefly illustrate with some examples.

Jonathan Schaffer is perhaps the most prominent contemporary defender of negative causation. He thinks it is obviously true that there is negative causation because most of the paradigmatic cases of causation do, upon scrutiny, involve negative causation (Schaffer, 2000, 2004b). Moreover, he seems to hold that absences are involved in causation in some substantive metaphysical sense. He speaks indiscriminately of negative causation as ‘genuine causation’ (2004b: 197). And he says, of instances of positive and negative causation: ‘Either way is causation full force’ (2000: 286). In his SEP entry on the metaphysics of causation (Schaffer, 2016), he further suggests that negative causation might involve immanent negative properties, without degrading these as mere abundant properties (see also Schaffer 2000: 297; and Wright 2011: 313). This radically permissive approach might fit Schaffer’s liberal stance towards ontology in general (e.g. Schaffer 2009). In my view, it is excessively permissive.Footnote 19

In the opposite corner, we find people like Michael Moore (2009: 351–354, 399–400, 436–450, 508). Moore thinks it is as obvious that there cannot be any negative causation because causation requires ontic relata and absences cannot figure as ontic relata. Not distinguishing between SC and MAC – merely discussing causation simpliciter, and asking how sentences describing this relation can be analysed, if at all – he therefore rejects negative causation tout court. And by doing this, like others reasoning along similar lines (Beebee 2004: 305, Mumford & Anjum 2011: 146), he denies that statements affirming negative causation are ever true. This highly restrictive view is also too radical – it amounts to an error-theory of negative causation.

Next, consider physical macro-causation. One way of escaping the generalised exclusion argument is by rejecting the irreducibility claim. By endorsing the so-called composition as identity thesis, i.e. the view that a whole (object, property, or event) is identical with its proper parts (e.g. Cotnoir & Baxter 2014), one puts oneself in a position to claim that a physical causal process ostensibly directed from macro to micro (e.g. a tennis ball causing window particles to scatter) is in fact identical with the many causal processes going on at the micro-level in the case at hand. (Kim, 2005: 56 endorses a version of this solution to the generalised exclusion problem.) However, the composition as identity thesis is fraught with difficulties (for detailed arguments see e.g. Moore 2014: 144–145, Sider 2014, Calosi, 2016) and ultimately fails to deliver a plausible option here. A second escape route involves rejecting the notion that the physical micro-level is causally closed (e.g. Dupré 1993: 101–102). With this rejection, one can maintain that there are non-redundant causal processes going from the irreducible macro-level to the micro-level. That is, one can claim that the macro-level can intervene among the processes going on at the micro-level and alter the way these processes unfold. In the tennis ball example, the ball itself, as a whole, can be held to contribute to the way the window particles scatter. Here, physical macro-causation no longer involves mere over-determination. It involves non-redundant (sparse) causation. But rejection of the notion that the micro-level is causally closed is a radical measure. As the physicist Paul Davies (2006) persuasively argues, there is little reason to doubt that the micro-level is causally closed, and at the very least this doubt is at odds with contemporary orthodox physics, quantum physics included (see also Brenner 2018). Apart from being radical, this escape route is also noticeably ad hoc: the causal closure of the micro-realm is denied simply for the purpose of saving physical macro-causation.

A less radical version of the second escape route is defended by philosophers like Stephen Yablo (1992a: 434–436; 1992b: 277–279) and Christian List and Peter Menzies (2009: 479–480, 488).Footnote 20 They acknowledge that events in general do have micro-physical antecedents which are ‘causally sufficient for’, or which ‘causally necessitate’, them;Footnote 21 but they maintain that if these antecedents fail to meet a ‘proportionality’ constraint, they do not qualify as causes. To be causes, their would-be effects must ‘require’ them – which they will not do if very similar but distinct micro-physical antecedents would have led to the same result. On this conception, a ‘realisation-insensitive’ higher-level event can cause a micro-physical event without it being the case that the micro-physical ‘implementation’ or ‘realisation’ of the higher-level event causes the micro-physical event – even if the micro-physical implementation is ‘causally sufficient’ for, and is connected with, the event in question. And, according to these philosophers, higher-level events are often realisation-insensitive.Footnote 22 Thus, macro-causation does not involve causal over-determination – at least not in the scenarios considered where the ‘same effect’ allegedly would have occurred had the higher-level event been realised slightly differently. But, as just noted, this result is reached on pain of denying that the relevant ‘causally sufficient’ micro-physical antecedents are causes. This denial is highly counterintuitive, as has been pointed out by various authors (see e.g. Beebee et al., 2017: 9).Footnote 23 Again, one might suspect that the denial – i.e., in effect, the proportionality constraint – is motivated primarily by a desire to avoid the generalised exclusion problem, in which case the denial looks suspiciously ad hoc.Footnote 24

Anyhow, these responses are unsystematic and piecemeal: accepting negative immanent properties, rejecting negative causation, defending composition as identity, and denying causal closure at the micro-level are not means for solving the other problems described. Likewise, rejecting causation involving institutional propertiesFootnote 25 will not help us solve the other issues outlined. It would be preferable to develop a unified solution to the problems described.

5 A unified treatment

As promised, I will now argue that the framework presented in Sect. 2 provides the requisite tools for unified treatment of the problems set by negative causation, causation involving institutional properties and physical macro-causation.

5.1 Negative causation

As soon as we distinguish between SC and MAC the air of paradox surrounding negative causation dissolves. Obviously, cases of negative causation are not instances of SC: in them at least one referent, or ontic relatum, of a causal ‘c caused e’ is missing (absences are not entities), so trivially there is no physical process connecting the relata. But want of SC in such a case does not necessarily rule out that the relevant causal sentence (or statement or proposition) is true and expresses an instance of MAC.

Thus, consider a counterfactual analysis of causal sentences which merely requires counterfactual dependence of the truth-value of the relevant consequent on the antecedent, or a chain of such dependencies, as indicated by David Lewis (2004a: 100; see also Lewis 2004b: 282–283).Footnote 26 On this kind of analysis, causal sentences of the form ‘c caused e’ can come out as true even if, at face value, they refer to, or express, absences. For example, if ‘the gardener’s failure to water the flowers’ is substituted for ‘c’ and ‘the withering of the flowers’ is substituted for ‘e’ the causal sentence may very well express a truth. It can do so if the relevant antecedent, ‘the gardener’s failure to water the flowers occurred’, and the relevant consequent, ‘the withering of the flowers occurred’, are both true and the consequent would have been false had the antecedent been false. (Or better, it expresses a truth if the sentences ‘the gardener failed to water the flowers’ and ‘the flowers withered’ are both true and the latter sentence would have been false had the former been false. This way of putting it may be preferable if one thinks that sentences such as ‘the gardener’s failure to water the flowers occurred’ in which non-events are said to occur cannot possibly be true.Footnote 27)

Again, consider Hugh Mellor’s (1995) analysis of causation in terms of chance-raising of facts. On this analysis, sentences (statements or propositions) about negative causation can come out as true, because the putative relata referred to, or expressed, in causal sentences need not exist in a substantive ontic sense: usually we merely express ‘facts’ which are ‘ontologically vacuous’, and which consequently must be distinguished from worldly, truthmaking ‘facta’ (ibid.: 157–162).Footnote 28 Ontologically vacuous facts may even be negative: Mellor exemplifies this possibility by drawing attention to the facts expressed in sentences such as ‘Kim has no children’ (p. 165). Sentences of this sort may express causes or effects in compound causal sentences like ‘Kim works full time because she has no children’ and ‘Kim has no children because she uses contraception’ (ibid., Mellor’s examples are a bit parochial). Where the relevant sentences about chance-raising are true,Footnote 29 the target causal sentences express – as I would put it – MAC (Mellor himself does not use this terminology).

I am fully aware that counterfactual and probability-raising analyses face various difficulties involving ordinary (single-level) over-determination, late and trumping pre-emption and chance-lowering causes (e.g. Collins et al. 2004, Moore 2009, Schaffer, 2016). I have brought in these well-known analyses for illustrative purposes only. As it happens, negative causation can be defended as a species of MAC even by those who deny that causal sentences can be reductively analysed. Take, for example, James Woodward’s influential interventionist theory, formalised in terms of variables and structural equations (e.g. Woodward 2003). This theory (which Woodward argues can handle the pre-emption-style difficulties just mentioned, e.g. ibid.: 74–86) is non-reductive in that the core concept of an intervention it utilises in elucidating causal claims is itself a causal concept (ibid.: 22, 27–28, 70, 98, 104–106, 136). All the same, the theory is compatible with there being truths expressing negative causation: the actual ‘values’ (typically numbers) of the relevant variables in the equations may stand for, or symbolise, absences (ibid.: 87–91, 224–225).

Irrespective of which analysis is adopted (if any), I think it is highly important that the defender of negative causation explicitly clarifies that when negative causation is spoken of he or she is speaking merely of a species of MAC. Lewis, Mellor and Woodward could, I think, be clearer in this regard. They tend to speak indiscriminately of cases of negative causation as yet further cases of a monocriterial notion of causation (e.g. Woodward 2003: 91–93, 225; Mellor 1995: 60, 67, 163–165).Footnote 30 Since they also often talk in the material mode about causal sequences (e.g. Mellor 1995, Ch. 17), and since they allow that worldly events, properties or facta are often picked out by the cause and effect expressions in causal sentences, their writings can suggest that we should think of cases of negative causation as being on par with positive – even ‘sparse’ – cases. Mellor, for example, could have highlighted and emphasised more clearly (what is merely implied in passing on p. 165) that we should distinguish between true instances of ‘ch C(E) > ch-C(E)’ (where the bold face indicates that we are picking out facta, not merely facts, ibid.: 162) and true instances of ‘ch C(E) > ch-C(E)’. Instances of the former, when the relevant C and E obtain, correspond roughly to what I call SC – at least, in those cases where there is a connecting process between C and E, which there normally is (cf. Mellor, 1995, Ch. 17).Footnote 31 Instances of the latter, when at least one of the obtaining facts C and E is negative and thus fails to correspond to a factum (C/E), express, in my terminology, MAC. In later writings (e.g. Mellor 2004), Mellor drops the terminology of ‘facta’ and ‘facts’ entirely, and as a result the distinction between negative causation and positive (in my terminology) ‘sparse’ causation is blurred further. My suggestion is that once cases of negative causation are explicitly categorised as cases of MAC, philosophers will be far less likely to be distrustful of negative causation. Thus, although something like the SC/MAC distinction is made by philosophers like Lewis and Mellor (albeit within their preferred counterfactual/chance-raising analytic frameworks), it is not sufficiently highlighted and disambiguated by these philosophers. When these shortcomings are rectified, I think the prospect of the notion of ‘negative causation’ being accepted by critical-minded philosophers improves.

Incidentally, specifying that negative causation is a species of MAC helps us to fend off an objection to negative causation based on the Eleatic Principle (Mumford & Anjum, 2011: 145). According to the Eleatic Principle, to be is to have causal power (Plato, The Sophist, 247E). If absences are held to have causal power, the Eleatic Principle appears to rule that absences must be held to exist, which seems contradictory. Equipped with the SC/MAC distinction, a defender of negative causation who endorses the Eleatic Principle can retort that the Eleatic Principle should be interpreted as saying that to be (in a substantive, ontic, sparse sense) is to be capable of partaking in SC. Absences cannot partake in SC, so they do not exist (in a substantive ontic sense, a sense which does not rule out our truly saying things such as ‘there is an absence of cheese in my fridge – and this annoys me’).

In sum, the distinction between SC and MAC helps us to make sense of negative causation.Footnote 32 This is clearly a good thing since negative causation is invoked in daily life, in the sciences, and, importantly, in law. Defending it in terms of MAC does not as such require causal predicates or concepts to be reductively analysed in a certain way, or indeed reductively analysed at all. No doubt, the issue what – if anything – makes statements of negative causation true, when they are true (assuming now that they can be true), remains. But this is a further issue for discussion.Footnote 33 Another worry is that once we have admitted negative causation, we will have to accept a super-abundance of such causation: for example, it will be true not only that the gardener’s failure to water the flowers caused their death, but that person a’s, person b’s, person c’s … failure to do the watering also caused their death (e.g. Beebee 2004: 295, 301). This may be a price we should pay (cf. Woodward, 2003: 88–91; Lewis 2004a: 101; Petersson 2019). The interesting cases – for example, the morally and legally relevant instances – will form a very small sub-class of the class of negative-causal truths.

5.2 Causation involving institutional properties

If institutional properties such as being President, being employed and having grade G in subject S are extrinsic and hence mere abundant properties, it makes little sense to think of them as being connectable by physical processes and partaking in SC (see Hansson Wahlberg 2019b, 2021 for details). But this consequence is not too alarming, because they can still figure as designated causes or effects in true causal sentences and thus be eligible to ‘partake’ in MAC.

Here is an illustration of the way institutional properties may succeed in partaking in MAC. To begin with, the following counterfactuals are, I assume, true, even if ‘President’ does not pick out a sparse property: ‘If James Comey had not initiated an additional investigation of Hillary Clinton’s private emails autumn 2016, Donald Trump would not have become President’; ‘If James Comey had initiated an additional investigation of Hillary Clinton’s private emails autumn 2016, Donald Trump would have become President’. Given that these counterfactuals are true (the second because its antecedent and consequent are actually true, Lewis 1973a) the following causal sentence is arguably also true, at least on a counterfactual analysis of causation of the kind discussed in Sect. 5.1: ‘James Comey’s initiation of an additional investigation of Hillary Clinton’s private emails autumn 2016 was a cause of Donald Trump’s becoming President’. Surely, if absences are allowed to figure as designated ‘relata’ in true causal sentences (as allowed by Lewis in his 2004a, 2004b), then institutional properties should also be allowed to do so.

But perhaps I am being a bit quick here. In his (1986b: 263–264), Lewis presented reasons – given a counterfactual analysis of causation – for disallowing ‘predominantly extrinsic events’, involving extrinsic properties, as causal relata. He banned them to avoid being committed to saying things like ‘Socrates’s death instantaneously caused the widowing of Xanthippe’ (cf. Kim, 1974, Maudlin, 2002: 128) and ‘the widowing of Xanthippe caused the subsequent cooling of Socrates’s body’. In his (2004a: 101–102), Lewis apparently still endorsed these arguments (although he there allowed that absences can be causes and effects). However, I think the worry about instantaneous causation can be discharged by pointing out that the allegedly problematic cases in fact are instances of synchronic truthmaking: and truthmaking, being an internal relation between a truthmaker and a truth, is by no means a causal relation, even if the truth-value of the truth depends, counterfactually, on the existence of the truthmaker.Footnote 34 In the example in question: before t, ‘Xanthippe is a widow’ was false; but at t, Socrates died, an event which, together with the institution of marriageFootnote 35 (and perhaps widowhood), made the present-tensed ‘Xanthippe is a widow’ true. This sequence is simply an instance of mere Cambridge change, in the sense of Geach (1969: 71–72; see my 2021 for detailed discussion of cases like these). The fact that someone can become a widow (or employed, or President, etc.) ‘instantaneously’ in this sense does not, by itself, rule out that sentences of the following kind can be true on a counterfactual analysis of the sort sketched in 5.1: ‘a’s becoming a widow at t 1 caused her to inherit money at t 2’.Footnote 36

I see two lines of response to the concern that sentences such as ‘the widowing of Xanthippe caused the subsequent cooling of Socrates’s body’ come out as true on a counterfactual analysis which does not include a ban on predominantly extrinsic events as designated relata. The first response is simply to bite the bullet and maintain that such cases are indeed instances of causation. Someone adopting this response should quickly qualify her bullet-biting, however, by pointing out that the cases in question are merely instances of MAC: thus, it is not maintained, which would be absurd, that there is a process of SC from the ‘predominantly extrinsic event’ (which has no clear location in spacetime, even if the object that ‘has’ the mere abundant property has a definite location; see my 2021 for detailed discussion) to the subsequent physical event. No doubt, it might be retorted by a critic that a liberal view like this entails that there is in general a bizarre multitude of causes of physical events: in the case of the cooling of Socrates’s body, we have not only the death of Socrates (presumably a sparse cause; but see below Sect. 5.3), but also ‘the widowing of Xanthippe’, and arguably also ‘Plato becoming such that Socrates just died’, ‘stone a becoming such that Socrates just died’, etc. However, to this a defender of this line of response can reply that we do not typically speak of such ‘predominantly extrinsic events’ as causes of subsequent physical events for pragmatic reasons. That is, the defender can invoke Lewis’s own response to the worry about there being a superabundance of causal absences: ‘There are ever so many reasons why it might be inappropriate to say something true. It might be irrelevant to the conversation, it might convey a false hint [e.g., that SC is involved], […] and so on (Grice, 1975).’ (Lewis 2004a: 101)Footnote 37

The second line of response is to maintain that ‘the widowing of Xanthippe caused the subsequent cooling of Socrates’s body’ is in fact not true because the scenario described fails to meet a plausible requirement on causation involving ‘predominantly extrinsic events’. The requirement, in a very rough form, is that the ‘occurrence’ of such an event (at any rate if the event is of an institutional kind, involving an institutional property) must be represented in the cognitive apparatus of some agent (or, in modern societies, in some IT system) where the representation affects the agent’s decision making and behaviour (computations and output), to earn the label ‘cause’ (i.e., ‘mere abundant cause’). On this more restrictive version of a counterfactual analysis of the kind described in Sect. 5.1, a claim of the following kind can very well be true: ‘a’s becoming President at t caused b to do e at t´’, where ‘e’ denotes some action involving some physical change (e.g., ‘e’ might denote an instance of celebrating, executing one of a’s instructions, etc.). The relevant claim is true if the following associated sentences are true: ‘a became President at t, b thought at t´ that a is president, and b did e at t´’, and ‘had a not been President at t, then b would not have thought at t´ that a is President,Footnote 38 and then b would not have done e at t´’. But in the relevant Xanthippe example, no representation of the ‘predominantly extrinsic event’ affects the decision making of an agent in such a way that a decision is made which is such that, had the decision not been made, Socrates body would not have cooled. Thus, on this more restrictive conception, although it might be true to say ‘had Xanthippe not become a widow at t, Socrates’s body would not have cooled at t´’, it will nevertheless be false to say ‘the widowing of Xanthippe caused the subsequent cooling of Socrates’s body’– the reason being that no mediating representation was involved.

I lean towards favouring the second line of response, or some version thereof, to Lewis’s concern. It may not be as straightforward as the first one, but I do not think it is an ad hoc response. It is, I think, intuitive (I have defended similar views elsewhere, on independent grounds – i.e., not in response to Lewis’s concern; see my 2020: 1374; 2021: 5857) and it is in line with standard theorising in social ontology (cf. Searle, 1995, 2001, 2010).Footnote 39 Moreover, on the assumption of the sparse causal closure of the micro-physical realm, the response in effect requires that there are, fundamentally, micro-physical processes of SC that ‘implement’ or ‘realise’ the representations and the decision-making processes in question – micro-physical processes which are, moreover, connected (via further micro-processes) to earlier micro-physical events which are constituents of (at least some of) the truthmakers for the predominantly extrinsic truth in question, and to later micro-physical processes which underpin the physical effect at issue. Since such sequences of processes of SC take time (as mentioned in Sect. 2, processes of SC cannot propagate faster than the speed of light; and the relevant brain processes are evidently quite time consuming), we have a neat explanation of the intuition that effects of ‘predominantly extrinsic events’ (at least events of an institutional kind) must occur at times discernibly later than the time of the predominantly extrinsic event in question (relative to a frame of reference). The first line of response, by contrast, allows that effects can occur arbitrarily close in time (in a frame of reference) to the relevant ‘predominantly extrinsic event’ – even if the object ‘having’ the relevant extrinsic property is arbitrarily far away from the physical effect in question.Footnote 40 It should be noted, though, that the second line of response nevertheless treats instances of causation involving ‘predominantly extrinsic events’ as cases of MAC: it is not claimed that the putative relata (e.g., ‘a’s becoming President’ and ‘b doing e’) themselves are connected by processes of SC; at least one of the relata involves a mere abundant property.

Again, I use the counterfactual analysis here merely as an instructive example. Alternative accounts of causation such as Mellor’s or Woodward’s could be mobilised to save institutional causation in the form of MAC.Footnote 41

5.3 Physical macro-causation

The key distinction between SC and MAC also promises to resolve the generalised exclusion problem, for it enables us to reason as follows. When the tennis ball crashes into the window, all the SC occurs at the micro-level, among the relevant micro-particles, micro-properties, and micro-events (assuming sparse causal closure at the micro-level). The associated macro-phenomena, assuming irreducibility, are merely related by MAC. That is, there are macro-causal truths such as ‘the tennis ball causes the shattering of the window during the time interval t 1-t 2’, but these truths are not made true by some additional sparse causal processes over and above the sparse causal processes that go on at the micro-level. Rather, the macro-causal truths are made true by the sparse causal processes that occur at the micro-level. In other words, the latter processes serve as the truthmakers for the macro-causal truths in question.Footnote 42 Thus, the salient macro-outcome in the example, the shattering of the window, is not over-determined by excessive and redundant processes of SC. Nor is the macro-causation, in the form of MAC, in any sense pre-empted by the sparse causal processes at the micro-level. On the contrary, the sparse causal processes at micro-level are what make macro-causal facts facts – that is, what make truths such as ‘the tennis ball causes the shattering of the window during the time interval t 1-t 2’ true.

In this connection it should be noted that even if all the SC occurs at the micro-level, we can still make full sense of scientists’ practice of establishing type-causal relationships at the macro-level using randomised experiments and statistical tests (with alpha-levels etc.) of the sort described in standard textbooks on research methodology. What such tests establish are general patterns of MAC among ‘macro variables’, variables that may very well involve mere abundant properties (e.g. Woodward 2016). They do not as such establish SC occurring at the macro-level. (To establish the latter, scientists would presumably need to discover strongly emergent processes of SC, in which case the over-determination problem would admittedly reappear: for example, on a force-conception of SC, they would need to discover some new force, irreducible to the four fundamental forces known to physics: gravitational, electromagnetic, strong nuclear and weak nuclear forces. As far as I know, this has yet to happen; for relevant discussion, see Davies 2006, Greene, 2020.) Once this is appreciated, the supposed tension between ordinary, successful scientific practice and the generalised exclusion argument evaporates. We can accept the humdrum-style macro type-causal claims of scientists and continue to maintain that all the SC occurs at the micro-level.

6 Causal pluralism

This paper advocates, in effect, a form of causal pluralism: the view that there are different kinds or concepts of causation (Godfrey-Smith, 2009). Specifically, I have argued that we should distinguish between SC and MAC, since this allows us to resolve various notorious causal puzzles. Causal pluralism is, however, a somewhat unattractive thesis, ceteris paribus. The mainstream monistic view that there is only one kind of causation is more economic. Given this, is it reasonable to abandon causal monism in favour of causal pluralism?Footnote 43

My answer is that it is. Causal pluralism is to be preferred because, if the arguments of this paper are sound, causal monism amounts to an error-theory of much causal discourse. So, other things are in fact not equal. The causal pluralism I advocate allows us to treat the causal discourse in question as true. Causal monism, by contrast, implicates a rejection of that discourse (cf. my 2019b).Footnote 44 In Sect. 2, I argued that the most suitable sparse correlates available for the relational predicate ‘causes’ are generative processes, not ontic relations (since relations are not generative of, but dependent on, their relata). Thus, generative processes deserve to be called ‘instances of sparse causation’. But, as discussed above, in day-to-day life, legal contexts and the sciences we often speak of causal ‘relationships’ which do not involve generative processes at the level in question: statements of negative and institutional causation are recognisable examples, but I have argued that statements of macro-physical causation may very well fall into this category, too. Instead of maintaining that all of these statements are false, as an SC-monist would, it is more reasonable to hold that they express a predicate-nominalistic form of causation that does not correspond to processes of SC at the level in question: i.e., MAC. The resulting view is analogous to the widely endorsed notion that certain monadic predications can be true even though they fail to correspond to a sparse property and thus indicate the possession of (in the terminology of this paper) a ‘mere abundant property’ (see Sect. 1). It also parallels the widely accepted view that statements of change can be true even though they fail to pick out an intrinsic change in the subject and thus indicate the occurrence of a ‘mere Cambridge change’ (see Sect. 2, n. 9). The term ‘mere abundant causation’, in its application to mere predicate-nominalistic causation, usefully highlights structural similarities here with mere abundant properties and mere Cambridge change. I hope those similarities help to show that the nominalistic conceptualisation is not an ad hoc invention of mine, introduced simply for the purpose of saving the causal discourse in question, but is rather an instance of a general form of thinking about how descriptive discourse about the world can fail to correspond to ontic features or phenomena and yet be true.

Many philosophers have defended causal pluralism before me.Footnote 45 But (with the arguable exception of Mellor 1995, Ch. 13; see note 8 and Sect. 5.1 above) they do not set off from the sparse/abundant distinction – a distinction which, as I have stressed, has proven useful elsewhere. Pluralists are typically also committed to specific analyses of the causal concepts on which they focus. The SC/MAC notions, by contrast, are flexible and quite noncommittal. It is perhaps worth repeating here that processes of SC can consist in a variety of physical phenomena, such as transference of some physical quantity, exertion of a force, the ‘passing around of a power’, and so on (see Sect. 2). The concept of MAC is compatible with a variety of analyses (albeit appropriately modified in some cases, as is required with Lewis’s counterfactual analysis), and is even compatible with non-reductivism or primitivism about causal talk (Sect. 5.1). This compatibility is, I think, a virtue of the framework defended in this paper – it is not a weakness. It means that the key notions of SC and MAC are not reliant on the success of particular physical-cum-metaphysical theories of generative processes and particular reductive analyses of causal talk.

7 Conclusions

I have argued that the principal problems associated with negative causation, causation involving institutional properties and physical macro-causation can all be handled by introducing a distinction between SC and MAC. This distinction is not ad hoc, as it builds on an already established distinction that has proved useful in other contexts. The resulting solutions are uniform, since they rely on one and the same distinction. They are also compatible with ordinary language and scientific experimental practice, and do not involve implausible physical and metaphysical claims. For these reasons, I think an investment in this form of causal pluralism pays off.