An advantage of a typical growing block theory (GBT) or moving spotlight theory (MST) is that it can easily account for tenseless or tensed truths involving past entities. The paper indicates what is required for such an advantage is that a particular like a rock doesn’t change its status of being a rock when turning past from being present. But a typical GBT or MST, which implies that a particular’s turning past from being present doesn’t make a physical difference, faces (...) a series of problems. The paper then regards the exclusion of the implication of making no physical difference by a typical GBT or MST as the second requirement for being a tenable GBT or MST. It’s difficult to satisfy both requirements – even Miller’s (2019) MWT fails to do so. The paper shall reveal how a GBT can satisfy both requirements. (shrink)

Branching time is a popular theory of time that is intended to account for the openness of the future. Generally, branching-time models the openness of the future by positing a multiplicity of concrete alternative futures mirroring all the possible ways the future could unfold. A distinction is drawn in the literature among branching-time theories: those that make use of moment-based structures and those that employ history-based ones. In this paper, I introduce and discuss a particular kind of openness relative to (...) the possibility that time ends (doomsday). I then show that whereas moment-based branching structures cannot represent this kind of openness, history-based structures can account for it. The conclusion is that history-based structures have an advantage over moment-based ones. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems affecting (...) the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

There is a feeling of dissatisfaction with the traditional way of defining the A-theories of time. One reason is that these definitions rest on an ontological question—‘Do the future and the past exist?’—to which no non-speculative answer can be provided. Another reason is that these definitions fail to distinguish between various A-theories of time at all times and, therefore, cannot be regarded as essential to them. In the present paper, I make a fresh start in the debate, by introducing two (...) questions whose specific answers allow one to get a comprehensive categorization of the A-theories of time. This alternative way of defining the A-theories of time addresses the two above-mentioned issues and reveals the metaphysical singularity of underrated theories, such as the growing block theory. (shrink)

The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show that there is an (...) incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

The concept of branching time is widely utilized to counter fatalistic arguments to the conclusion that whatever will happen is already unavoidable. The most common semantics for branching time, such as Ockhamism, Peirceanism, and Supervaluationism, offer a formal explanation for why fatalistic arguments are flawed. This paper explores a different type of argument, one that borders on fatalism and is concerned with what might possibly happen in the future. In the paper, I show how this type of argument poses a (...) new fatalistic threat to branching time. (shrink)

A position that has been called ‘classical indeterminism’ has recently been developed in order to model vagueness: this approach appeals to an object-language ‘determinately’ operator, the semantics of which are defined in such a way as to preserve the principle of bivalence. I suggest that a prominent argument against this strategy, which I call the Field–Williamson argument, fails. The classical indeterminist position in its general form was anticipated by the Aristotelian commentators in their discussions of Aristotle’s famous ‘sea battle’ passage (...) concerning future contingency. But I maintain that, ironically enough, the strategy is less happily applied in this case, where a version of the Field–Williamson argument succeeds. (shrink)

In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...) the future behaviour of the machine that cannot be encoded in any programming instruction; such version has models over history-based structures but no model over a moment-based structure. Therefore, our work adds a new stance to the debate: moment-based structures can be said to rule out certain indeterministic scenarios that are computationally unfeasible. (shrink)