1 Introduction

The modal profile of an entity concerns the modal features such an entity has. Consider the David of Michelangelo: it is necessarily a statue, it is possible for it to lose some small parts without ceasing to exist, it cannot be spherical in shape. The previous claims express some of the modal features of the statue that compose its modal profile. A contemporary line in metaphysics, which counts Fine (2008) among its adherents, holds that the modal profile of an object stands in need of explanation – where such an explanation should not rely on modal facts. Call such a thesis “Thesis 1”.Footnote 1 If Thesis 1 were successful, then it would provide a solution to long-standing challenges in metaphysics – e.g., the grounding problem.Footnote 2 Consider David the statue, and the piece of marble, call it “Marble”, it is made of. David and Marble are spatially co-located. We may even think that they are also temporally co-located throughout their existence. However, they have different modal profiles – viz., David is necessarily a statue and cannot be spherical in shape, while Marble is not necessarily a statue and can be spherical in shape. So, David and Marble appear to be different. But David and Marble share many of their properties. Specifically, they are spatially and temporally co-located, and they have the same worldly properties – as Fine (2008, p.102) puts it – viz., the properties that capture how they are in the world in question. The grounding problem is the problem of explaining, or grounding, the apparent modal differences between coincident objects that, nevertheless, share all their worldly properties. Now, if one succeeds in accounting for Thesis 1 – viz., explaining the modal profile of an object in non-modal terms –, then one is also able to explain the modal differences between coincident objects, thereby solving the grounding problem. As it is clear from the accounts provided by, for example, Fine (2008) and Koslicki (2018), an account that provides a non-modal explanation of the modal features of ordinary objects, as well as a solution to the grounding problem, requires one to adopt a metaphysical account of objects that fixes at least partially their essence – what they are.

Rather surprisingly, and despite the great number of discussions on these issues, few philosophers, if any, have addressed these questions with respect to processes and events. However, processes and events are citizens of our reality, just as objects are; moreover, they possess modal features, just as objects do.Footnote 3 For instance, according to some accounts of what an event is, it is an entity that has an end – that is completed. Moreover, it cannot continue after its end. Further, according to some accounts of what a process is, a process that is happening at a certain time can continue to happen at later times.Footnote 4 So, if one adopts Thesis 1 for objects, it does make sense to ask whether the modal profile of processes and events is to be explained in non-modal terms as well. Our goal in this article is to start filling this gap. Consistently with this, the first aim of the article is to make it plausible that, if Thesis 1 holds for objects, then one is better off also accepting Thesis 1 for processes and events. Thus, given such a result, one must also account for the modal features of processes and events in non-modal terms.

The second aim of the article is to sketch a specific metaphysical account of processes, and – given this account – to investigate how some of their relevant modal features can be explained in non-modal terms. Specifically, since Thesis 1 has been supported by Fine (2008), the account we shall develop derives from suggestions elaborated by Fine himself (1999, 2022), and it holds that a process is a variable embodiment that is manifested by different events at the different times it goes on.Footnote 5 Call this thesis “Thesis 2”.Footnote 6 One can elucidate the notion of variable embodiment by considering a variable embodiment as an entity that is embodied, or manifested, by different things at different times. An initial reason to adopt Thesis 2 is that it readily explains the claim that it is the same process that goes on over time. Indeed, if processes are variable embodiments, then it is the same process that goes on over time, because this process is a variable embodiment that is embodied by different events at the different times it goes on.

In what follows, we shall raise a challenge, called “the challenge from the completion of a process”, that asks the Finean account of processes as variable embodiments to explain relevant modal features of processes in non-modal terms. Our aim is to investigate solutions that make Thesis 1 compatible with Thesis 2. Specifically, we shall examine and reject four initially promising strategies, including the solution Fine (2008) offers to explain the modal profile of objects, construed as combinations of variable and rigid embodiments, in non-modal terms. The results of this article are not only relevant because they constitute a challenge that the supporters of both Thesis 1 and Thesis 2 need to address. They also make it clear that Fine’s (1999, 2008) original theory of variable embodiments for objects must differ from a theory of variable embodiments that aims to model processes.

This article is structured as follows. In Sect. 2, we clarify the notions of process and event by relying on Stout’s distinction.Footnote 7 In Sect. 3, we show that Thesis 1 also holds for processes and events. In Sect. 4, we introduce Fine’s theory of embodiments and show how it models objects and processes. In Sect. 5, we raise the challenge from the completion of a process. In Sects. 68, we refute four strategies the theory of processes as variable embodiments can adopt to address this challenge. Finally, in Sect. 9, we examine the results achieved in this article.

2 Processes and events

In this article, we investigate the account according to which processes are variable embodiments whose manifestations are events – namely, Thesis 2. Such an account elaborates some of Fine’s suggestions (1999, 2022), such as the following:

Activities are to acts as processes are to events. Intuitively, an event or act is something that happens or occurs while a process or activity is something that is going on or occurring (Stout [1997]). [...] I should like to suggest that an activity be identified with a variable embodiment whose manifestations are particular acts. (Fine, 2022, p.27)

In what follows, we adopt a version of Stout’s (1997, Stout, 2016, 2018a, b) distinction between processes and events for the sole reason that this distinction is endorsed by Fine (2006, 2022).Footnote 8 As we understand it, such a distinction does not provide a metaphysical theory of processes and events. Instead, it has to be underpinned by a specific metaphysical account.Footnote 9

