Spinoza's Modal Metaphysics

First published Tue Aug 21, 2007; substantive revision Tue Oct 15, 2013

Spinoza's views on necessity and possibility, which he claimed were the “principal basis” of his Ethics (Ep75), have been less than well received by his readers, to put it mildly. From Spinoza's contemporaries to our own, readers of the Ethics have denounced Spinoza's views on modality as metaphysically confused at best, ethically nihilistic at worst.[1] However, expressing matters this way implies that there is a consensus about Spinoza's metaphysics of modality and that interpreters differ only to the extent to which they distance themselves from his outrageous position. Of course, a cursory reading of certain passages of the Ethics supports the belief that, if Spinoza is clear anywhere, it is surely in his views of necessity and contingency. After all, this is the philosopher who claims that “in nature there is nothing contingent, but all things have been determined from the necessity of the divine nature to exist and produce an effect in a certain way” (EIp29) and that “things could have been produced by God in no other way, and in no other order than they have been produced” (EIp33). Passages such as these suggest that Spinoza was a necessitarian, according to whom falsity and impossibility are co-extensive. The actual world, we might now say, is the only possible world. Events could not, in the strongest sense of that expression, have gone any differently than they in fact have gone.

And yet, such a picture of the interpretive landscape would be quite misleading. Spinoza studies have seen a renaissance of interest in his views on modality, spawning in recent years many articles and chapters devoted to his modal views. From this boon of research and interest (relative to Spinoza studies), considerable disagreement has emerged about Spinoza's modal commitments. Much of this disagreement stems from larger interpretive disagreements about Spinoza's metaphysics. Hence, in examining Spinoza's views on modality, we will also explore several of his most central metaphysical views.

After a brief introduction, this article begins with Spinoza's views on the distribution of modal properties (2). With respect to substances (2.1), Spinoza claims that every possible substance necessarily exists. Spinoza's argument for this conclusion is part of his larger argument for substance monism—the view that only one substance exists, God. Spinoza's view about the modal status of modes, his other main ontological category, is far more controversial (2.2). Explaining this controversy leads into the heart of Spinoza's metaphysics, intersecting his views on causation, inherence, God, ontological plenitude and the principle of sufficient reason. Although the question of whether Spinoza was a necessitarian is the predominant topic of discussion in the recent secondary literature on Spinoza's modal views, Spinoza also sketches interesting accounts of the nature of modality (3) and the ground of modality (4) that shed fresh light on his modal commitments. Though understudied by recent interpreters, these topics were of interest to Spinoza's peers and remain vibrant research questions in contemporary metaphysics of modality.

1. The Distribution of Modality

Spinoza's list of the basic types of existing things is exceedingly short: substances and modes (EIp4d).[2] Spinoza gives two extremely different, but equally striking accounts of how many tokens exist under each of these two basic types. There is only one existing substance, God, and there are infinitely many modes. Without yet unpacking these claims, we might ask Spinoza, “But could there have been more substances or fewer modes than there in fact are?” Or, keeping the number of tokens fixed, “Could there have been a different substance or different modes than the ones that in fact exist?” Surprisingly, Spinoza seems inclined to answer no to these questions. If so, then Spinoza thinks the actual world is the only possible world. This is the position of necessitarianism, a belief that few in the history of Western philosophy have explicitly embraced. And for good reason — on the face of it, necessaritianism is highly counterintuitive. Surely the world could have gone slightly differently than it has gone. Couldn't the Allies have lost WWII? Couldn't a leaf have landed an eighth of a centimeter farther to the right than it in fact landed? Similarly, surely the world could have contained different individuals in different numbers than it in fact contains. Couldn't Leibniz have had a sister or not been born at all?

Spinoza was aware of how deeply against the grain of common sense the truth of necessitarianism would run. If he nonetheless believed in its truth, he must have thought he had very compelling reasons for doing so. What might such reasons be? We will begin with substance necessitarianism (2.1) and then turn to the necessity of modes (2.2). Although the case for interpreting Spinoza as a mode necessitarian is strong, there are also Spinoza-friendly reasons for resisting such a reading. Seeing this tension will lead us into the middle of an interpretive controversy that has ramifications for understanding many of Spinoza's other central metaphysical views. (In section 2, we will undercover one possible way of reconciling Spinoza's drive towards necessitarianism with what might have been equally important reasons for avoiding it.)

1.1 Substances

In the case of substances, Spinoza claims that every existing substance necessarily exists (Ip7d). No existing substance could have failed to exist. He also claims that only one substance, namely God, actually exists and that only this one substance could have existed (Ip14). Putting these claims together, Spinoza believes that every possible substance necessarily exists. Since God is the only possible substance, it is impossible for any other substance besides God to exist.

Spinoza's argument for these conclusions can be divided into two major stages:

  1. Every possible substance necessarily exists.
  2. God is the only possible substance.

Let us consider Spinoza's reasoning for each of these steps in turn, as doing so will help us understand some of Spinoza's most important and basic metaphysical commitments.

In arguing for (1), Spinoza relies on two implicit and related premises. One is the principle of sufficient reason (PSR) and the other involves his account of causation. Put roughly, the PSR states that every fact has a reason for obtaining; in slogan form, there are no brute facts. Most relevantly for our purposes, if something existed for no reason at all, the fact that it exists would be inexplicable, a violation for the PSR. And for parallel reasons, if something did not exist and there was no reason for its non-existence, the fact of its non-existence would also be a violation of the PSR. As Spinoza puts it, “For each thing there must be assigned a cause or reason, both for its existence [if it exists] and for its non-existence [if it does not exist]. For example, if a triangle exists, there must be a reason or cause why it exists; but if it does not exist, there must also be a reason or cause which prevents it from existing, or which takes its existence away” (Ip11d). Thus, according to the PSR, there must be reasons why each existing substance exists and also reasons why non-existing substances do not exist.

The second implicit premise of Spinoza's argument for the claim that all possible substances necessarily exist is that causes provide (or just are) necessary and sufficient explanatory reasons. This idea appears in the previously quoted passage, in which Spinoza claims that citing a “cause or reason” suffices for explaining facts about the existence and non-existence of a triangular object. Applied to the case of substance, the sufficient reason for why a substance exists is supplied by the causes of that substance.

Why does Spinoza think that an account of an object's causes explains that object's existence? His most revealing answer traces back to the PSR as well. Because facts about the nature of causation are themselves facts, by the PSR, facts about causation require explanation. In a case in which x causes y, the PSR demands an explanation of what it is in virtue of which the causal relation between x and y obtains. Although one may try to answer this question by appealing to other causes (say, z's causing x to cause y), the PSR also demands an account of what it is in virtue of which x and y are causally related, as opposed to being merely sequentially ordered (or an account of why mere sequential ordering is sufficient for causal relatedness). That is, the PSR applies not only to facts about existence, but also to facts about relations between existents. (This point will be extremely important for correctly understanding Spinoza's modal theory in section 2 below.) The PSR asks not only for an explanation of the fact that x causes y in terms of prior first-order causes, but also for an explanation of why there is a causal relation of dependence between x and y and why it is not some other kind of relation. As it would not get us very far to answer by appealing to yet further first-order causal relations, the PSR is really asking us to give an account of causation itself. Causation, if the PSR is true, cannot be a primitive metaphysical relation. So, to echo a question that lingers today, just what is causation? (For more on the contemporary discussion, see the entry on the metaphysics of causation. For more on the PSR and causation, see Della Rocca (2010)).

