Existing and existing at a time

If we accept growing block or eternalism as our theory of temporal reality, we have to make a distinction between existing simpliciter (i.e., being in the domain of unrestricted quantifiers) and existing-at-a-time (including tensed existence at the present). To exist at time t is not the same as its being the case at t that one exists simpliciter.

Suppose, for instance, closed-future growing block. Then we can say the following about Bucephalus (circa 355 BC–326 BC):

1. In 330 BC: Bucephalus exists-in-330-BC.

2. In 330 BC: Bucephalus exists simpliciter.

3. In 2025: Bucephalus exists simpliciter.

4. In 2025: It’s not the case that Bucephalus exists-in-2025.

5. In 3000 BC: Bucephalus does not exist simpliciter.

6. In 3000 BC: Bucephalus exists-in-330-BC.

Existence-at-a-time is not really existence—it is just spatiotemporal locatedness. (Of course, we have a grounding problem about how on closed-future growing block facts about the future are grounded, but bracket that.)

Now, on both growing block and eternalism, if something exists-now it exists simpliciter. Could one have a theory on which this inference is denied?

Perhaps Platonism denies it. Only timeless and unchanging things really are. Changing things in time become rather than really are. Similarly, it is said that God said to St Catherine of Siena: “I am he who is and you are she who is not.”

But is there a theory of time on which the inference is denied? I once explored a version of B-theory like that. Now I want to consider a version of A-theory like that.

Consider pastism, on which to exist simpliciter is to exist pastly, and take a version of pastism on which there are moments of time (probably the best version of pastism on offer is one where there are no moments). Suppose t₁ is the first moment of Bucephalus’ life. Then on pastism, at t₁ Bucephalus doesn’t exist, but Bucephalus exists-at-t₁. Is this coherent? It does have this odd consequence. Suppose t₁ is also the last moment of time (so Bucephalus exists at exactly one moment). Then Bucephalus exists-at-t₁, but it is never the case that Bucephalus exists simpliciter. Still, it’s not clear that a logical contradiction has occurred.

Nonetheless, it does seem absurd to suppose that something exists-now but doesn’t exist, even if it’s not strictly contradictory.

Presentism and B-theory

It’s common to say that presentism entails the A-theory. But that’s not so clear. Suppose that time can pass in the absence of change. Now imagine a world of with a beginning or an end of time, objects, but no change, no temporal parts, and no events except ones that last for all time. In that world, we automatically have a kind of presentism: all the objects and events that exist always exist presently. Yet a B-theorist could accept the possibility of such a world, too: the world need not have a distinguished present moment of time. Thus, a B-theorist could say that A-theory is impossible (say, because of McTaggart’s dubious arguments) but presentism is possible—though contingently false.

We obviously don’t live in such a world. Though Parmenides may have thought he did.

Theism, pantheism, panentheism and cosmopsychism

If God didn’t create anything, pantheism (everything is God), panetheism (everything is in God or is God) and cosmopsychism (the whole of reality is conscious) would be true. And it’s possible for God not to create anything.

Some odd theories of temporal reality, with eschatological applications

The three major theories of temporal reality are presentism (reality includes only the present), growing block (reality includes the present and past) and eternalism (reality includes past, present and future).

A recent option that has been considered is thick presentism on which reality includes a short segment of time including the present. This lets one have some of the intuitive advantages of presentism (dinosaurs and Martian settlements don’t exist) while at the same time neatly solving the problem of diachronic causation. Moreover, it raises an interesting explanatory problem: why does our world have the kind of temporal reality it does.

I think that if thick presentism is metaphysically possible, likely so are a number of other views:

1. Very thick presentism

2. Time-variable thickness thick presentism

3. Growing block

4. Space-variable thickness thick presentism

5. Swiss-cheese temporal reality.

On very thick presentism, the band of reality in thick presentism becomes extremely thick, say a million years. For there seems to be no compelling reason why the band of reality posited by thick presentists would have to be thin.