To begin, let us establish that processes and events are occurrences. For the aims of this article, we stipulate non-ambiguous ways of referring to processes and events, respectively. First, we fix that perfect gerundial nominals, such as “John’s crossing of the street”, pick out events, while imperfect gerundial nominals, such as “John’s crossing the street”, pick out processes. Second, there are gerundial nominals that are ambiguous between perfect nominals and imperfect nominals, such as “John’s walking to the station”. When this is the case, we stipulate that we will use gerundial nominals as nominals for processes, and the related derived nominals, such as “John’s walk to the station”, as nominals for events.Footnote 10 To be clear, we do not use the previous expressions of natural language in their ordinary meaning, but as technical expressions that allow us to unambiguously speak about processes and events. So, it is not problematic that the technical uses of such expressions may be at odds with the ordinary language uses in some cases. With these stipulations in hand, let us introduce Stout’s distinction.

According to Stout (1997, Stout, 2016, 2018a, b), a process is an on-going occurrence – namely, it is a thing that is/was/will be happening at a certain time. Examples include John’s crossing the street that is happening at t. Moreover, as Stout claims, on-going processes may be happening not only at a moment of time, but over an interval of time, such as ‘the ongoing process of my giving a lecture this morning […] that was happening for a certain period of time’.Footnote 11 Further, Stout holds that a process is an occurrence that is always going on and never comes to completion.Footnote 12 Finally, according to Stout, processes are the ontological correlates of sentences containing predications with a progressive aspect.Footnote 13 An example of a sentence with a progressive aspect is “John was playing a tennis match at t”. A sentence with a progressive aspect describes some occurrence that has started, is still going on at a certain time, but is not yet finished at that time.

Stout contrasts processes with events. According to his conception of event, an event is an occurrence that happened or will happen. Specifically, a Stoutian event is a completed occurrence with a beginning and an end. Examples include John’s walk to the station that happened yesterday. Moreover, Stout holds that events are the ontological correlates of sentences with a perfective aspect, such as “John wrote a letter in ten minutes”, that describes an occurrence that is a completed whole. Finally, for the aims of this article and differently from Stout (2018a, p.1), we do not require events to be extended in time. Specifically, for ease of presentation and following Kim (1976, p.34), we stipulate to extend the use of the term “event” to include, for example, John’s touching of the summit of K2 as well as Tom’s walk that happened from t1 to tn. Let us call instantaneous events like the former “states”. Both states and temporally extended events are ontological correlates of sentences with a perfective aspect, such as “John touched the summit of K2” and “Tom walked from t1 to tn”, respectively.Footnote 14

We think that Stout’s characterization needs revision in one key aspect. Stout (e.g., 1997, p.20) speaks of processes that may reach their end, or that may come to completion at a given time. Consider, for example, John’s walking to the station that comes to completion at time tn. What is a process that comes to completion at time tn? First, as Stout (1997, p.20) holds, processes that may come to completion at a certain time are accomplishment processes, namely processes that are individuated by sentences that contain an accomplishment verb phrase – where accomplishment verb phrases have a culmination built in (e.g., “smoke a cigarette”).Footnote 15 However, such a specification does not fully settle the previous question. Further understanding of such a kind of process can be achieved by considering the truth-conditions of sentences (1) and (2):

(1) The same process that was going on at ti was also going on at the later time tj.

(2) The same process that was going on at ti came to completion at the later time tn.

The truth-conditions of (1) and (2) must account for the meaning of the different tokens of “the same” in (1) and (2). In particular, one cannot rule out from the beginning that “the same” in (1) and (2) signifies numerical identity. So, the three most plausible interpretations of the two occurrences of “the same” in (1) and (2) are the following: (i) both occurrences signify numerical identity; (ii) “the same” in (1) signifies numerical identity, and it signifies some other kind of relation in (2); (iii) neither occurrence signifies numerical identity.

To prevent metaphysical bias from sneaking in a distinction between processes and events that intends to be pre-metaphysical, or at least compatible with different metaphysical accounts of processes and events, we suggest reformulating Stout’s characterization of process in a more general way along the following lines. First, we distinguish processes in on-going processes, such as John’s crossing the street that is happening at ti, and processes that come to completion, such as John’s crossing the street that comes to completion at tn, without excluding the possibility that a process that comes to completion is identical to some on-going process. Second, on-going processes are clarified according to Stout’s characterization. However, a process that comes to completion at tn is not on-going at tn. Moreover, it is the ontological correlate of a sentence with a perfective aspect. Further, corresponding to a process that comes to completion at a certain time, such as Tom’s walking to the station that comes to completion at tn, there are two kinds of event. First, a temporally extended event identical to the walk done by Tom from t1 to tn; second, a state at time tn, such as the state of Tom’s being at the station at tn. Whether the process of Tom’s walking to the station that comes to completion at tn is identical to one of these two events depends upon which interpretation of “the same” in (2) is adopted. Specifically, if “the same” in (2) signifies numerical identity, then Tom’s walking to the station that comes to completion at tn is identical to some on-going process, such as Tom’s walking to the station that was going on at a previous time ti. Further, since on-going processes are numerically different from events, it follows that Tom’s walking to the station that comes to completion at tn is different from any event, including the walk done by Tom from t1 to tn and the state of Tom’s being at the station at tn. In this article, we adopt such a revised and generalized version of Stout’s distinction, and we suggest that what a process that comes to completion is, how it is connected to the related on-going process, and the corresponding events are issues that must be accounted for by a metaphysical theory that aims to underpin the suggested distinction between processes and events.

2.1 On-goingness, completion, and their modal features

In this article, we only focus on accomplishment processes. Both on-going processes and processes that come to completion bear modal features. Consider processes that come to completion, such as the process of John’s walking to the station that comes to completion at tn. Such a process cannot continue to happen in the following moments, where the expression “can(not) continue to happen in the following moments” is a shorthand and technical expression for the more complex “can(not) be happening at some time beyond tn or can(not) come to completion at some time beyond tn”. This modal feature says something about what a process that comes to completion is: if a process comes to completion, it is not possible for that completed process to develop further. Such a possibility is plausibly metaphysical in character. Specifically, if a process has come to completion at a time, that process has completed its course of development, and so it is not metaphysically possible for such a completed process to continue to develop beyond that time. In Sect. 6, we shall clarify further such a modal feature. For the moment being, we provide its general formulation as follows:

(3) If a process comes to completion at a moment tn, it cannot continue to happen in the following moments.

Let us consider on-going processes, such as the process of John’s walking to the station that is happening at ti. It is possible for such an on-going process to continue to happen beyond that time. The idea is that if a process is going on at a certain time, then such a process has not exhausted its course of development, and so it is metaphysically possible for it to develop further. It is worth stressing that the possibility in question is metaphysical in character. Indeed, suppose that the actual circumstances are such that John’s walking to the station is happening while a comet is hurtling into the Earth. Suppose further that the comet will destroy the planet before John gets to the station. However, it is surely metaphysically possible for the on-going process of John’s walking to the station to continue to happen beyond that time – for instance, because there is a possible circumstance in which the comet is destroyed by a missile. So, on-going processes bear the following modal feature:

(4) If a process is going on at a moment ti, it can continue to happen in the following moments.

Let us briefly examine events.Footnote 16 Stout characterizes events as things that happened or will happen, namely as occurrences that have a beginning and an end. Since an event e has an end, it is plausible to hold that event e cannot continue to happen after its end in the same way in which a process that comes to completion at time t cannot continue to happen beyond that time. For instance, the event of John’s walk to the station that ends at t cannot continue beyond that time.

3 Processes and events, and Thesis 1

Plausibly, if Thesis 1 holds for ordinary objects, it also holds for processes and events. Fine (2008) motivates Thesis 1 for objects by the following consideration. Consider two coincident objects, such as a statue and the lump of clay it is made of. They differ modally – e.g., the statue cannot, while the lump of clay can survive by being squashed. Now, if the modal profile of an object were not in need of explanation, Fine claims (2008, p.107), then the modal differences of these coincident objects would not stand in need of explanation. However, Fine holds, ‘it cannot simply be accepted as a brute fact that the one is possibly the way it is while the other not. There must therefore be an underlying nonmodal difference between them, one in virtue of which there is the modal difference’.Footnote 17

By analogy, consider a temporally extended event, e.g., Tom’s walk to space-point p over the interval [t0, t], and the spatio-temporal co-located on-going process Tom’s walking to the shop at t. If the modal profile of these different occurrences were not in need of explanation, their modal differences – e.g., that Tom’s walk to space-point p cannot continue to happen, while Tom’s walking to the shop at t can continue to happen – would not stand in need of explanation either.Footnote 18 However, on the face of it, the intuitive force for thinking that the modal differences between coincident objects stand in need of non-modal explanation is as strong as the intuitive force for thinking that the modal differences between ongoing processes and their related events stand in need of non-modal explanation. Hence, by analogy, the modal profile of processes and events also stands in need of a non-modal explanation. Moreover, suppose that the modal features of processes and events do not stand in need of explanation or that they could be explained in terms of modal facts. Then one will owe us an explanation concerning why, contrary to processes and events, the modal profile of objects stands in need of a non-modal explanation. Pending any argument to that effect, and given the previous analogy, we conclude that, if one adopts Thesis 1 for objects, one is better off also accepting Thesis 1 for processes and events.

4 The theory of embodiments

The theory of embodiments is called to account for how an entity is capable of having the parts it does, and the ways it has the parts it does.Footnote 19 Specifically, as Fine (1999) claims, a ham sandwich possesses its parts timelessly – viz., it makes no sense to ask for how long the ham sandwich possesses the slices of bread that are its parts. However, a car has its parts temporarily – it does make sense to ask for how long the tires have been part of the car. The theory of embodiments is specified in two theories. The theory of rigid embodiments that deals with things that have their parts timelessly, and the theory of variable embodiments that accounts for the variation over time of an entity. While Fine (1999, 2008) formulates his theory of embodiments primarily to account for the nature of ordinary objects, his theory of embodiments has been employed to account for other kinds of entity, such as processes, acts and actions, musical works, groups, intentional collectives as well as abstract things such as bodies of law.Footnote 20

4.1 The theory of rigid embodiments

According to the theory of rigid embodiments, a rigid embodiment is a sui generis kind of whole composed of some entities a, b, c, … that are modified or stuck together by a property or relation R they jointly possess. The relation R enters into the rigid embodiment by preserving its predicative role, and it is this feature that allows it to modify or stuck together the entities a, b, c, … Let us designate a rigid embodiment by the term “a, b, c, …/R”. Neither a rigid embodiment is identical to the mereological sum of a, b, c, …, nor is it identical to the mereological sum of a, b, c, … and R. Indeed, such mereological sums may exist even though the entities a, b, c, … are not related by R. Instead, it is key for a rigid embodiment to exist that a, b, c, … are related by R. As a consequence, the operation of composition for rigid embodiment signified by “/” is different than, and not reducible to, the standard operation of fusion “+”. Further, it is a key feature of a rigid embodiment a, b, c, …/R that it cannot vary its constitution – viz., a, b, c, … and R – over time without ceasing to exist. Moreover, following Fine (1999), let us call the entities a, b, c, … the “matter” of the rigid embodiment, and the relation R “the principle of the rigid embodiment”. Fine formulates several principles fixing what a rigid embodiment is. In what follows, we only provide some of them relevant for our investigation – viz., those stated in (Fine, 2008, p.112) plus his principle of identity from (Fine, 1999). We keep Fine (2008)’s nomenclature of these principles.

(Existence) The rigid embodiment m/F exists iff m and F exist and m has F at some time.