Unsurprisingly, Spinoza does not treat causation as a metaphysical primitive. Instead, he provides an account of causation in terms of something else. In Id1, Spinoza defines self-causation (causa sui) as “that whose essence involves existence or [sive] that whose nature cannot be conceived except as existing.” (Spinoza's sive should not be read in a disjunctive sense, nor is it usually stating a mere equivalence. What follows the “or” is often a fuller account of what precedes it. Think of it as an “or better yet…”) Expanding his definition to cover causation in general, Spinoza's idea is that causation is a matter of “involvement” or conceptual connection. If x causes y, this fact obtains in virtue of a conceptual connection between the concept of x and the concept of y.[3] Spinoza frequently suggests that the conceiving through relation is the paradigm of explanation (e.g., Iax5, IIp5, IIp7s). If so, then we can understand why Spinoza thinks causes serve as sufficient explanatory reasons for facts about existence. If causal relations are conceptual relations, and if conceptual relations are paradigms of explanation, then to give an account of an object's existence in terms of its causes is to explain the fact that it exists in just the way the PSR demands.

Let us apply this point to the case of substances. Spinoza reasons that existing substances exist in virtue of having causes that bring about and explain their existence, and non-existing substances do not exist in virtue of causes that prevent their existence and explain their non-existence (Ip14). According to Spinoza's account of causation, this means that existing substances exist in virtue of conceptual relations to whatever explains their existence, and, similarly, conceptual relations explain the non-existence of non-existing substances. What causes or explains the existence or non-existence of a substance?

Spinoza argues that substances are conceptually, and hence causally, isolated from one another (Ip2 – Ip5). He infers from this that substances cannot be caused to exist or be prevented from existing by any other substance (Ip6). But since all existing substances must nonetheless have causes and reasons for their existence, the fact that a substance exists must be explained entirely by the substance itself. That is, all existing substances must be self-caused and hence self-explained (Ip7). For parallel reasons, the non-existence of a non-existing substance must be explained solely through facts about the non-existing substance. Spinoza infers that the concepts of non-existing substances must include the explanation for their own non-existence. What about the concept of a non-existing substance could explain that substance's non-existence? Spinoza's answer: a self-contradiction. Non-existing substances do not exist for the same reason that squared circles do not exist in Euclidean space: they are conceptually impossible (Ip11d). From the fact of non-existence plus the PSR, Spinoza concludes that non-existing substances do not exist because it is impossible for them to exist. They cannot cause themselves to exist because their very concepts contain a contradiction, and facts about causation track facts about conceptual involvement and explanation.

So, returning to our opening questions, could there have been more substances than there in fact are? Spinoza's answer is no, which means that there are no merely possible substances. A substance either exists or its existence is impossible. Could an existing substance have failed to exist? Again, Spinoza's answer is no, since the only available explanatory basis for its possible non-existence would be facts about the substance itself. But if an existing substance is completely causally isolated, what could bring about its non-existence? Only itself, Spinoza answers, which would again amount to the concept of that substance containing an internal contradiction that would prevent such a substance from existing in the first place (Ip7). Could an existing substance exist for a certain length of time and then go out of existence? Spinoza's answer is again no, since that would mean that an existing substance causes its own self-destruction, a violation of Spinoza's doctrine that “No thing can be destroyed except through an external cause” (IIIp4). In reaching all of these conclusions, Spinoza relies on the self-explaining or self-causing nature of substances and the explanatory demands of the PSR. Spinoza concludes that for any existing substance, it could not have failed to exist nor can it cease to exist. Hence, if a substance exists, it necessarily exists (Ip7d). On the other hand, if a substance does not exist, its existence is impossible. Combining these conclusions, we reach (1): every possible substance necessarily exists.

Here is a sketch of the main steps of this argument:

  1. There must be a sufficient reason why each existing substance exists and a sufficient reason why non-existing substances do not exist [PSR; see Ip11d].
  2. Causes provide necessary and sufficient reasons for the existence and non-existence of substances [nature of causation and PSR; see Ip11d].
  3. Substances are causally isolated [Ip6].
  4. If a substance exists, it is self-caused [3–5; see Ip7].
  5. If a substance is self-caused, its existence is necessary [Ip7d and Id1].
  6. If a substance exists, it necessarily exists [6–7].
  7. If a substance does not exist, the fact that it does not exist is explained by an internal contradiction in its concept [3–5; see Ip11d].
  8. If the concept of a substance is contradictory, its existence is not possible [intuition; see Ip11d].
  9. If a substance does not exist, its existence is not possible [9–10].
  1. Therefore, every possible substance necessarily exists [8 and 11].

The second major stage of Spinoza's argument is to prove that God is the only possible substance. I will not here rehearse all the details of Spinoza's argument to this conclusion (for two recent discussions, see Lin 2007 and Della Rocca 2001). Like his argument for (1), Spinoza's argument for (2) relies on the PSR. Here is one possible sketch of Spinoza's overall argument for (2):

  1. At least one substance exists.[4]
  2. The concept of God is the concept of the most real substance with the most power and greatest reason for existing [Id6, Ip9, and Ip11d].
  3. The concept of God is internally consistent [assumption].
  4. It would be inexplicable if the internally consistent concept of the most real substance with the most power and greatest reason for existing was not instantiated while the concept of a substance with less power and less reason for existing was instantiated [Ip11d].
  5. Nothing is inexplicable [PSR].
  6. Therefore, the concept of God is instantiated [12–16].
  7. Therefore, God necessarily exists [1 and 17].
  8. The existence of God and the existence of other substances are not compossible [18 and Ip5].
  1. Therefore, God is the only possible substance [18–19].

Of these steps, premise (14) is the one for which Spinoza offers the least explicit justification:

Since, then, there can be, outside the divine nature, no reason or cause which takes away the divine existence, the reason [for its non-existence] will necessarily have to be in his nature itself, if indeed he does not exist. That is, his nature would involve a contradiction. But it is absurd to affirm this of a Being absolutely infinite and supremely perfect (Ip11d, emphasis mine).

The alleged absurdity Spinoza points to is actually the putative absurdity of the non-existence of a being according to whose concept it is infinite and supremely perfect. But why should anyone believe that the concept of Spinoza's God is internally consistent? If Spinoza fails to justify this assumption, his ontological argument would fall victim to Leibniz's complaint that even if otherwise successful, ontological arguments (prior to Leibniz, he emphasizes) prove only a hypothetical truth: if God is a possible substance, then God necessarily exists. Spinoza's argument, absent a justification of (14), fails to establish the possibility of God before asserting the necessity of God's existence.

Even worse, Spinoza faces an especially thorny problem in justifying (14). For his account of the concept of God in (13) relies on commitments that even those friendly to theism, such as Descartes, would surely reject. Spinoza defines God in Id6 as “a substance consisting of an infinity of attributes, of which each one expresses an eternal and infinite essence.” Spinoza claims in Ip9, without any explicit argument, “The more reality or being each thing [unaquaeque res] has, the more attributes belong to it.” This definition of God and the supporting principle in Ip9 were controversial even in Spinoza's own day. According to Descartes, a substance cannot have more than one (principal) attribute.[5] To say that the concept of God is the concept of a substance with multiple (principal) attributes is, in fact, to appeal to an internally inconsistent concept. So, the objection runs, not only has Spinoza failed to justify (14), but (13) is outright false.

Spinoza's defense of (13) would likely be to appeal to the self-containment of each attribute (Della Rocca 2001). Like substance, each attribute is a wholly self-contained and self-sufficient way of conceiving substance (Ip10). Given such rigid containment, Spinoza would press, how could the fact that a substance has one attribute preclude that substance from having additional attributes? If there are no explanatory or conceptual relations between the attribute of thought and the attribute of extension, the fact that a substance is thinking cannot explain why that substance could not also be extended. The lack of a reason for excluding an attribute is part of Spinoza's reason for including all possible attributes as attributes of God. However, even if he can defend the rigid self-containment of attributes, he will also need a positive reason for including them all together as attributes of a single substance.

This brings us back to Ip9 and the other objectionable aspect of (14). Why should perfection or reality and strength of reason to exist correspond to possessing a greater number of attributes? Spinoza does not offer any explicit defense of this correlation. The demonstration of Ip9 simply refers readers back to the definition of an attribute (see also Ep9). Here is one possible way Spinoza might motivate the correlation between number of attributes and perfection / reality for existing. The principle in Ip9 may be that to the extent to which a single thing [unaquaeque res] can be expressed by a greater number of attributes, to that extent it is more perfect, and hence is more real (IId6) and has greater reason for existing (Ip11s). Spinoza's emphatic “unaquaeque” may point to the idea that perfection involves both unity and diversity. To the degree to which one and the same thing can sustain a greater variety of expressions of it, to that extent it is more perfect. The maximal perfection and reality of God, on this account, is partly constituted by the fact that God's self-identity is compatible with a plentitude of incommensurable expressions – infinitely many attributes – of it. This view of metaphysical perfection, one which tries to maximize both identity and diversity, is very similar to Leibniz's account of perfection as harmony, a principle that Leibniz explains as “diversity compensated by identity.”[6] On this reading, God's metaphysical perfection for Spinoza is the perfection of Leibniz's most harmonious world, the perfection of maintaining both the one and the many (Newlands 2010a).

Whether or not Spinoza fully succeeds defending the consistency of his concept of God, the striking modal conclusion he draws from it is clear: “Except God, no substance can be or be conceived” (Ip14). This statement captures Spinoza's substance monism and his substance necessitarianism: there is only one possible substance, God, and that substance necessarily exists.

1.2 Modes

Immediately after wrapping up his proof for substance monism in Ip14, Spinoza claims in the next proposition that “Whatever is, is in God, and nothing can be or be conceived without God” (Ip15). By the definition of a mode in Id5, Ip15 implies that everything that exists other than God is a mode or affection of God. To understand the import of this claim, it is important to understand what a mode is and what is it for a mode to be in a substance, for Spinoza.

A natural way to think about modes is as a certain kind of property. The circular shape of the coin on the desk is a mode of that coin. On this reading, being circular is a state of the coin, a particularized way that the coin is. Spinoza's claim that modes are “in” their substances also suggests that modes inhere in substances akin to the way that properties inhere in things, and that modes are therefore predicable of substances as subjects of predication. Circularity, we might say, inheres in the coin and the coin is circular. Of course, there is an extremely wide range of views about properties and property-bearers (see the entry on properties), so claiming that modes are akin to properties that inhere in substances will not answer all questions. But even putting aside questions about inherence, property instantiation, and predication relations, it may seem like Spinoza has made a colossal blunder in Ip15. After all, how can a table or human being be anything like a property? How can I inhere in something else? What sense would it make to say of something — a substance — that it is Sam Newlandsish in the same sense in which I say of it that it is round? If there is such a thing as a “category mistake,” this may seem like an especially clear case of one.[7]

It would be disappointing if this objection simply assumed from the outset that (a) objects like tables and human beings are substances and (b) substances neither inhere in nor are predicable of other substances. Spinoza agrees with (b), but he has already argued pace (a) that there can be only one substance. It would be unfair to grant him that conclusion in Ip14 and then insist upon reading Ip15 that other things still ought to have all the features of substances. (Of course, these intuitive concerns may well provide reasons to reconsider Spinoza's arguments for Ip14.)

Interpreters have tried to make sense of Spinoza's identification of everyday objects with modes without presupposing the denial of his substance monism. One strategy would be to deny that Spinoza intends anything like property, inherence and predication by his identification of everyday objects with modes of God. On this interpretation, Spinoza's claims about modes and “in” in Ip15 are really just claims about the causal dependence of all things on God (Curley 1969). Everyday objects inhere in God in the sense that they depend causally on God. When Spinoza claims, “Whatever is, is in God,” he really means only that everything is causally dependent on God, a fantastically unremarkable claim in the 17th century. Indeed, as others have objected (Bennett 1991, Carriero 1995, Melamed 2009), this proposal makes Spinoza's claim in Ip15 so unremarkable that it is hard to see why Spinoza went to such obfuscating lengths to phrase his ontology in terms of modes and inherence in the first place, since he had the categories of efficient causation and dependent beings at his disposal. Why did Spinoza bother to talk about inherence and immanent causation at all?

A different strategy (Carriero 1995) preserves the inherence link between modes and properties, but understands Spinoza's modes as particularized accidents or, in contemporary terms, tropes (see the entry on tropes). According to this reading, collections of particularized properties constitute everyday objects for Spinoza. However, although such bundles of tropes inhere in substance, they are not predicable of substance. Hence, although I inhere in substance, it is not the case that substance is Sam Newlandsish, whatever that may mean. Whereas the first interpretation explained inherence as nothing but efficient causation, this reading tries to keep causation and inherence intensionally (though perhaps not extensionally) distinct metaphysical dependence relations.

Another, more circuitous option begins with a functional account of modes in Spinoza's ontology. The function of modes, according to passages like Ip25c, is to provide ways of expressing or conceiving the power of substance. Perhaps Spinoza actually provides an analysis of inherence in terms of this expressive or conceptual relation, similar to the way in which he provides an analysis of causation in terms of conceptual connection. Consider, for instance, Id3, in which Spinoza defines substance as that which is “[a] in itself and [b] is conceived through itself, that is, [c] that whose concept does require the concept of another thing from which it must be formed” (the brackets are mine). Instead of leaving inherence as an unprincipled primitive relation of metaphysical dependence (pace the PSR), one could read [c] as providing an analysis of both [a] and [b]. One thing inheres in another in virtue of being conceived through it, which, like causation, is a matter of conceptual involvement. That everyday objects are modes inhering in and predicated of substance is extensionally and intensionally equivalent to everyday objects being conceived through substance. Whereas Curley's interpretation took causation to be Spinoza's underlying account of inherence, this interpretation takes conceptual involvement to be Spinoza's underlying account of both inherence and causation (for a recent defense, see Newlands 2010a; for dissents, see Melamed 2012 and Laerke 2011).

Although I will not try to settle this debate here, different interpretations of Spinoza's ontology of modes will yield alternative accounts of his views on the necessity of modes. For purposes of ease and neutrality, I will frequently refer to modes as “objects,” which I intend to be a neutral placeholder for “whatever else exists besides substance.”

1.2.1 The Modality of Modes: An Overview

Earlier, I noted that Spinoza thinks infinitely many non-substantial objects exist: “From the necessity of the divine nature there must follow infinitely many things in infinitely many ways, i.e., everything which can fall under an infinite intellect” (Ip16). Although Spinoza means more by “infinite” than simply “exhaustive,” he clearly intends “exhaustive” as well. How many objects are there? “As many as there can be together” is Spinoza's reply. That is, Spinoza endorses a principle of ontological plenitude (POP), according to which the greatest number of compossible non-substantial objects actually exists. Part of Spinoza's motivation for POP may derive from the PSR itself, since if the actual world were sub-maximal, non-existing but intrinsically possible objects would have no reason for not existing, which would be a brute fact. Perhaps it would also be an undesirable brute fact if (per impossibile) a maximal world with fewer objects than the actual world existed; what would explain God's realization of a smaller maximal collection when a larger maximal collection is possible (see Ip33s2)? In any case, Spinoza's POP implies that the number of existing objects is necessarily fixed.

Though this is already quite a strong conclusion, it does not yet rise to the level of full-blown necessitarianism with respect to modes. There are still three possible sources of contingency for the maximally full world of modes. Alternative possibility 1 (AP1): There could have been a different collection of modes, equal in size to the actually existing collection, but with entirely different members. Alternative possibility 2 (AP2): For at least one individual member of the collection of actually existing modes, there could have been a different mode existing in its stead. Alternative possibility 3 (AP3): At least one of the actual modes could have had different characteristics than it in fact has while still retaining its identity. The possibility of an entirely different equinumerous collection, different members of the collection, or some alternative features of members of the collection (or some combination of the three) are all compatible with POP.

To illustrate, let the collection of shirts hanging in my closet to stand for the collection of modes. Suppose that my closet could not contain more or fewer shirts than it currently contains— my closet is as full as it can get and I'm the sort of person who could never have fewer shirts than the most that can all fit in there together. Still, couldn't I have had an entirely different but equinumerous collection of shirts (AP1)? Or, keeping fixed all the other shirts, couldn't I have had a modest blue shirt instead of the orange plaid shirt sitting there in the middle (AP2)? Or, keeping fixed all the shirts in the closet, couldn't the orange plaid shirt have had a single pocket instead of having the two pockets that it actually has (AP3)?

If any of these alternatives are genuine possibilities for Spinoza, then he will not be committed to full-blown necessitarianism with respect to modes. Necessitarianism requires not only the necessity of the number of existents; it demands the necessity of each member and the necessity of all of its characteristics. Hence, even given POP and Ip16, it remains an open question whether Spinoza wants to deny that there are any alternative possibilities for modes. Am I really stuck with the exact shirts I've got, double-pocketed orange plaid and all?

To understand why Spinoza might be attracted to mode necessitarianism, we need to consider a few additional details of his ontology of modes. I have been lumping modes together into a single ontological category: everything that is not a substance. But Spinoza sometimes distinguishes between two types of modes, infinite modes and finite modes. Unfortunately, Spinoza gives only a very sparse account of infinite modes in the Ethics, and he makes very few explicit textual references to them outside the Ethics.[8] When Georg Schuller wrote to Spinoza to ask him for examples of these curious entities, Spinoza replied with obscure gems like “the face of the whole universe,” “motion and rest,” and “absolutely infinite intellect” (Ep64). If the best elucidation of an elaborate philosophical doctrine makes reference to “the face of the whole universe,” that is a good sign that the doctrine needs further development. Unfortunately for Spinoza's readers, infinite modes appear to do some significant work in his metaphysics, so they cannot simply be ignored if one wants to understand Spinoza's modal commitments.

1.2.2 Infinite modes

The most salient feature of infinite modes is that they are more directly related to substance than finite modes are. Spinoza claims that infinite modes follow more or less directly from “the absolute nature of any of God's attributes,” whereas finite modes do not follow from the absolute nature of any of God's attributes (see Ip21–22 and Ip28d). According to some interpreters, understanding this distinction is the key to understanding whether or not Spinoza was a full-blown necessitarian.

At first glance, Spinoza's picture seems clear enough. (I will continue to ignore the complicating role of attributes.) Some modes follow directly from the absolute nature of substance. Interpreters frequently call these immediate infinite modes (Ip21). Other modes follow directly from those immediate infinite modes. These are commonly called mediate infinite modes (Ip22). There is then a gap of some kind, and on the other side of the gap is the maximally full collection of finite modes. Unlike the infinite modes, particular finite modes do not follow, either directly or indirectly, from the absolute nature of substance.

The distinction between infinite and finite modes is relevant for Spinoza's views on modality because of what he says about the modal status of infinite modes. Spinoza reasons that if an object necessarily follows from something that necessarily exists, then that object also necessarily exists (Ip21). This sounds similar to a familiar and widely accepted modal axiom: (□p & □(p → q)) → □q. According to this reasoning, if God necessarily exists, and if the existence of a mode follows necessarily from the existence and nature of God, then that mode necessarily exists too. Of course, we need not and should not interpret Spinoza's following-from relation as the strict logical entailment of contemporary modal logic. The main point is that necessity transfers down the following-from chain, according to Spinoza. If x necessarily exists and if y necessarily follows from x, then y necessarily exists too. For ease, I will call this the modal transfer principle. (Later, we will try to gain a better understanding of exactly why Spinoza thinks the modal transfer principle works.)

Notice that both conjuncts of the modal transfer principle must be satisfied if y is to exist necessarily by virtue of the modal transfer principle. That is, for the modal transfer principle to apply to y, it must be the case that both (i) y necessarily follows from x and (ii) x necessarily exists. To mark this point terminologically, I will use the older labels of “hypothetical” and “absolute” necessity. To keep matters simple, let us say that y is hypothetically necessary if x contingently exists and y necessarily follows from x. Let us say that y is absolutely necessary if y is hypothetically necessary and x necessarily exists.[9]

On this account, an object that is absolutely necessary may derive its necessity from an external source. If God's existence is absolutely necessary and the existence of a white horse necessarily follows from God's existence, then the existence of a white horse will be absolutely necessary. Whatever differences there may be between an object that exists necessarily in virtue of its own nature and one that exists necessarily in virtue of necessarily following from the necessity of another, that distinction is wholly internal to absolute necessity. Furthermore, differences between an external and internal source of necessity, a difference to which Spinoza sometimes draws attention (Ip33s), does not entail differences in type of necessity or even strength of necessity, and Spinoza nowhere says that it does.

Spinoza's modal transfer principle appeals to the relation of following-from. To a contemporary reader, this might sound like a relation of logical entailment, but Spinoza clearly understands it to be a causal relation (e.g., Ip16c, Ip28d). This means that Spinoza's following-from relation shares the features of his causal relations, including the fact that causal relations involve necessary connections between relata (Iax3). That is, if y follows from x, then, given x, y necessarily follows from x. Furthermore, Spinoza claims that every mode follows from something else (Ip16 and Ip36); there are no causal dead-ends. It follows that every mode is either hypothetically or absolutely necessary, for Spinoza. This is not yet to affirm necessitarianism, however, for hypothetical necessity is compatible with contingency (by definition). So the question remains: does Spinoza think every mode is absolutely necessary?

In the case of existing infinite modes, Spinoza's answer is clearly yes. In Ip22, Spinoza claims that immediate infinite modes necessarily follow from the nature of something that exists with absolute necessity, namely substance. Therefore, by the modal transfer principle, the existence of every existing immediate infinite mode is absolutely necessary. Furthermore, since every mediate infinite mode necessarily follows from something that necessarily exists (an immediate infinite mode), their existence is also absolutely necessary (Ip23). More generally, because there is a chain of necessary dependence stretching from the necessarily existing substance to every existing infinite mode, the existence of every existing infinite is absolutely necessary.

Once again, even this strong modal conclusion is not equivalent to full-blown necessitarianism regarding infinite modes. Even if every existing infinite mode necessarily exists, could there have been other infinite modes as well? I am not aware of any texts in which Spinoza explicitly rules this out, but it is easy to imagine what he would say. Merely possible infinite modes do not necessarily exist, or else they would actually exist, on the plausible assumption that whatever necessarily exists, actually exists (□p → p). So, for reductio, consider a non-actual possible world, w*, that contains Sophia, one of these extra infinite modes. What is the manner of Sophia's dependence on substance? Spinoza's discussion of infinite modes suggests that Sophia must, by definition, follow from God's absolute nature (either immediately or mediately). If so, then Sophia follows from the absolute nature of God in w*, on the assumption that true definitions express necessary truths. But in that case, the modal transfer principle will apply to Sophia in w* as well, in which case Sophia's existence is absolute necessary. However, again assuming that □p → p, Sophia would not be a merely possible infinite mode after all, pace our initial assumption. QED.

Of course, that reasoning relies on possible world semantics and some loaded, though highly plausible theses about relations between possible worlds. Perhaps Spinoza could reach a similar conclusion without recourse to all that. Spinoza could instead appeal back to his plentitude principle and its basis in the PSR. If there could have been more infinite modes than there in fact are, these mere possibilia must be compossible with the collection of necessarily existing infinite modes. (Another plausible assumption: if something is not compossible with what necessarily exists, then its existence is not possible.) But if there were infinite modes that were compossible with the collection of necessarily existing infinite modes and yet did not exist, what could explain their non-existence? Unless an answer can be given, Spinoza will infer falsity from a violation of the PSR. We again reach the conclusion of necessitarianism with respect to every infinite mode. Like substance, all possible infinite modes are absolutely necessary.[10] (Remember that this conclusion is consistent with the fact that these modes nonetheless derive their necessity from substance.)

1.2.3 Finite modes: A first pass

Infinite modes are absolutely necessary because they necessarily follow from something that necessarily exists, namely God. What about finite objects like furniture and people? Are they absolutely necessary too, according to Spinoza? This much seems clear: if a finite mode follows from an infinite mode or from the absolute nature of substance itself, then by the modal transfer principle, it exists with absolute necessity. But does any finite mode follow from an infinite mode or from the absolute nature of substance? This is where the aforementioned “gap” between infinite and finite modes becomes significant. Consider what Spinoza says in the lengthy and important demonstration of Ip28:

Whatever has been determined to exist and produce an effect has been so determined by God (by Ip26 and Ip24c). But what is finite and has a determinate existence could not have been produced by the absolute nature of an attribute of God; for whatever follows from the absolute nature of an attribute of God is eternal and infinite (Ip21). It had, therefore, to follow either from God or from an attribute of God insofar as it is considered to be affected by some mode….But it also could not follow from God, or from an attribute of God, insofar as it is affected by a mode which is eternal and infinite (by Ip22). It had, therefore, to follow from or be determined to exist and produce an effect by God insofar as it is modified by a mode which is finite and has a determinate existence…and in turn, this cause or mode…had also to be determined by another which is also finite and has a determinate existence; and again…and so always (by the same reasoning) to infinity.

On a cursory reading of this passage, Spinoza seems to say that no finite mode follows from either an infinite mode or from “the absolute nature of an attribute of God,” lest that mode be “eternal and infinite,” pace the nature of finite modes. If so, then perhaps Spinoza's point in this passage is that particular finite modes, like the desk, follow from only other particular finite modes, such as the factory, which themselves follow from only other finite modes, such as some trees, and so on.[11] If so, then it appears that finite modes will only be hypothetically, and not absolutely, necessary, in which case Spinoza is not a necessitarian.

However, one might respond, suppose the causal chain of the desk is traced all the way back to its very beginning. Surely the starting point of the universe — from which all the subsequent objects and events necessarily follow — surely that initial mode follows from God's nature or from one of God's infinite modes? If so, the initial mode will be absolutely necessary, and everything that follows from it, including the desk, would be absolutely necessary too.

Spinoza cannot accept this response. In the quotation from Ip28 above, Spinoza explicitly denies that the series of finite objects has an initial starting point. Spinoza thinks that the causal history of the world extends in an infinitely long causal chain that contains no initial state. Think about that for a moment. For any prior cause of the desk, there will always be a prior cause of that cause. And a prior cause of the cause of that cause. And so on, ad infinitum.

Ad nauseam as well? Spinoza has little sympathy with the traditional monotheistic idea that God created the world ex nihilo. There is no true “in the beginning” style cosmogony, according to Spinoza. If our present universe can be traced back to the Big Bang, Spinoza thinks there had to be a state prior to the Big Bang that caused the Big Bang, and a state prior to that, and so on. Is such an infinite chain intelligible? Prima facie, there is no PSR violation. For every particular finite object, there is a sufficient reason for its existence and characteristics, given in terms of its prior finite causes. Each finite object follows from and is thus explained by the prior state of the world, whose constituents are explained by a yet prior state, and so on. If that is all Spinoza intended to say about the modal status of finite modes, then perhaps his fiery denials of contingency should be read as affirmations of universal hypothetical necessity (sometimes called “mere determinism”), and not universal absolute necessity.

1.2.4 The problem of the gap

An important lesson from the previous section is that if there is a causal gap between finite modes and infinite modes, then the modal transfer principle won't apply and Spinoza isn't a necessitarian. The great gap between finite and infinite modes suggested by the cursory reading of Ip28 leaves the modal status of tables and persons merely hypothetically necessary.

However tempting, this picture has trouble making sense of Spinoza's repeated claims that everything is caused by God (Ip25–26), a claim Spinoza repeats in the very first sentence of Ip28d itself. Spinoza frequently emphasizes that God's power or essence is the cause and explanation of everything that exists (Ip16, 17, 29s, 33, IAppendix). But how can everything follow from God's power, if finite modes follow only from other finite modes? Won't the alleged gap between finite and infinite modes mean that finite things do not, after all, follow from substance? And won't that violate one of the most basic features of modes, namely their dependence, qua modes, on substance (Id5)?

This is a notoriously difficult question facing Spinoza's metaphysics, one that was raised by Leibniz just a year after Spinoza's death (Leibniz 1969, 203). Sometimes this worry is expressed as whether Spinoza can “derive” the finite from the infinite, but it is not really a question of logical deduction. How can Spinoza believe both that God is the cause of all things and that finite things follow only from other finite things?

One possible response would appeal to the close relationship between finite modes and the power of God. Finite modes have only other finite modes for causes, but being caused by other finite modes is a way of being determined by God's power, since finite modes just are limited expressions of God's power (Ip36d). The success of this response depends on the relationship between God and God's modes for Spinoza, an interpretive point that is heavily disputed. This reply could not work, for instance, if the fundamental connection between substance and modes is merely causal.

A more elaborate and elegant solution, proposed by Curley, tries to reconcile Ip28 and the claim that all modes follow from substance without relying on the close relationship between God and finite modes. (This is understandable since Curley is the leading advocate of the “causal only” interpretation of how modes depend on substance.) Curley suggests that Spinoza's finite modes are only partially determined by other finite modes (Curley 1969). They are also partially determined by infinite modes, which Curley understands to be general features of the world described by the laws of nature. The desk follows partly from infinite modes and partly from other particular finite modes.

In more familiar contemporary terms, the view is that every state of the world is determined by the laws of nature plus the prior state of the world. The laws of nature and the antecedent state each contributes to bringing about the desk's existence, but neither on their own is sufficient. This division of labor would allow Spinoza to overcome the problem of the gap without violating Ip28. Particular finite modes do follow partly from God's nature, in virtue of following partly from infinite modes – but only partly. They also follow partly from other finite modes. Admittedly, Spinoza does not say in Ip28 that finite modes follow only partly from other finite modes, but neither does he explicitly say that finite modes follow entirely from other finite modes.

If Curley is correct, then because finite modes are only partially determined by infinite modes, the modal transfer principle will not apply to finite modes. This blocks necessitarianism, since no finite mode would follow entirely from something whose existence is absolutely necessary. (The assumption here is that because part of the cause of a finite mode is merely hypothetically necessary, the finite mode remains merely hypothetically necessary, even though another part of its cause is absolutely necessary.) Thus, Curley's interpretation concludes, particular finite modes are not absolutely necessary, despite following (partly) from God's nature. Hence full-blown necessitarianism with respect to finite modes is false and AP1, AP2, and AP3 represent alternative possibilities for Spinoza. As for the textual passages in which Spinoza seems to profess full-blown necessitarianism (i.e., Ip16, 17, 29, 33, IAppendix), Spinoza's appeals to necessity are read as equivocating on the absolute and merely hypothetical distinction. Yes, everything is necessary in some sense, but finite modes are hypothetically necessary, whereas everything else is absolutely necessary.[12] Notably, Curley secures the denial of necessitarianism without positing an unbridgeable gap between finite modes and God's nature.

However, consider AP1 again, the possibility of an entirely different collection of finite modes. According to Curley, because each member of the collection is not absolutely necessary, the collection itself is not absolutely necessary. Hence, God could have brought about an entirely different series of finite modes. If so, what explains why this series of finite modes exists, as opposed to one of the alternative series? The question is not why God chose to create this series of modes rather than another possible series, a question that animated Leibniz. Spinoza denies that God has a will in the traditional sense, and so talk about choosing one possible world over another has no place in Spinoza's system (Ip17s and IIp49c). Nonetheless, the PSR demands a reason in virtue of which God realizes this series of finite modes rather than another series.

Earlier, I suggested one possible reply: perhaps the PSR itself provides a reason for favoring maximal series over less-than-maximal series. However, as Leibniz worried mightily, if the PSR itself favors one series of things over all others, in what sense are the alternatives genuinely possible? Alternatively, if the PSR does not favor one possible series over any other – suppose more than one maximal series of Spinoza's finite modes is possible – then what explains why this series rather than the others exists?

Spinoza can explain why a given particular mode exists by appealing (in part) to other particular modes. But Spinoza could not explain why this series, as opposed to some other series, exists by appealing to other particular, existing modes. This would be akin to explaining why an entire series of causes exists by appealing to one of those very causes. We aren't asking why any particular mode exists, but why this whole series, and not some other series, exists. Appealing to yet another contingent fact gets us nowhere towards accounting for the entire set of contingent facts.[13] Nor could Spinoza appeal to substance or to the infinite modes to explain the entire series, for two reasons.

First, according to Curley's own account, substance and its infinite modes do not fully explain or cause any particular finite mode (by Ip28). How could they explain or cause the entire series without thereby causing or explaining each individual member? There seems to be nothing to the collection of finite modes above and beyond the individual members themselves. So how could substance and its infinite modes fully explain or cause the series without fully explaining or causing each member?

Second, if the entire series of finite modes was caused by something that necessarily followed from God, then the entire series would be absolutely necessary after all (pace AP1). Remember that causation, necessary connection, and following-from track each other, according to Spinoza. So if the entire series followed from something that was absolutely necessary, then by the modal transfer principle, the series itself would be absolutely necessary. If so, then there really are not any alternative possibilities for the series of finite modes. Furthermore, it is hard to see how Spinoza could block the transfer of the absolute necessity of the series from extending down to the individual members, in which case both AP2 and AP3 would be ruled out as well.

This leaves us with an interpretive dilemma. On the one hand, Curley's account respects the letter of Ip28 and Spinoza's frequent claims that all modes follow from God's nature. One consequence of his account is that Spinoza is not a full-blown necessitarian. On the other hand, Curley's Spinoza must reject very natural-sounding demands of the PSR. Spinoza would have to accept that there is no explanation why this entire series of finite modes exists rather than another possible series, a point Curley concedes (Curley and Walski, 1999).

To some, this will be too high an interpretive price to pay, especially since there is no independent, principled reason to think Spinoza would reject the demands of the PSR when applied to the series of finite modes. It would be nice if Spinoza could accept the PSR without qualification and still preserve the claim in Ip28 that particular finite modes do not follow from infinite modes or the absolute nature of God, without recreating the problematic gap. In the next section, we'll consider an attempt to do just this. A consequence of this alternative reading is that Spinoza endorses full-blown necessitarianism.

1.2.5 Finite modes: a second pass

Let us return to Spinoza's crucial claim about finite modes in Ip28. He states that particular finite modes (a) do not follow from “the absolute nature of an attribute of God,” although (b) they do follow from an attribute of God “insofar as it is considered to be affected by some mode.” (As a reminder: I will continue to drop the reference to attributes for ease of expression.) Two questions immediately arise. (1) What is the difference between following from the absolute nature of God and merely following from God in the second, more qualified manner? (2) Why should the way a particular thing is considered be relevant for this distinction?

According to one prominent interpretation (Garrett 1991), to follow from the absolute nature of God is to follow in an unqualified, pervasive and permanent manner, as infinite modes do (Ip21–23). Clearly Spinoza denies that finite modes follow in that way. However, following from God's nature in a more qualified way does not imply that finite modes do not follow from God at all – that would be to reintroduce the problem of the gap. Rather, Garrett contends, in Ip28 Spinoza denies only that any particular finite mode follows from God's absolute nature independently of its relations to other finite objects. This leaves open the possibility that although no particular finite mode follows from the absolute nature of God, the entire collection of finite modes as a whole follows from the absolute nature of God or from an infinite mode of God.

Garrett's account presents a five-fold division of Spinoza's expression “following from God's nature”:

  1. The immediate infinite modes follow directly from God's absolute nature.
  2. The mediate infinite modes follow indirectly from God's absolute nature.
  3. The infinite collection of finite modes, considered as a whole, follows indirectly from God's absolute nature.[14]
  4. Each particular finite mode, considered in relation to the other members of the series, follows from God's non-absolute nature.
  5. Each finite mode, considered independently of its relation to the other members of the series, does not follow from God's nature.

If we apply Spinoza's modal transfer principle to this division, the objects described in [i] and [ii] exist with absolute necessity. As in [ii], the necessity of God's nature in [iii] would trickle-down the following-from relation, and so even though the series as a whole follows only indirectly from God, its existence would nonetheless be absolutely necessary. The modal transfer principle ignores the more fine-grained distinction between direct and indirect following-from ([i] vs. [ii]-[iii]). Necessity is blindly and blissfully transferred down the following-from chain, so long as the source is absolutely necessary.

What about particular finite modes described in [iv]? On Garrett's proposal, their existence too will be absolutely necessary. This would commit Spinoza to full-blown necessitarianism with respect to all objects, including desks and persons. To see why, notice that the difference between [iii] and [iv] is not a function of the presence or absence of the following-from relation itself. The difference is between following from God's absolute vs. non-absolute nature, whatever that distinction amounts to. Just as was the case in [ii] and [iii], Spinoza's modal transfer principle is indifferent to the distinction between [iii] and [iv]. It is too coarse-grained to pick up on the absolute/non-absolute distinction; it indiscriminately tracks the following-from relation plus an absolutely necessary source. Since those conditions are met in [iv], absolute necessity is transferred from the whole collection to the individual members themselves. Thus, the desk exists with absolute necessity, just as does the entire collection of finite objects, the collection of infinite modes and substance itself. If this is correct, then Spinoza can consistently claim that every finite mode exists with absolute necessity and follows from God's nature in some way [per (b)], while still maintaining that no particular modes follows directly or indirectly from the absolute nature of God [per (a)].

As stated, the objects described in [v] do not follow from God's nature at all. Therefore, the modal transfer principle does not apply, and so their modal status will not be absolutely necessary. But what is the difference between the objects described in [iv] and the objects described in [v]? In one sense, nothing: they are the same finite modes! That cannot be the full story, however, lest there be no explanation why the modes in [iv] follow from the nature of God whereas those very same modes in [v] do not. The only difference between [iv] and [v] seems to be that the same modes are considered differently in each case. (Garrett himself does not say whether he thinks there really are any true ways of considering objects as described in [v]; they might be all false, on his account.)

Hence, if the desk is considered in relation to the entire series of finite modes, it follows from God's nature. Considered independently of that relation — if such can be done — it does not follow from God's nature. But this simply reasserts a more careful version of our earlier question: (2′) Why should the way a particular thing is considered in relation to other particular things be at all relevant for whether it follows from God? And, since that difference will also generate a modal difference, we should also ask (3): Why should the way a thing is considered be relevant for its modal status?

Answering these questions will force us yet deeper into Spinoza's modal metaphysics in the next section. First, however, Garrett's account faces an independent worry (Curley and Walski 1999, Huenemann 1999). Return to the relationship between [iii] and [iv]. There is supposed to be a significant difference between the manner in which the collection of finite modes follows from God as a whole and the manner in which any particular member of that collection follows from God. However, if the entire collection of finite modes follows indirectly from God's absolute nature, won't that entail that each individual member of the series also follows from God's absolute nature? To deny this would be like claiming that I covered the group of objects on my desk in coffee without making it the case that each object on my desk was covered in coffee. There's nothing more to the collection of things on my desk being covered in coffee than that each and every thing on my desk is covered in coffee. Even more pointedly, it is hard to see how the entire series of finite modes could have the property following from God's absolute nature if no member of the series has that property.

The most promising line of response denies that the series of finite modes is nothing above and beyond the collection of its members. Following others, I have been describing the entirety of finite modes as a “series” or “collection,” a label that naturally suggests that the properties of the entire collection will be posterior to and derivative from the properties of its individual members. Spinoza himself rarely refers to just the collection of finite modes with a single expression, though he sometimes includes them in his locution “the order of nature” and once uses the expression “series.” But regardless of the terminology, one could argue in a holist vein that the whole series is more than just the sum of its the members. Spinoza does sometimes suggest that wholes can be prior to their parts (Ep32, IIp13le7s), though other times he suggests that parts are always prior to wholes (Ip15). Whether the collection of finite modes is more holist or atomistic, and whether, on the holist account, one of the non-supervening properties of the whole is following from God's absolute nature, are still open interpretive questions. The soundness of this reply will likely turn on whether or not the collection of finite modes is itself an infinite mode, a point about which interpreters continue to disagree.

2. The Nature of Modality

We have now seen two competing accounts of Spinoza's views about the modal status of finite objects. On the one hand, some have argued that Spinoza's finite modes are merely hypothetically necessary and that there are alternative possibilities that God did not bring about. On this reading, Spinoza endorses a very strong form of determinism (since the infinite modes or laws of nature are themselves necessary), but he is not a necessitarian. A key support for this view is that Spinoza's account of the relation between God and finite modes prevents the modal transfer principle from applying to finite modes. This shows how Spinoza's modal conclusions are connected up with other pieces his metaphysics. Other interpreters have argued to the contrary that Spinoza's account of the relationship between God and finite modes readily accommodates necessitarianism. When this point is combined with the large number of textual passages in which Spinoza appears to affirm necessitarianism without qualification, it provides strong evidence that Spinoza intentionally endorsed full-blown necessitarianism.

Like almost all discussions of Spinoza's modal commitments, these interpretations focus on the distribution of modal properties: which things exist necessarily? Far less attention has been given to Spinoza's account of the nature of modality. In this section, I will discuss whether Spinoza has an analysis of modality, and if so, whether his analysis of modality sheds any light on the dispute over his alleged necessitarianism.

Spinoza is emphatic that modal ascriptions have reasons behind them: “A thing is called necessary either by reason of its essence or by reason of its cause” (Ip33s1). But we can raise a higher order question: for what reason(s) do modal ascriptions work in the way that Spinoza claims they do? For ease, let us focus on modal properties instead of modal ascriptions. The question is similar to the one raised earlier about causation: what explains causation itself? Spinoza's answer is conceptual in nature. Causal relations obtain in virtue of conceptual connections between causal relata. A parallel question can be raised about modality itself. Do basic modal properties obtain in virtue of non-modal properties or is modality primitive for Spinoza?

Given Spinoza's embrace of the PSR and his efforts to explain other dependence relations (such as causation and, perhaps, inherence), it would be both surprising and disappointing if modality got a free explanatory pass. Of course, we probably should not expect Spinoza to have anything like a full-blown theory of modality in the forms that contemporary metaphysicians now provide (for an example, see the entry on actualism). Only in recent decades have philosophers come to appreciate how complex and rich the metaphysics of modality is, and Spinoza would be in good company if he says things that seem, by today's standards, mostly underdeveloped. Nonetheless, he may have the beginnings of an account that helps illuminate his other modal commitments.

A promising place to start is the modal status of God's existence. In Ip11, Spinoza claims that God necessarily exists. But what is it in virtue of which God necessarily exists? This might sound like an odd question. Once explanations reach a necessarily existing object, are there further in virtue of questions to be asked about that object's existence? More generally, when we reach necessity, haven't we reached the end of explanations?[15] Not always: mathematics is full of asymmetrical dependence relations among necessarily true propositions. Similarly, Spinoza thinks that substance causes and asymmetrically explains necessarily existing infinite modes. Hence Spinoza must believe that dependence and explanation are more fine-grained affairs than our modern logical entailment allows, since according to the latter, every necessary proposition entails and is entailed by every other necessary proposition.

Spinoza explains the necessity of God's existence by appealing to God's nature. This may sound like a non-answer, but it is not. Spinoza is not claiming that there are no explanatory grounds for God's existence; he is claiming that facts about God's nature explain the modality of God's existence. Self-explanation, though unusual, is not identical to non-explanation. What about God explains God's existence? In Ip7 and Ip11, Spinoza appeals to an involvement relation between the concept of God's essence and the concept of God's existence. That is, God exists in virtue of the fact that the concept of God involves the concept of existence. Spinoza also thinks that the conceptual involvement relation between God and existence explains the fact that God necessarily exists. In Ip19d, Spinoza writes,

For God (by Id6) is substance, which (by Ip11) necessarily exists, that is (by p7), to whose nature it pertains to exist, or (what is the same) from whose definition it follows that he exists.

In Ip7, Spinoza equates “pertaining to its nature to exist” with “essence necessarily involving existence” and “causing itself.” Self-causation in turn is explained in Id1 as a “nature that cannot be conceived except as existing.” That is, what explains the necessity of God's existence is the fact that the very concept of God involves the concept of existence. He repeats these connections in Ip24d, “For that whose nature involves existence (considered in itself) is its own cause, and exists only from the necessity of its nature.” In other words, Spinoza explains necessity in terms of conceptual connections. Although Spinoza does not develop a richer account of conceptual relations that Leibniz will later achieve, his general idea seems to be that conceptual relations are the relations that explain and ground necessary connections.

Spinoza makes similar appeals to conceptual relations when he invokes geometrical examples to describe the necessity with which other things follow from God:

…all things have necessarily flowed, or always follow, by the same necessity and in the same way as from the nature of a triangle it follows…that its three angles are equal to two right angles (Ip17s).

Spinoza later identifies this same geometrical relationship with the conceptual involvement relation (IIp49). What it is for things to follow from God necessarily is for those things to be (asymmetrically) conceived through God, whose concept involves (the concept of) existence. The necessity of God and the necessity of existing things are equally explained by and grounded in conceptual relations. Spinoza makes this connection emphatic in Ip35, “Whatever we conceive to be in God's power, necessarily exists.”

Conversely, contingency will involve the lack of certain conceptual connections. In the case of contingent existence, an object exists contingently just in case its concept is neither connected to the concept of existence nor to something else whose concept is connected to (the concept of) existence. Hence if a mode is conceived in such a way that it is not conceived in relation to something involving existence, it will exist contingently and not necessarily (as per Iax7). The point isn't just that it would be conceived as contingent. How a thing is conceived partly fixes its modal status, on this interpretation. In explaining modal features in terms of an involvement relation between concepts, Spinoza thereby identifies himself with a long and distinguished tradition of philosophers who explain modal facts by appeal to conceptual relations.

This account also explains why Spinoza is attracted to his modal transfer principle in the first place. Recall that the modal transfer principle states that necessity transfers down the following-from relation. (If y follows from x, and x is absolutely necessary, then y will also be absolutely necessary.) Why does Spinoza think this principle works? Recall that the following-from relation is a causal relation. The causal relation, we have already seen, is itself a conceptual relation. But we have now seen that necessity too is partly a function of conceptual relations. Hence necessity will track the following-from relation because both are grounded in the same relations of conceptual involvement.

One upshot of this is that modality is not a wholly extensional affair for Spinoza. The ways in which objects are conceived partly determines a thing's modal status. In particular, whether a finite mode exists necessarily or not will depend in part on whether it is conceived through something whose concept involves existence. (For further discussion, see Newlands 2010b and Newlands forthcoming.)

2.1 Necessitarianism Vindicated

With this analysis in hand, let us return to Garrett's proposed account of Spinoza's necessitarianism. His interpretation relies on the claim that particular modes, conceived in relation to all the other particular modes, follow from God's nature. Conceived independently of that relation, however, the same finite mode fails to follow from God. It would also fail to exist necessarily, and we can now understand why Spinoza would accept this analysis.

Suppose the entire collection of finite modes, considered as a whole, follows from an absolutely necessary infinite mode and that the entire collection as a whole exists with absolute necessity. If any particular finite mode in the collection is to exist necessarily, it must be conceived in such a way that it too follows from something absolutely necessary. But how is any particular finite mode to be considered such that it follows from something whose existence is absolutely necessary? The answer is clear: by being conceived in relation to the whole collection. That is, when finite modes are considered in relation to all the other finite modes, there will be the right conceptual connections to invoke Spinoza's modal transfer principle. Whether a mode is considered in relation to the rest of the series or not is relevant to its modal status because, on Spinoza's account, modal facts are sensitive to the conceptual relations that the considering function picks up on.

Furthermore, not just any way of considering a finite mode will be relevant for its modal status. Considered as “the largest piece of furniture in the office,” the desk will not exist absolutely necessarily. The way of conceiving the desk needs to involve something that follows from God's nature if it is to exist necessarily. What is this something? Spinoza's answer is that a finite object exists necessarily if it is considered in relation to the whole of nature, a whole that does follow from God's absolute nature. This, then, is why object's being considered in relation to the rest of the entire collection of finite objects is relevant for determining its modal status, whereas considering it in other, less causally relevant and less inclusive ways will not be.[16]

2.2 Non-necessitarianism also vindicated

If particular finite things exist necessarily in virtue of being considered in relation to the whole series of finite things, two lingering questions remain. First, can you and I ever entertain such an all-encompassing ways of conceiving particular things? Secondly, are there other, less inclusive ways of considering a finite object in virtue of which it does not exist necessarily? That is, if modality is sensitive to ways of conceiving objects, does Spinoza think there are multiple ways of conceiving finite modes, such that objects can have different modal profiles depending on how they are conceived?

With the respect to the first question, Spinoza's answer is unfortunately negative. Spinoza sometimes describes the mental corollary of these very complete ways of conceiving objects in terms of adequacy, and he is pessimistic about our ability to have adequate ideas of particular things (see especially IIp24–31, though he holds out more hope in Part Five). Spinoza even links our natural tendencies to represent objects independent of their infinitely long causal history to their contingency (IIp31c), just as the above interpretation predicts. So while necessitarianism is true from God's complete perspective, and while we can understand the metaphysical principles which guarantee the truth of necessitarianism in virtue of the existence of such comprehensive ways of conceiving the world, the ways of conceiving finite objects we tend to adopt will rarely, if ever, be sufficiently complete so as to entail true predications of necessitarianism. This judgment can be tempered by the fact that because there is a complete way of conceiving objects, it is still true that those objects exist necessarily. We will simply never be in the position to psychologically grasp such complete and necessitating concepts. Yet, necessitarianism is also false according to incomplete ways of conceiving finite objects that we perhaps inevitably entertain.

This is an unfortunately negative answer in the light of Spinoza's ethical theory. As a systematic thinker, Spinoza thinks metaphysical conclusions about modality have consequences for ethics. Although pursuing the relations between Spinoza's metaphysics and ethics are beyond the scope of this article, Spinoza clearly thinks that ethically relevant conclusions follow from his metaphysics, including his metaphysics of modality. The clearest example occurs in Part V: “Insofar as the mind understands all things as necessary, it has a greater power over the affects, or is less acted on them” (Vp6). Because Spinoza thinks that our moral improvement results from our gaining greater power over the passive affects and becoming more active, our mind's inability to represent things as necessary mean the prospects for moral perfection are quite dim.

With respect to the second question, Spinoza suggests that there are more and less complete ways of genuinely conceiving objects (see, for instance, Ip24d and IVd3–4). Indeed, on the functional account of Spinoza's ontology mentioned in section 2 above, what it is to be a finite mode is to be an incomplete way of conceiving God. So unless Spinoza thinks there really are no finite modes, he had better grant that expressive incompleteness does not by itself entail falsity. [17]

If there are true but incomplete ways of conceiving objects, Spinoza will occupy the interesting position of consistently affirming both necessitarianism and its denial, relative to these different ways of conceiving objects. This pairing sounds like a contradiction until we appreciate the force of Spinoza's conceptualist account of modality. If the truth-value of modal predications is sensitive to ways of conceiving objects, as the modern day anti-essentialist would agree, and if Spinoza endorses a variety of modally relevant ways of conceiving objects, then he can consistently affirm both the truth and falsity of full-blown necessitarianism relative to different ways of conceiving finite objects.

If this is all correct (a very big “if”!), then Garrett and Curley's modal conclusions are both right, though neither tells the complete modal story. Something less than full-blown necessitarianism will be true in virtue of ways of conceiving objects that do not include their relations to the entire, infinitely large and complex range of other particular things. Full-blown necessitarianism, on the other hand, will also be true in virtue of ways of conceiving that are maximally inclusive with respect to relations to the rest of the world. This middle ground provides an answer to Curley's otherwise worrisome objection to the necessitarian interpretation: “If each particular feature of the universe, considered in itself, is contingent, then their totality is also contingent” (Curley 1988, 49).[18] This expansion of contingency from the part to the whole would be true only if the shift in the ways modes are conceived did not sometimes entail a shift in the mode's modal status. Though a very natural essentialist assumption today, it is a false one according to this alternative reading of Spinoza's modal theory. Just as necessitarianism at the most expansive conceptual level does not jeopardize contingency at the narrower level, so too contingency at the narrower level does not entail an explosion of it into the broadest consideration of modes.

What then, are the truth-values of predications of modality to objects (i.e., “the desk is contingent” or “the desk is necessary”)? It depends on which conceptual relations the ascription invokes. Unfortunately, Spinoza thinks, for most of us most of the time, we adopt very limited ways of conceiving objects, resulting in our regularly predicating contingency to the world around us. But, he adds with a prod, we would be more powerful and psychologically stable if we were to wean ourselves from our dependence on such partial perspectives.

Lastly, what about Garrett's suggestion, expressed in [v], that finite modes conceived independently of the entire collection of other finite modes do not follow at all from God's nature? In a sense, this is unnecessarily strict. It will be the case that finite modes, considered more narrowly, do not follow from an infinite mode. But that need not mean that they do not follow, in any sense at all, from God's nature or power. Returning to a much earlier suggestion, Spinoza thinks that one way in which finite things follow from God's nature is in virtue of being caused by other finite things that are themselves partial expressions of divine power. If so, the definition of modes as “things conceived through substance” will be retained even when modes are considered independently of their relation to all other modes taken collectively. So long as a finite mode is conceived in relation to something that is an expression of God's power, including itself, it will be conceived through God. However, on this proposal, they will not be conceived as, and hence they will not be, absolutely necessary.

3. The Ground of Modality

A final underexplored topic in Spinoza's modal metaphysics concerns what we might call the ground of modality. There was a lively dispute in the 17th century about the relationship between God and modality. Although there was a general consensus that modal facts – like so much else – depended on God in some way or other, there was considerable disagreement over exactly how to understand that dependence. Monotheistic metaphysicians disagreed over both (a) on what in God modal truths and modal truth-makers depend and (b) by what manner of dependence modal truths and modal-truth makers depend on God. The first set of issues concerns the divine ground of modality and the second concerns the grounding relation that modality bears to its ground (for some recent discussions, see Chignell 2012 and Newlands 2013).

Spinoza cannot accept two of the most prominent accounts proposed by Descartes and Leibniz, respectively. According to Descartes' account, (a) modal truths and modal truth-makers depend on God's volitions and (b) the form of dependence is efficient causation. According to Leibniz, (a) modal truths and modal truth-makers depend wholly on God's intellectual activities and (b) the form of dependence is ontological and does not involve efficient causation. However, Spinoza denies that God's nature contains a will and intellect in the sense required for these accounts (Ip17s).

Nonetheless, Spinoza does think that all things depend on God (Ip15), and he suggests an alternative account of how possibilities and possibilia depend on God. He claims that possibilia are grounded in God's actual attributes. “The ideas of singular things, or of modes, that do not exist must be comprehended God's infinite idea in the same way as the formal essences of singular things, or modes, are contained in God's attributes” (IIp8). He explains the comprehension or containment of non-divine formal essences in conceptual terms: “Essences [of non-existing things] are comprehended in another in such a way that they can be conceived through it” (Ip8s2). This suggests that the essences of all things, including non-existing things, are conceptually contained in God's attributes.

In more general terms, Spinoza's idea is that possibilities are grounded in God by being actually exemplified by God, a view that fits nicely with interpretations of Spinoza's modes as things that inhere in God (see section 1.3 above). It is possible for something to be thinking because God is actually a thinking thing (IIp1d). The grounding of possibility in actuality is a very attractive metaphysical thesis in its own right, and Spinoza's God has a sufficiently rich nature to ground all possibilities by actually exemplifying them all (Ip15 and Ip16).

Spinoza's account of the grounds of modality also presents an interesting challenge to anyone attracted to the idea that God grounds possibilities and possibilia, but who wants to deny that God directly exemplifies every possibility. Those unhappy with Spinoza's expansive divine nature would need to explain how it is that God grounds some possibilities, such as being extended, without actually being extended. One could follow Descartes in harkening back to the Scholastic notion of “eminent” containment, but Spinoza reads that appeal as the name of the problem, not its solution. Leibniz was sometimes attracted to the idea that every basic creaturely possibility is formed from God's non-mental perfections, but he has a very hard time explaining how every creaturely possibility can be constructed out of the sparse set of traditional divine perfections.

Without reducing creaturely possibilities to God's actually exemplified perfections (as idealists do with extension), Spinoza presents an alternative grounding thesis and a challenge. Let every possibility be grounded in God via actual exemplification, even if this requires expanding the divine nature beyond its traditional boundaries. For those unwilling to follow Spinoza on this expansion, Spinoza's challenge is for proponents of these nearby alternatives to provide a non-metaphorical explanation of how God grounds without directly exemplifying certain basic possibilities. Until such an account is given, Spinoza's biting conclusion invites further reflection: “But by what divine power could [extension or any property not exemplified by God] be created? They are completely ignorant of that. And this shows that they do not understand what they themselves say” (Ip15s). At the very least, Spinoza's challenge highlights how his modal metaphysics extends beyond the question of necessitarianism and invites a fuller and wider investigation than it has so far received.


[All references to Spinoza's Ethics in this article use the form of PartTypeNumberSubtype (so “EIp4d” means Part One, Proposition Four, Demonstration). Other variants of types include “d” for definition, “ax” for axiom, and “le” for lemma. Other subtypes include “s” for scholium and “c” for corollary. Other citations from Spinoza's corpus are cited by page number from Edwin Curley's Collected Works, from which almost all translations are taken. The exceptions are Spinoza's letters, which are given their standard number (e.g., Ep75) and are taken from Samuel Shirley's translation.]

  • Bennett, Jonathan, 1991. “Spinoza's Monism: A Reply to Curley,” in God and Nature: Spinoza's Metaphysics, Yirmiyahu Yovel (ed.), 53–60, Leiden: E.J. Brill.
  • –––, 1984. A Study of Spinoza's Ethics, Indianapolis: Hackett Publishing.
  • Carriero, John P., 1995. “On the Relationship between Mode and Substance in Spinoza's Metaphysics,” Journal of the History of Philosophy, 33: 245–73.
  • –––, 1991. “Spinoza's Views on Necessity in Historical Perspective,” Philosophical Topics, 19: 47–96.
  • Chignell, Andrew, 2012. “Kant, Real Possibility, and the Threat of Spinoza,” Mind, 121: 635–675
  • Curley, Edwin, 1988. Behind the Geometrical Method: A Reading of Spinoza's Ethics, Princeton: Princeton University Press.
  • –––, 1969. Spinoza's Metaphysics: An Essay in Interpretation, Cambridge, Mass: Harvard.
  • Curley, Edwin, and Gregory Walski, 1999. “Spinoza's Necessitarianism Reconsidered,” in New Essays on the Rationalists, R. Gennaro and C. Huenemann (eds.), 241–62. Oxford: Oxford University Press.
  • Della Rocca, Michael, 2010. “PSR,” Philosopher's Imprint, 10 (7) [available online].
  • –––, 2001. “Spinoza's Substance Monism,” in Spinoza: Metaphysical Themes, Olli Koistinen and John Biro (eds.), 11–37, Oxford: Oxford University Press.
  • Descartes, Rene. The Philosophical Writings of Descartes, R. Stoothoff, J. Cottingham, and D. Murdoch (trans.), 3 vols., Cambridge: Cambridge University Press, 1985.
  • Garrett, Don, 2009. “The Essence of the Body and the Part of the Mind that is Eternal,” in A Companion to Spinoza's Ethics, Olli Koistinen (ed.), Cambridge: Cambridge University Press.
  • –––, 1979. “Spinoza's ‘Ontological’ Argument,” Philosophical Review, 88: 198–223.
  • –––, 1991. “Spinoza's Necessitarianism,” in God and Nature in Spinoza's Metaphysics, Yirmiyahu Yovel (ed.), 191–218, Leiden: E.J. Brill.
  • Huenemann, Charles, 1999. “The Necessity of Finite Modes and Geometrical Containment in Spinoza's Metaphysics,” in New Essays on the Rationalists, R. Gennaro and C. Huenemann (eds.), 224–40, Oxford: Oxford University Press.
  • Koistinen, Olli, 2003. “Spinoza's Proof of Necessitarianism,” Philosophy and Phenomenological Research, 66(2): 283–310.
  • Laerke, Mogens, 2008. Leibniz lecteur de Spinoza, Paris: Champion.
  • –––, 2011. “Spinoza's Cosmological Argument in the Ethics,” Journal of the History of Philosophy, 49(4): 439–462.
  • Leibniz, G.W., 2005. Confessio Philosophi and Papers Concerning the Problem of Evil, 1671–1678, Robert Sleigh (trans.), New Haven: Yale University Press.
  • –––, 1969. Philosophical Papers and Letters, L. Loemker (ed.), 2nd ed., Dordrecht: Reidel.
  • Lin, Martin, 2007. “Spinoza's Arguments for the Existence of God,” Philosophy and Phenomenological Research, 75(2): 269–297.
  • Lovejoy, Arthur O., 1936. The Great Chain of Being, Cambridge, Mass: Harvard University Press.
  • Martin, Christopher, 2010. “A New Challenge to the Necessitarian Reading of Spinoza,” Oxford Studies in Early Modern Philosophy, 5: 25–70.
  • Mason, Richard, 1986. “Spinoza on Modality,” The Philosophical Quarterly, 36(144): 313–342.
  • Melamed, Yitzhak, 2010. “Acosmism or Weak Individuals? Hegel, Spinoza, and the Reality of the Finite,” Journal of the History of Philosophy, 48: 77–92
  • –––, 2009. “Spinoza's Metaphysics of Substance: The Substance-Mode Relation as a Relation of Inherence and Predication,” Philosophy and Phenomenological Research, 78(1): 17–82.
  • –––, 2012. “Spinoza on Inherence, Causation and Conception,” Journal of the History of Philosophy, 50(3): 365–386.
  • Miller, Jon A., 2001. “Spinoza's Possibilities,” Review of Metaphysics, 54(4): 779–815.
  • Newlands, Samuel, 2010a. “Another Kind of Spinozistic Monism,” Noûs, 44(3): 469–502.
  • –––, 2010b. “The Harmony of Spinoza and Leibniz,” Philosophy and Phenomenological Research, 81(1): 64–104.
  • –––, 2011. “Hegel's Idealist Reading of Spinoza,” Philosophy Compass, 6(2): 100–108.
  • –––, 2013. “Leibniz and the Ground of Possibility,” The Philosophical Review, 122(2): 155–187.
  • –––, forthcoming. “Spinoza's Relevance to Contemporary Metaphysics,” in Oxford Handbook to Spinoza, Michael Della Rocca (ed.), Oxford: Oxford University Press.
  • Spinoza. The Collected Works of Spinoza, Volume 1, Edwin Curley (trans. and ed.), Princeton: Princeton University Press, 1985.
  • –––. Complete Works, by Samuel Shirley (trans.), Michael L. Morgan (ed.), Indianapolis: Hackett Publishing, 2002.
  • –––. Opera, Carl Gebhardt (ed.), 4 vols., Heidelberg: Carl Winter, 1925.
  • Strickland, Lloyd, 2006. Leibniz Reinterpreted, London: Continuum.

Copyright © 2013 by
Samuel Newlands <snewlands@nd.edu>

This is a file in the archives of the Stanford Encyclopedia of Philosophy.
Please note that some links may no longer be functional.