On the time-variable thick presentism, we have a thick presentism where the thickness varies with time. This is likely something that the thick presentist has to countenance. For, plausibly, some moment within the thick present has to be distinguished as “very present” to avoid violating the law of non-contradictions (since objects will have contradictory properties within the thick present). Suppose that that moment happens to be at the middle of the thick present. Then when the very present gets closer and closer to the beginning or end of time, the band of reality must get thinner and thinner. Or suppose the moment happens to be at the end of the thick present (I think that may be the better theory). Then when the very present gets closer to the beginning of time, the band of reality gets thinner and thinner. We also get time-variable thick presentism by applying patchwork principles to recombine worlds with thick presentisms of different thicknesses.

Growing-block with a finite past is just a time-variable thickness thick presentism where the very present is at the end of the thick present and the thickness of the thick present at t is equal to the duration from the beginning of time to t. And if we allow it with a finite past, why not with an infinite one—assuming an infinite past is possible?

Applying patchwork principles to thick presentisms with different thicknesses, we can get a space-variable thick presentism—here, the present may be ten minutes thick, but there it may be ten years thick.

Once we allow that, why not go all the way and allow a swiss-cheese temporal reality, where at any given time various chunks of the four-dimensional manifold are included or left out in a pretty arbitrary fashion (perhaps subject to some restrictions to make causation work)?

Now, here’s a fun theological speculation. Some thinkers are worried about eternalism and growing block on theological grounds: they worry that these theories imply that horrendously evil events like the Holocaust will eternally be a part of reality, and that this is inappropriate. But once we have expanded the range of options as we have, we can have some interesting theological theories.

For instance, perhaps, growing block is true between now and the Second Coming. Then at the Second Coming the band of reality gets very thin, so that after the Second Coming, the band of reality includes only the times from the Second Coming to the then-present. We can think of this as giving a surprising reading of the “Behond, I make all things new” of Revelation 21:5—the past events and object suddenly get wiped out of reality. Or, as a variant, perhaps partial eternalism becomes true after the Second Coming: reality now includes all times from the Second Coming on.

But one may worry that that wipes out too much—for instance, it wipes out the glory of the Cross (I am grateful to a graduate student for this worry). Very well. Then we go for a swiss cheese version where we have selective removal from reality—the Holocaust goes but the Cross stays, say.

All this has a certain resemblance to Hud Hudson’s hypertime story. But it’s different in two ways. First, it doesn’t need hypertime. Second, I am assuming here a variant of a standard presentist picture on which there are tensed truths, and the tensed truths function according to standard temporal logics. Thus, if it is true that p, it will always be true that it was true that p. What changes is what events and substances fall within the domain of restricted quantifiers—quantifiers do not commute with “at t” and other temporal operators.

For instance, on the “I make all things new” theories, right now all three of these are true:

1. There exists an x such that at 327 BC: x is a horse named “Bucephalus”

2. At 327 BC: there exists an x such that x is a horse named “Bucephalus”.

3. At 2000 AD: there exists an x such that at 327 BC: x is a horse named “Bucephalus”.

After the second coming, when the past objects and events are wiped out, we still have (b) and (c) holding, but (a) does not hold.

On a hypertime variant of “I make all things new”, once the past was wiped out, we would have none of (a)–(c).

I do not endorse any of these odd possibilities, because I am a die-hard B-theorist.

Presentism and the intrinsicness of past tensed properties

Many presentists think that objects have past-tensed properties. Thus an object that is now straight but was bent has the property of having been bent. (Some such presentists use these properties to ground facts about the past.)

But assuming for simplicity that being bent is an intrinsic property, we can argue that having been bent is an intrinsic property as well. Here’s why. If being bent doesn’t describe an object in relation to the existence, non-existence or features of any other object (assuming being bent is intrinsic), neither does having been bent. Nor is having been bent “temporally impure”—it does not describe the object in terms of anything happening at other times, since nothing can happen at other times on presentism. It does not describe the object in relation its past or future temporal slices or past or future events involving the object, since on presentism there are no past or future objects, and there are no past or future events.

But if having been bent is an intrinsic property of an object, it seems that, by a plausible patchwork principle or by intuitions about the omnipotence of God, an object could come into existence just for one instant and yet have been bent at that instant. Which is absurd.