(Identity) The rigid embodiment m/F and the rigid embodiment a/P are the same iff m = a and F = P.

(Temporality) The rigid embodiment m/F exists at time t iff m/F exists, m exists at t and m has F at t.

(Location) The rigid embodiment m/F is located at position p at time t iff m/F exists at t and m is located at position p at t.

(Parthood) The thing x is part of m/F iff x = m or x = F or x is a part of m or x is a part of F.

While we take the previous principles to be clear enough not to deserve clarification, it is worth stressing that, according to Fine, ‘all of these principles should hold of necessity and should hold not merely of m and F that actually exist but also of any m and F that might exist’.Footnote 21

4.2 The theory of variable embodiments

The key notion of the theory of variable embodiments is the notion of the principle of a variable embodiment. This principle is a function from times to things such that, for any time t the principle f is defined at, it picks out a thing x existing at t, and the principle f fails to pick out anything at the times it is not defined.Footnote 22 Related to a principle f, there is a new thing, the variable embodiment /f/ of f that exists at those times at which the principle f is defined. Moreover, the variable embodiment /f/ of f at a certain time t is manifested by the thing ft picked out by the principle f at t. Fine stresses that the variable embodiment /f/ is different from its principle f.Footnote 23 Fine formulates several principles governing the notion of variable embodiment. We only provide some of them relevant for our investigation.Footnote 24 We keep Fine (1999)’s nomenclature of these principles.

(V1) The variable embodiment /f/ exists at time t iff it has a manifestation at t – viz. iff the principle f is defined at that time.

(V2) If the variable embodiment /f/ exists at t, then its location is that of its manifestation ft (assuming that ft has a location).

(V3) The variable embodiments /f/ and /g/ are identical iff their principles f and g are identical.

(V4) Any manifestation of a variable embodiment at a given time is a temporary part of the variable embodiment at that time.

(V5a) If a is a timeless part of b that exists at t and if b is part of c at t, then a is a part of c at t.Footnote 25

(V7) The pro tem properties of a variable embodiment /f/ at a given time t are the same as those of its manifestation ft,

where the notion of pro tem property is defined by Fine (1999, p.71) and Koslicki (2008, p.80) as follows:

Definition 1

A property of a thing is a pro tem property if its holding at a time depends only upon how the thing is at that time.

I take the previous principles to be clear enough not to deserve clarification, except for (V7) and Definition1. As Koslicki puts it, principle (V7) and Definition1 establish that ‘a variable embodiment inherits those properties from its manifestations which depends only on “how the object is at that time” (whatever exactly that means)’.Footnote 26 For instance, suppose that an object o is modeled as the variable embodiment /f/. Then, /f/ will be red at a given time iff its manifestation is red at that time.

4.3 Objects as combinations of rigid and variable embodiments

Fine holds that ordinary objects, such as a car or a human body, are modeled by combining the two theories of embodiments: the theory of rigid embodiments that accounts for their mereological structure at a given moment, and the theory of variable embodiments that accounts for their variation over time. Specifically, an ordinary object, such as a car C, is a variable embodiment /f/ whose principle f is a function from moments of time to rigid embodiments that picks out, at any given moment t the variable embodiment exists, its corresponding manifestation at the given moment t, and it fails to pick out anything at any other time. Such a manifestation, call it “Rt”, is a rigid embodiment existing at the given moment t. Moreover, given (V4), this rigid embodiment existing at t is a temporary part of the variable embodiment /f/ at t. The rigid embodiment Rt provides the mereological structure of the car C at moment t via (V5a). For instance, in the given situation, rigid embodiment Rt that manifests car C at t will be the various parts of the car (e.g., the chassis, the engine, the gearshift) arranged in a specific car-wise manner. These parts and the specific car-wise manner of composition are timeless parts of the rigid embodiment Rt. By (V5a), they are part of car C at t.

This view explains the fact that car C changes its parts over time as follows. Car C is a variable embodiment /f/, its manifestation at t is rigid embodiment Rt that has an engine E as a timeless part. By (V5a), E is part of car C at t. Now, the manifestation of /f/ at a different moment t* is rigid embodiment Rt* that has a different engine E* as a timeless part. By (Identity), Rt≠ Rt*. Further, by (V5a), E* is part of car C at t*. So, the combination of the theories of embodiments explains how an ordinary object changes its parts by interpreting it as a variable embodiment whose principle selects different rigid embodiments at different moments of time.

4.4 Processes as variable embodiments

The thesis that processes are variable embodiments underpins the characterization of processes discussed in Sect. 2. As clarified in that Section, the reason why we adopted a version of the Stoutian distinction between processes and events is that this distinction is endorsed by Fine (2022) who, in turn, seems to suggest that processes are variable embodiments whose manifestations are events:

Activities are to acts as processes are to events. Intuitively, an event or act is something that happens or occurs while a process or activity is something that is going on or occurring (Stout [1997]). […] I should like to suggest that an activity be identified with a variable embodiment whose manifestations are particular acts. (Fine, 2022, p.27)

