Ross P. Cameron argues that the flow of time is a genuine feature of reality. He suggests that the best version of the A-Theory is a version of the Moving Spotlight view, according to which past and future beings are real, but there is nonetheless an objectively privileged present. Cameron argues that the Moving Spotlight theory should be viewed as having more in common with Presentism than with the B-Theory. Furthermore, it provides the best account of truthmakers for claims about (...) what was or will be the case. Cameron goes on to defend an account of the open future, and argues that this is a better account than that available to the Growing Block theory. (shrink)

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

In this paper I shall define a thesis I shall call ' determinism ', and argue that it is incompatible with the thesis that we are able to act otherwise than we do. Other theses, some of them very different from what I shall call ' determinism ', have at least an equal right to this name, and, therefore, I do not claim to show that every thesis that could be called ' determinism ' without historical impropriety is incompatible with (...) free will. I shall, however, assume without argument that what I call ' determinism ' is legitimately so called. In Part I, I shall explain what I mean by ' determinism '. In Part II, I shall make some remarks about 'can'. In Part III, I shall argue that free will and determinism are incompatible. In Part IV, I shall examine some possible objections to the argument of Part III. I shall not attempt to establish the truth or falsity of determinism, or the existence or nonexistence of free will. (shrink)

In this paper we aim to disentangle the thesis that the future is open from theses that often get associated or even conflated with it. In particular, we argue that the open future thesis is compatible with both the unrestricted principle of bivalence and determinism with respect to the laws of nature. We also argue that whether or not the future (and indeed the past) is open has no consequences as to the existence of (past and) future ontology.

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

A basic intuition we have regarding the nature of time is that the future is open whereas the past is fixed. For example, whereas we think that there are things we can do to affect how the future will unfold, we think that there are not things we can do to affect how the past unfolded. However, although this intuition is largely shared, it is not a straightforward matter to determine the nature of the asymmetry it reflects. So, in this (...) paper, I survey various philosophical ways of characterizing the asymmetry between the ‘open future’ and the ‘fixed past’ in order to account for our intuition. In particular, I wonder whether the asymmetry is to be characterized in semantic, epistemic, metaphysical or ontological terms. I conclude that, although many of these characterizations may contribute to a global understanding of the phenomenon, an ontological characterization of the asymmetry is to be preferred, since it is superior to the alternatives in explanatory power, intelligibility, and in how it coheres with interesting senses of openness. (shrink)

A basic intuition we have regarding the nature of time is that the future is open whereas the past is fixed. For example, whereas we think that there are things we can do to affect how the future will unfold (e.g. acting in an environmentally responsible manner), we think that there are not things we can do to affect how the past unfolded (“what is done is done”). However, although this intuition is largely shared, it is not a straightforward matter (...) to determine the nature of the asymmetry it reflects. So, in this paper, I survey various philosophical ways of characterizing the asymmetry between the ‘open future’ and the ‘fixed past’ in order to account for our intuition. In particular, I wonder whether the asymmetry is to be characterized in semantic, epis‐ temic, metaphysical or ontological terms. I conclude that, although many of these characterizations may contribute to a global understanding of the phenomenon, an ontological characterization of the asymmetry is to be preferred, since it is superior to the alternatives in explanatory power, intelligibility, and in how it coheres with interesting senses of openness. (shrink)

Thermodynamics is the science that describes much of the time asymmetric behavior found in the world. This entry's first task, consequently, is to show how thermodynamics treats temporally ‘directed’ behavior. It then concentrates on the following two questions. (1) What is the origin of the thermodynamic asymmetry in time? In a world possibly governed by time symmetric laws, how should we understand the time asymmetric laws of thermodynamics? (2) Does the thermodynamic time asymmetry explain the other temporal asymmetries? Does it (...) account, for instance, for the fact that we know more about the past than the future? The discussion thus divides between thermodynamics being an explanandum or explanans. In the former case the answer will be found in philosophy of physics; in the latter case it will be found in metaphysics, epistemology, and other fields, though in each case there will be blurring between the disciplines. (shrink)

