# A simpler argument about essentially ordered series

In the previous post I explained what an essentially ordered series is and gave an argument to the effect that every such series must have a first member. While I still think the argument works, discussions about the post with others have led me to realize that we can give a considerably simpler argument for the same conclusion.

Start with a case of one thing causally influencing another, say Alice picking up her mug from the table. The thing doing the causing (Alice) is the agent and the thing being influenced (the mug) is the patient. Both the agent and the patient contribute something that enables the causation to occur, namely the actuality in the agent and the potential in the patient,[1] and the causation itself consists in these contributions coming together in such a way that the potential can be actualized by the actuality.

A causal series is a series of successive causations. When this occurs, the members of the series fall into one of three categories: the first member (if there is one) is an agent without being a patient; the last member is a patient without being an agent; and each intermediate member is in some sense both an agent and a patient. For any intermediate member, its agency and its patiency will coincide either accidentally or essentially. They coincide accidentally when the actuality whereby the member is an agent is to some extent distinct from the potential whereby it is a patient. For instance, when Bob lifts Charlie so that he can grab an item off the top shelf, Charlie has the potential to be lifted and the actuality of grabbing, where the latter is distinct from the former.[2] An intermediate member’s agency and patiency coincide essentially when the actuality whereby it is an agent just is the actualization of the potential whereby it is a patient. For instance, when Alice moves a stone in a shape on the ground using a stick, the actuality in the stick whereby it moves the stone just is the actualization of its potential to be moved in that way.

This essential coincidence of agency and patiency captures a unique middle ground between the “pure” agent and patient that we started with, and for this reason we introduce a third term to describe this sort of member: instrument. Similar to an agent, an instrument has an actuality in virtue of which it actualizes the potential of something else. Unlike an agent, this actuality is something the instrument receives from another as part of the functioning of the causal series rather than something that it contributes itself. Similar to a patient, then, the only thing the instrument contributes to the series is the potential. But unlike a patient, the potential contributed by the instrument is the potential for actualizing a potential in the next member of the series.

By contrast, the accidental coincidence of agency and patiency does not require us to introduce another sort of member, since in this case the intermediate member is separately a patient of the member preceding it and an agent of the member succeeding it.

We are now in a position to introduce the distinction between two types of causal series. An accidentally ordered series is a causal series in which the agency and patiency of every intermediate member coincide accidentally, whereas an essentially ordered series is one in which they coincide essentially. In other words, none of the intermediate members in an accidentally ordered series are instruments, while in an essentially ordered series all of them are instruments.[3]

Given this distinction, we can see quite easily that every essentially ordered series must have a first member. After all, if any such series didn’t have a first member, then the only members in the series would be the instruments and the patient. But instruments and patients only contribute potentials to the series, and therefore this series would not have any actuality in it. But without any actuality, no potentials can be actualized to bring about any effect. And therefore, this series wouldn’t in fact cause anything at all.

[1] More technically, a contribution of a member M to a causal series S is some intrinsic feature of M which makes it possible for S to obtain and which it does not receive as part of S obtaining.

[2] There can still be some overlap or dependency and still be considered distinct, so long as the actualization of the potential is not identical to the actuality.

[3] We are restricting ourselves to causal series where there is at least one intermediate member so that we can give succinct versions of these definitions.

# Every essentially ordered series has a first member

A causal series or chain is an ordered collection of members, where earlier members cause or explain later members. Every member other than the first is preceded by one other member, and every member other than the last is succeeded by one other member. We can distinguish between accidentally ordered series and essentially order series. These don’t exhaust all the casual series there could be, but they do pick out important groups.

The difference between these two types of causal series can be illustrated with paradigm examples. A paradigm case of accidentally ordered series is that of parents begetting children: x begets y, y begets z, and so on. On the other hand, a paradigm case of essentially ordered series is that of someone moving a stone in a shape on the ground using a stick.

In both of these cases the later members depend on earlier members, but they do so in different ways. In the stick-and-stone case the stick moves the stone only insofar as it is moved by the person, whereas in the begetting case it is not true that y begets z only insofar as x begets y. Put another way, in the begetting case there is a measure of independence between members that is absent in the stick-and-stone case. Or to put it yet another way, in the stick-and-stone case we have an example of caused causing — the person causes the stick’s causing the stone to move — whereas this is not so in the begetting case.