In what follows, we sketch an account of processes as variable embodiments that is in line with Fine’s suggestion. Specifically, a process like John’s walking to the station is a variable embodiment /f/. Its principle f is a function from moments or intervals of time to events – namely, for each moment or interval t this principle is defined at, it picks out an event exactly temporally located at t and it does not pick out anything at the times it is not defined. Without committing as to a specific metaphysics of events, we characterize them in agreement with standard conceptions.Footnote 27 First, events have their parts atemporally. This means that the first half of a football match is a part of the football match simpliciter – namely, the relation of parthood is not relativized to times. Second, an event x exactly located at period or moment t1 and event y exactly located at a different period or moment t2 are different; for instance, because x at t1 is an initial part of y at t2. As a consequence, events are not variable embodiments. Indeed, events have their parts atemporally, while, given (V4), variable embodiments have their parts at a time.Footnote 28 As a further consequence, a process at the various times it exists will have different manifestations. Indeed, these manifestations are events, and events exactly located at different times are different.Footnote 29 Now, by (V1), if principle f is defined for an interval t, then the related process /f/ exists (or occurs) at interval t. Moreover, the manifestation of /f/ at interval t is event e, which is exactly temporally located at this interval t. Since by (V4) the event e that occurs at interval t is a temporary part of process /f/ and since event e is temporally extended, it follows that process /f/ is also temporally extended. Such facts allow us to stress two crucial differences between the conception of objects as variable embodiments and the theory of processes as variable embodiments. First, while the principle for objects only takes moments as arguments, the principle for processes also takes intervals as arguments. Second, while an object as a variable embodiment only exists at moments of time, a process as a variable embodiment also exists at intervals of time.

Now, as claimed in the Introduction, an initial reason for the adoption of such an account of processes – viz., Thesis 2 – is that it readily explains the claim that the same process goes on over different times. For instance, consider a sentence like “John’s walking to the station was happening at t1 and the same process was happening at t2”. It is the same process that is happening at different times t1 and t2 because, if processes are variable embodiments, numerically the same process, identified with variable embodiment /f/, has different manifestations at different times t1 and t2, where those different manifestations at t1 and t2 are different events.

Finally, such a view provides an account of what a process that comes to completion is, and how it is connected to the related on-going process and the corresponding events, namely the issue discussed in Sect. 2. A first attempt to capture the claim that the same process p that was going on at ti came to completion at the later time tn may be through the following account. Process p is identical to variable embodiment /f/, where its principle f is defined for both moments ti and tn, where moment tn is the last moment at which principle f is defined. So, according to such a view (specifically, by principle (V3)), “the same process p” is understood in terms of numerical identity. However, such an account plausibly fails to distinguish between a process that comes to completion at moment tn and a process that is interrupted at moment tn, such as John’s walking to the station that was interrupted at tn, when John was run over. Indeed, the last moment at which principle f is defined may correspond to the moment at which process /f/ comes to completion as well as the moment at which /f/ is interrupted – depending on whether p, that /f/ aims to model, is interrupted or comes to completion.

A second attempt involves the introduction of a condition of completion in the characterization of what a process that comes to completion is, which will be something like the following principle:

(Completion) A process p of kind K, conceived as a variable embodiment /f/, comes to completion at time tn just in case: time tn is the last moment its principle f is defined at, and the event e that is the manifestation of /f/ at tn is of kind K* (e.g., being at the station).

We leave it as an open question whether the condition of completion is a principle that must be added to the corresponding principle of variable embodiment /f/, or whether this condition is already included in the principle of variable embodiment. The answer to such an issue depends on how we clarify the nature of the principle of variable embodiments, and this issue does not pertain to such an article.Footnote 30 However, the introduction of (Completion) stresses a third difference between the conception of objects as variable embodiments and the account of processes as variable embodiments: the conception of objects as variable embodiments does not include any condition of completion for them.

Now, such a characterization not only allows one to distinguish between a process that comes to completion and a process that is interrupted. It also allows one to explain the relation between an on-going process and the related process that comes to completion – namely, the claim “the same process p that was going on at ti, came to completion at the later time tn” – as the first attempt does. Specifically, process p is identical to variable embodiment /f/, where its principle f is defined for both time ti at which /f/ is going on and time tn at which /f/ comes to completion. Thus, according to such a framework (specifically, by principle (V3)), “the same process p” is understood in terms of numerical identity. Moreover, given this view, process /f/ at a moment or interval is not identical to the event e that is picked out by its principle at the given time – indeed, event e is the manifestation of /f/ at such a time. So, the account of processes as variable embodiments sketched in this Section allows one to solve the issue discussed in Sect. 2.

5 The challenge from the completion of a process

Given the previous conception of processes as variable embodiments (namely, Thesis 2), we formulate a challenge that involves the modal features of processes introduced in Sect. 2.1. Specifically, suppose that the process John’s crossing the street is happening at t. This means that John’s crossing the street can continue to happen in the following moments. However, suppose that John’s crossing the street comes to completion at moment tn. Then, such a process that comes to completion cannot continue to happen in the following moments. The challenge from the completion of a process asks the Finean framework of processes to account for the following modal difference in such a way that Thesis 1 for processes and events (namely, the thesis that the modal profile of processes and events stands in need of non-modal explanation) is satisfied:

(3) If a process comes to completion at a moment tn, it cannot continue to happen in the following moments.

(4) If a process is going on at a moment ti, it can continue to happen in the following moments.

In this article, we are interested in exploring solutions to the challenge that broadly respect Fine’s (2008) methodology. Specifically, let us first assume that the modality involved in the challenge is metaphysical in character. Second, let us concede that there is the modal difference stated in (3) and (4). This assumption signifies that we reject any kind of determinism that would make (4) false. Third, let us assume that the modal difference between on-going processes and processes that come to completion is a genuine one. So, we won’t consider deflationary responses to the challenge, such as the idea that these modal attributions are relative to how a process is described.Footnote 31 Given such constraints, we examine four initially plausible strategies for solving such a challenge, and we show that they fall short of solving it.

6 The modal strategy

According to the modal strategy, the Finean account of processes explains the relevant modal difference between a process that comes to completion and an on-going process in terms of possible worlds. In order to formulate this strategy, let us fix the following key premise:

Plenitude

The structure of possible worlds contains all the metaphysical possibilities.Footnote 32 Specifically, it contains possible worlds in which process /f/ comes to completion.