The concept of randomness has been unjustly neglected in recent philosophical literature, and when philosophers have thought about it, they have usually acquiesced in views about the concept that are fundamentally flawed. After indicating the ways in which these accounts are flawed, I propose that randomness is to be understood as a special case of the epistemic concept of the unpredictability of a process. This proposal arguably captures the intuitive desiderata for the concept of randomness; at least it should suggest (...) that the commonly accepted accounts cannot be the whole story and more philosophical attention needs to be paid. 1. Randomness in science1.1Random systems1.2Random behaviour1.3Random sampling1.4Caprice, arbitrariness and noise2. Concepts of randomness2.1Von Mises/church/martin-löf randomness2.2KCS-randomness3. Randomness is unpredictability: preliminaries3.1Process and product randomness3.2Randomness is indeterminism?4. Predictability4.1Epistemic constraints on prediction4.2Computational constraints on prediction4.3Pragmatic constraints on prediction4.4Prediction defined5. Unpredictability6. Randomness is unpredictability6.1Clarification of the definition of randomness6.2Randomness and probability6.3Subjectivity and context sensitivity of randomness7. Evaluating the analysis[R]andomness … is going to be a concept which is relative to our body of knowledge, which will somehow reflect what we know and what we don't know. Henry E. Kyburg, Jr ([1974], p. 217)Phenomena that we cannot predict must be judged random. Patrick Suppes ([1984], p. 32). (shrink)

In this paper, I argue that the thesis that time travel is logically possible, is inconsistent with the necessary truth of any of the usual ‘open futureobjective present’ models of the universe. It has been relatively uncontroversial until recently to hold that presentism is inconsistent with the possibility of time travel. I argue that recent arguments to the contrary do not show that presentism is consistent with time travel. Moreover, the necessary truth of other open future-objective present models which we (...) might, prima facie, have supposed to be more amenable to the possibility of time travel, turn out also to be inconsistent with this possibility. (shrink)

It is common to dismiss the passage of time as illusory since its passage has not been captured within modern physical theories. I argue that this is a mistake. Other than the awkward fact that it does not appear in our physics, there is no indication that the passage of time is an illusion.

The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...) between temporal realizations, and one based on branching models. We first give an overview of these approaches and show that current orthodoxy advocates a combination of the mapping- and the equations-based approaches. After giving a detailed formal explication of a branching-based definition of determinism, we consider three concrete applications and end with a formal comparison of the branching- and the mapping-based approach. We conclude that the branching-based definition of determinism most usefully combines formal clarity, connection with an underlying philosophical notion of determinism, and relevance for the practical assessment of theories. 1 Introduction2 Determinism in Philosophy of Science: Three Approaches2.1 Determinism: The core idea and how to spell it out2.2 The three approaches in more detail2.3 Representing indeterminism3 Orthodoxy: DMAP, with Invocations of DEQN4 Branching-Style Determinism 4.1 Models and realizations4.2 Faithfulness4.3 Two types of branching topologies 5 Comparing the Approaches5.1 Case studies5.2 Formal comparison of the DMAP and DBRN frameworks6 Conclusions. (shrink)

In recent publications, Kit Fine devises a classification of A-theories of time and defends a non-standard A-theory he calls fragmentalism, according to which reality as a whole is incoherent but fragments into classes of mutually coherent tensed facts. We argue that Fine's classification in not exhaustive, as it ignores another non-standard A-theory we dub dynamic absolutism, according to which there are tensed facts that stay numerically the same and yet undergo qualitative changes as time goes by. We expound this theory (...) in some detail and argue that it is a serious alternative to the positions identified by Fine. (shrink)

This paper argues for the following disjunction: either we do not live in a world with a branching temporal structure, or backwards time travel is nomologically impossible, given the initial state of the universe, or backwards time travel to our space-time location is impossible given large-scale facts about space and time. A fortiori, if backwards time travel to our location is possible, we do not live in a branching universe.

This article focuses on three themes concerning determinism and indeterminism. The first theme is observational equivalence between deterministic and indeterministic models. Here I discuss several results about observational equivalence and present an argument on how to choose between deterministic and indeterministic models involving indirect evidence. The second theme is whether Newtonian physics is indeterministic. I argue that the answer depends on what one takes Newtonian mechanics to be, and I highlight how contemporary debates on this issue differ from those in (...) the nineteenth century. The third major theme is how the method of arbitrary functions can be used to make sense of deterministic probabilities. I discuss various ways of interpreting the initial probability distributions and argue that they are best understood as physical, biological etc. quantities characterising the particular situation at hand. Also, I emphasise that the method of arbitrary functions deserves more attention than it has received so far. (shrink)

Eddy Nahmias, with various collaborators, has used experimental data to argue for the claim that folk intuition is generally compatibilist. We try to undermine this claim in two ways. First, we argue that the various formulations of determinism he uses are not conceptually equivalent, jeopardizing the kinds of conclusions that can be drawn from the resulting data. Second, prompted by these conceptual worries we supplement the typical quantitative surveys that dominate the extant literature with short qualitative interviews. This, in turn, (...) guides us to make a minor modification to the quantitative survey that provides better access to the relevant folk intuitions. (shrink)

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.