Contrary to the impression we might get from these examples, the difference is not simply about whether the causes are simultaneous or not. Consider the example of Bob holding Charlie up while Charlie reaches for and picks up something off a high shelf. In this case, Charlie’s reaching is simultaneous with Bob’s lifting, but the latter does not cause the former and so this is an example of an accidentally ordered series.

In my opinion, the best description of the difference between the two types is the third difference we mentioned above: essentially ordered series involve caused causations while accidentally ordered series do not. To put it a bit more generally, we could say that in an accidentally ordered series each member causes the next without causing the members after it, whereas in an essentially ordered series each member causes the next and all subsequent members at once, by causing the later ones through the earlier ones.

Among other things, this description is best because it explains the other two descriptions we gave. The independence that obtains in accidentally ordered series has to do with the fact that members are not caused by members not directly preceding them. And what we mean by “only insofar as” is captured by the fact that intermediate members cause later members because they are caused to do so, like the movement of the stone is caused through the movement of the stick.

Given this difference between these two types of series, we can argue that every essentially ordered series must have a first member as follows:

1. The entirety of any essentially ordered series forms an act.
2. This act must arise from one of the members within the series.
3. The member from which this act arises must be the first member of the series.
4. Therefore, every essentially ordered series has a first member.

Regarding premise (1), every causal relation belongs to some act but it is possible for multiple causal relations to belong to a single act. When x causes y’s causing z, there are three causal relations (x causing y, y causing z, x causing y’s causing z), but only one act: x causes y and z at once, by causing z through y. We might think about y causing z in isolation from anything x does, but properly speaking it is part of the act arising from x. On the other hand, it is of course possible for multiple causes to work together while belonging to separate acts. Every member in every accidentally ordered series acts separately from the other, since we have said that it causes the next member of the series without causing any of the subsequent members.

With this in mind, premise (1) says that for any essentially ordered series, there is some act to which the entire series belongs. If this weren’t the case, then there would need to be two or more acts such that any part of the series is contained in at least one of them, but the entire series is not contained in any of them. To see why this cannot be the case, assume to the contrary that x and y are two members of the series, such that x is part of some act X but not part of some act Y and y is part of Y but not X. We can assume, without loss of generality, that y is subsequent to x in the series. Now, because we’re in an essentially ordered series, x causes the next member as well as all subsequent members at once, by causing the later ones through the earlier ones. Among these, therefore, x will cause y and y’s causing whatever it does. Therefore, y will be part of the act to which x belongs, namely X, which is a contradiction. Since every member must be part of some act (otherwise it would not be doing anything), it follows that all members must belong to the same act. Therefore, the entire series forms an act.

Regarding premise (2), we note that whatever a causal series does is reducible to what its members do, and therefore we have three options for whence the act of the series arises: (a) from nothing, (b) from one member, or (c) from a multitude of members. It can’t arise from nothing, since nothing comes from nothing. It also can’t arise from a multitude of members, since any multitude will contain at least one member from which it cannot arise, even in part. After all, any multitude will have at least two members with one being subsequent to the other, and therefore one caused to do what it does by the other. In this case, the act will in no way arise from this later member, not even partially. Thus, the act does not arise from that particular multitude, but some proper part of it. Since the same could be said of any multitude, it follows that the act arises from no multitude. This leaves us with option (b), that the act arises from one member within the essentially ordered series.

Regarding premise (3), if the act arises from a single member then that member is not caused to act by members prior to it. Since every member other than the first is caused to act by members prior to it, this member from which the act arises cannot have any members prior to it. Thus, it is the first member in the series.

The conclusion in (4) is sufficient for many of the uses of essentially ordered series, such as some arguments for God’s existence or Aristotle’s argument that there must be some chief good (see the last section here). But we could also use it to say something about the finitude of essentially ordered series. Since every member has one predecessor and one successor, and since there must always be a first member, it follows that the only way for the series to be infinite is if it has no last member. Conversely, then, any essentially ordered series with a last member must be finite.