Further, in agreement with a Finean framework, a premise that we adopt is Transworld Identity, namely the idea that, at least for some entities x and y, some distinct possible worlds w1 and w2, x exists in w1, and y exists in w2, and x is numerically identical to y.Footnote 33

With the tool of possible worlds in hand, it is important to examine an objection that allows us to clarify the modal features expressed by (3) and (4). The objection holds that (3) is false. Specifically, since we are dealing with metaphysical possibilities, it is plausible to hold that the underlying modal logic is S5, namely that any possible world is accessible from any other possible world.Footnote 34 Then, if the actual world @ is a world where process p has come to completion at tn, there is some possible world w in which p continues to happen after tn – for instance, a world in which p has developed slower than it actually has. So, (3) is false and there is no asymmetry between the modal features of on-going processes and processes that come to completion.

To address this objection, let us call the world of reference fixed by the antecedent of (3) “the supposed actual world”. Now, the objection considers possibilities that are counterfactual with respect to what happened in the supposed actual world before or at time tn fixed by the antecedent of (3).Footnote 35 Such an argument allows us to clarify the intended meaning of (3). If we were also willing to consider counterfactual possibilities with respect to what happened in the supposed actual world before or at time tn, we would have said something like:

(3*) If a process comes to completion at tn, it couldn’t have continued in the following moments,

where the consequent has the subjunctive form. The previous argument makes (3*) false. However, (3) differs from (3*) in that its consequent has the indicative form. We will use (3) to consider only those possible worlds that are not-counterfactual with respect to the supposed actual world up to time tn. Specifically, given a claim like (3), we solely consider those possible worlds that are identical to the supposed actual world up to tn. Since, in all these worlds, the process in question comes to completion at tn, the consequent is true and so (3) is also true.Footnote 36 Thus, the previous objection does not apply to (3).Footnote 37 In the same way, with (4), one only considers those possible worlds that are identical to the supposed actual world up to ti. Given Plenitude, there is some possible world in which the on-going process continues to happen after ti. So, (4) is true. So, there is an asymmetry in the modal features between on-going and completed processes. Summing up: the consequent of (3) and (4) expresses not-counterfactual metaphysical possibilities with respect to the supposed actual world up to a certain time fixed by the antecedent. With that in mind, given the antecedent in (3) and (4), when we say in the consequent “there is some/no/every possible world”, we mean: “there is some/no/every not-counterfactual possible world with respect to the supposed actual world up to time t fixed by the antecedent”.

Given the previous assumptions and discussion, the content of (3) and (4) may be captured in terms of possible worlds and the Finean theory of processes as variable embodiments sketched in Sect. 4.4 as follows:

(3’) If /f/ comes to completion at tn in a possible world @, then there is no possible world w in which /f/ exists at tn, and its principle f has a value for times later than tn.

(4’) If a process is going on at a moment ti in a possible world @, then there is some possible world w in which /f/ exists at ti, and the principle f has a value for times later than ti.

Such a strategy fails. Specifically, this strategy accounts for the relevant modal features in (3) and (4) within Fine’s theory of processes in terms of possible worlds. Now, an account of the given modal properties in terms of two or more possible worlds – as it is plausibly required in order to explain the truth of, for example, (3) – is an account that explains such modal properties in terms of basic modal facts. Thus, this strategy explains the modal features of processes construed as variable embodiments – namely, the features expressed by (3) and (4) – in terms of basic modal facts. Therefore, given such a strategy, Thesis 1 is incompatible with Thesis 2. Given our willingness to make these theses consistent, we should look for other options.

7 The modal-essentialist strategy

The second strategy appeals to essences – call it “the modal-essentialist strategy”. This strategy explains (3) and (4) by (3’’) and (4’’), respectively:

(3’’) It is in the essence of a process /f/ that if it comes to completion at tn, then there is no possible world w in which /f/ exists at tn, and its principle f has a value for times later than tn.

(4’’) It is in the essence of a process /f/ that if it is going on at ti, then there is some possible world w in which /f/ exists at ti, and the principle f has a value for times later than ti.

This strategy has the form “Ex(Px → ◇Fx)”, where “Ex” is the essentialist operator “it is in the essence of x”, and “◇” is the operator of metaphysical possibility.Footnote 38 If the notion of essence is understood in modal terms, this strategy is incompatible with Thesis 1. So, suppose to adopt, e.g., Fine’s primitivist account of essences.Footnote 39 The following argument suggests that “Ex(Px → ◇Fx)” is still a sentence that describes some kind of modal behavior of x. Thus, it is dubious whether this strategy is compatible with Thesis 1. Compare (4’’) with sentence (5):

(5) It is in the essence of a process /f/ that if it is going on at t, then /f/ exists at t, and the principle f has a value for times later than t.

(5) is arguably false. It may very well be possible that /f/ is going on at t, and that it will be interrupted right after for any reason. So, it is false that the principle f has a value for times later than t. For instance, Mary’s walking to the station was happening at t, when she was run over. Besides this fact, it is clear from this example that (4’’) has a modal force that (5) does not possess. Specifically, in (4’’), the essentialist operator interacts with the modal operator and the result is a modal-essentialist claim that expresses part of the modal-essential profile of the on-going process /f/ – where the modal-essential profile of a thing contains properties expressed by claims like (4’’) in which a modal operator is embedded into an essentialist claim, while the pure modal profile of a thing contains modal properties expressed by claims in which a modal operator is not embedded into any essentialist claim.

Now, is the modal-essentialist strategy compatible with Thesis 1? One may hold that it depends on how Thesis 1 is interpreted. Thesis 1 may have a strong reading, according to which the modal-essential profile of x should be also explained in terms of facts that don’t contain any modal feature. If this is the case, the modal-essentialist strategy is incompatible with Thesis 1. However, Thesis 1 may have a relaxed reading, according to which only the pure modal profile of x should be explained in terms of facts that are non-modal. If this is the case, the modal-essentialist strategy seems compatible with Thesis 1.

However, it is possible to provide a reason for rejecting both the modal-essentialist strategy and the relaxed reading of Thesis 1. First, in the suggested strategy, the essentialist component of, e.g., (4’’) does not play any explanatory role concerning the modal component. The reason is that its role amounts to that of stating a brute modal fact as “it is a brute fact about --- that…” does:

(6) It is a brute fact about a process /f/ that if it is going on at t, then there is some possible world w in which /f/ exists at t, and the principle f has a value for times later than t.

So, the essentialist component of (4’’) does not explain the modal component, which in turn receives no explanation within the modal-essentialist strategy. Now, within such a strategy, the modal component of (4’’) provides the analysis of the modal feature of on-going processes that is to be explained and that is expressed by (4). So, such a feature is still waiting to be explained in non-modal terms within this strategy – ditto for the case of processes that come to completion. Thus, the modal-essentialist strategy does not provide an explanation of the modal difference between on-going processes and processes that come to completion in non-modal terms.Footnote 40

Such a conclusion provides a motivation to reject the modal-essentialist strategy as well as the relaxed reading of Thesis 1. Specifically, this conclusion, derived from the modal-essentialist strategy, contrasts with Fine’s motivations for Thesis 1.Footnote 41 Thus, to the extent that the relaxed reading of Thesis 1 is compatible with the modal-essentialist strategy and its conclusion, it does not capture the intended meaning that it aims to express. So, this relaxed reading of Thesis 1 must be rejected. Then, only the strong reading of Thesis 1 is admissible. But the modal-essentialist strategy is incompatible with the strong reading. Hence, the modal-essentialist strategy makes Thesis 1 incompatible with Thesis 2. Thus, both the relaxed reading of Thesis 1 and the modal-essentialist strategy must be rejected.

8 The essentialist strategy

Given the results of Sect. 7, it is natural to investigate whether the challenge may be addressed by considering essentialist claims concerning processes or events that do not contain any modal operator. Indeed, this is the strategy Fine (2008) adopts for accounting for the modal profile of ordinary objects in non-modal terms. A key premise of Fine’s strategy is that the principles that characterize rigid and variable embodiments from Sect. 4 fix, at least partially, the essence of rigid and variable embodiments. In what follows, we argue that Fine’s account for explaining the modal profile of ordinary objects in non-modal terms cannot be applied to explain the modal profile of processes that are going on or that come to completion. Moreover, we examine and refute a further option based on principle (V7).

8.1 Fine’s strategy from coincident objects

According to the Finean theory of objects as embodiments, ordinary objects, such as an alloy sphere, are variable embodiments. Fine explains the modal differences between coincident objects at a time t, such as our alloy sphere and piece of alloy, in terms of their different, yet coincident, rigid embodiments at t. The modal differences that are to be explained are the following: an alloy sphere is necessarily spherical, while the coincident piece of alloy at t is not. Fine begins by making the simplifying assumption that the alloy sphere and the piece of alloy are each a rigid embodiment. Then, he shows how his solution can be extended to the general case of objects as variable embodiments.

Fine explains the relevant modal character of the alloy sphere s and the piece of alloy p, conceived as rigid embodiments, in non-modal terms by relying on the principles of rigid embodiments together with other non-modal assumptions. Specifically, as we understand his argument (2008, p.113), one of Fine’s key premises is that the principles of rigid embodiments characterize the essence of any rigid embodiment. Then, given the thesis that essentialist truths entail corresponding necessary truths, he holds that these principles ‘should hold of necessity and should hold not merely of m and F that actually exist but also of any m and F that might exist’.Footnote 42 Moreover, another Finean premise (2008, p.113) is that being of a certain shape is a matter of location. Fine (2008, pp.113–114) argues that his account satisfies Thesis 1. Indeed, this explanation is based on principles governing rigid embodiments together with some non-modal assumptions concerning the notions of shape and location. As Fine holds (2008, p.114), such principles have modal consequences, but they are not themselves modal. Thus, this solution satisfies Thesis 1. Or, so, Fine holds.

Given this conclusion, Fine (2008, pp.115–116) accounts for the modal differences of coincident objects in the general case, where the alloy sphere and the coincident piece of alloy at t are conceived as variable embodiments /s/ and /p/, respectively. Specifically, according to Fine:

A variable embodiment will be like its manifestations—existing at just those times at which it has a manifestation and, given that it exists at a particular time, being exactly where the manifestation is at that time […]. If an alloy sphere, more realistically conceived, is taken to be a variable embodiment of rigid embodiments of the form a/S, we can then show how an alloy sphere will necessarily be spherical in shape whenever it exists. We can likewise show how a piece of alloy, more realistically conceived, will necessarily be of a piece—and thereby explain the modal difference between the alloy sphere and the piece of alloy.Footnote 43

We reconstruct Fine’s argument as follows. The first premise is that the principles (V1)–(V7) that characterize the nature of variable embodiments hold of metaphysical necessity. The second premise is that /s/ will necessarily have manifestations of the form a/S whenever it exists.Footnote 44 Now, Fine showed that the location of each a/S is spherical in any world and time it exists. By (V2), the location of /s/ is the location of its manifestation a/S in any world and time /s/ exists. Since Fine (2008, p.113) assumes that being of a certain shape is a matter of location, /s/ will necessarily be spherical in shape whenever it exists. By the same reasoning, it follows that the piece of alloy /p/ will necessarily be of a piece whenever it exists, but that it is possible for it not to be spherical. Hence, Fine explains the modal differences between coincident objects in non-modal terms, and so Thesis 1 is satisfied for objects.

The account Fine formulates for explaining the modal profile of objects cannot explain the modal profile of on-going processes and processes that come to completion. The reason is that the case of objects concerns spatial properties such as being spherical and being of a piece. Consequently, the premises that Fine adopts concern the spatial domain – namely, the premise that being of a certain shape is a matter of location and principle (V2) that fixes the spatial location of variable embodiments. Such premises – and in particular principle (V2) – cannot play any role in accounting for the challenge from the completion of a process because this challenge concerns temporal properties, namely continue to happen in the following moments, as it is clear from sentences (3) and (4):

(3) If a process comes to completion at a moment tn, it cannot continue to happen in the following moments.

(4) If a process is going on at a moment ti, it can continue to happen in the following moments.

Thus, the strategy Fine adopts to account for the modal profile of objects, conceived as variable embodiments, cannot be employed to account for the modal profile of processes, conceived as variable embodiments. Such a fact means that, if both objects and processes are variable embodiments, the theory of variable embodiments captures the respective nature of objects and processes in different ways, and so that their nature is different. Now, the fact that the Finean strategy for explaining the modal profile of objects in non-modal terms fails to explain the modal profile of processes in non-modal terms does not entail that the modal profile of processes cannot be accounted for in non-modal terms by relying on other principles that govern variable embodiments. In what follows, we argue that principle (V7) cannot be employed to account for the modal features expressed by (3) and (4) in non-modal terms.

8.2 The irrelevance of V7

We now show that the modal features of events and principle (V7) cannot be employed to account for the relevant modal difference between on-going processes and processes that come to completion. Specifically, in Sect. 2, we used the term “event” to cover both temporally extended events and instantaneous states. Temporally extended events are completed occurrences with a beginning and an end. Suppose that, in the actual world, there is a completed walk to the station that ends at time t. As claimed in Sect. 2.1, such a walk to the station cannot continue to happen beyond t. In Sect. 6, we clarified the previous claim as meaning that we solely consider those possible worlds that are identical to the supposed actual world up to moment t. Since, in all those possible worlds, the event in question ends at t, it is true that that walk to the station cannot continue to happen beyond t. Thus, given a temporally extended event, it neither continues to happen at moments later than its end, nor can it continue to happen at those later moments. Consider, now, instantaneous states. Since a state is instantaneous – viz., it happens only at a moment –, it neither continues to happen at moments later than the moment at which it occurs, nor can it continue to happen at those later moments. Thus, either way, events cannot continue to happen at moments later than the last moment they occur at.

Now, on-going processes and processes that come to completion have events as manifestations. Thus, the event e that is the manifestation of a process /p/ going on at time t cannot continue to happen at moments later than t. So, the manifestation e of the on-going process /p/ cannot ground /p/’s modal profile, according to which /p/ can continue to happen in the following moments. In turn, this means that principle (V7) cannot be employed to account for the modal profile of on-going processes.Footnote 45 Hence, the modal features of the manifestations of on-going processes and processes that come to completion cannot ground their modal differences – let alone ground them in a way that Thesis 1 is satisfied. This result contrasts with Fine’s solution for coincident objects, according to which the modal differences of coincident objects as variable embodiments are derived from the modal differences of their manifestations.

9 Concluding remarks

The question of whether the modal profile of processes and events stands in need of non-modal explanation is an issue that has been largely neglected in the current metaphysical investigations. As already stated, this article intends to start filling thig gap. As a first result, we argued that, if one adopts Thesis 1 for objects, it is plausible for they to accept Thesis 1 also for processes and events.

Then, we developed a metaphysical account of processes derived from Fine’s (1999, forth) suggestions, according to which a process is a variable embodiment that is manifested by different events at the different times it goes on – viz., Thesis 2. We raised the challenge from the completion of a process that asks the Finean account of processes to explain relevant modal features of processes in non-modal terms. Specifically, that if a process is going on at a moment ti, it can continue to happen in the following moments, and that if a process comes to completion at a moment tn, it cannot continue to happen in the following moments. As a second result, we argued that four initially plausible strategies for solving such a challenge fall short of solving it. Crucially, we showed that Fine’s (2008) strategy for explaining the modal profile of objects in non-modal terms fails to explain the relevant modal features of processes in non-modal terms. Thus, such a challenge poses a problem that the advocates of Thesis 1 and Thesis 2 need to solve.

As a third result, our investigations showed that a theory of variable embodiments that aims to model processes as well as to solve the challenge from the completion of a process needs to be revised in at least two respects with respect to the original theory of variable embodiments devised to model ordinary objects. The first revision concerns principle (V7). As discussed in Sect. 8.2, principle (V7) cannot be employed to account for the modal profile of processes in non-modal terms. So, one natural reaction is to specify or modify such a principle when the theory of variable embodiment is used to model processes. The second revision concerns the principle of variable embodiments. The principle of variable embodiment used to model processes differs from the corresponding principle used to model objects in two crucial features. The first feature is that the principle of variable embodiment for processes has moments as well as intervals of time as inputs. However, the corresponding principle used to model objects only has moments of time as inputs. The second feature is related to the fact that accomplishment processes may come to completion. As discussed in Sect. 4.4, it is plausible to introduce a condition of completion in the characterization of what a process that comes to completion is. Nothing similar holds for the characterization of objects, conceived as variable embodiments – indeed, they do not have an intended point of completion. Finally, it is worth stressing that the strategies so far considered do not license the conclusion that no other strategy can be designed that solves the challenge in such a way that Thesis 1 will be compatible with Thesis 2.Footnote 46 Instead, we suggest that, if any of these strategies were to be found, it would likely involve a detailed investigation concerning the plausibility of the principles that make up Fine’s theory of essence. But this is the proverbial story for another time.