In his recent article On Relativity Theory and Openness of the Future (1991), Howard Stein proves not only that one can define an objective becoming relation in Minkowski spacetime, but that there is only one possible definition available if one accepts certain natural assumptions about what it is for becoming to occur and for it to be objective. Stein uses the definition supplied by his proof to refute an argument due to Rietdijk (1966, 1976), Putnam (1967) and Maxwell (1985, 1988) (...) that Minkowski spacetime leaves no room for objective becoming whatsoever. However, Stein's proof does not seem to go far enough. By considering only what events have become from the standpoint of any given event, Stein's uniqueness proof fails from the outset to allow for a more general kind of becoming whereby it is understood to occur from the standpoint of events on the particular worldlines followed by observers. This suggests that there may, after all, be more than one way to define objective becoming in Minkowski spacetime once each observer's worldline is allowed to figure in the definition. This suspicion is further aroused by two recent proposals for objective, worldline-dependent becoming due to Peacock (1992) and Muller (1992) who advocate ways of defining becoming that are not equivalent to the definition Stein's uniqueness proof delivers. Nevertheless, we show that Stein's uniqueness proofcan be extended in a natural way to cover this more general kind of becoming, provided one does not enrich standard Minkowski spacetime by privileging certain sets of worldlines over others in an unwarranted manner. Thus we aim to reinforce Stein's point that standard Minkowski spacetime does make room for objective becoming, but in essentially only one way, despite arguments and proposals to the contrary. (shrink)

“Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might be seen (...) to grow out of Newton’s deterministic and non-relativistic theory by two independent moves: (1) Taking account of indeterminism, and (2) attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since (1) and (2) are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and (finally) branching space-times indeterminism. (shrink)

There is no EPR-like funny business if (contrary to apparent fact)our world is as indeterministic as you wish, but is free from theEPR-like quantum mechanical phenomena such as is sometimes described interms of superluminal causation or correlation between distant events.The theory of branching space-times can be used to sharpen thetheoretical dichotomy between EPR-like funny business and noEPR-like funny business. Belnap (2002) offered two analyses of thedichotomy, and proved them equivalent. This essay adds two more, bothconnected with Reichenbachs principle of the (...) common cause, theprinciple that sends us hunting for a common-causal explanation ofdistant correlations. The two previous ideas of funny business and thetwo ideas introduced in this essay are proved to be all equivalent,which increases ones confidence in the stability of (and helpfulnessof) the BST analysis of the dichotomy between EPR-like funny businessand its absence. (shrink)

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.

permits a sound and rigorously definable notion of ‘originating cause’ or causa causans—a type of transition event—of an outcome event. Mackie has famously suggested that causes form a family of ‘inus’ conditions, where an inus condition is ‘an insufficient but non-redundant part of an unnecessary but sufficient condition’. In this essay the needed concepts of BST theory are developed in detail, and it is then proved that the causae causantes of a given outcome event have exactly the structure of a (...) set of Mackie inus conditions. The proof requires the assumption that there is no EPR-like ‘funny business’. This seems enough to constitute a theory of ‘causation’ in at least one of its many senses. Introduction The cement of the universe Preliminaries 3.1 First definitions and postulates 3.2 Ontology: propositions 3.3 Ontology: initial events 3.4 Ontology: outcome events 3.5 Ontology: transition events 3.6 Propositional language applied to events Causae causantes 4.1 Causae causantes are basic primary transition events 4.2 Causae causantes of an outcome chain 4.3 No funny business Causae causantes and inns and inus conditions 5.1 Inns conditions of outcome chains: not quite 5.2 Inns conditions of outcome chains 5.3 Inns conditions of scattered outcome events 5.4 Inus conditions for disjunctive outcome events 5.5 Inns and inus conditions of transition events Counterfactual conditionals Appendix: Tense and modal connectives in BST. (shrink)

One of the major difficulties facing presentism is the problem of causation. In this paper, I propose a new solution to that problem, one that is compatible with intrinsic, fundamental causal relations. Accommodating relations of this kind is important because (i) according to David Lewis (2004), such relations are needed to account for causation in our world and worlds relevantly similar to our own, (ii) there is no other strategy currently available that successfully reconciles presentism with relations of this kind (...) and (iii) resolving the problem of causation by accommodating intrinsic, fundamental causal relations provides the presentist with a far more general solution to the problem of causation than those currently on offer. (shrink)

Background and assumptions. Persistence and philosophy of time ; Atomism and composition ; Scope ; Some matters of methodology -- Persistence, location, and multilocation in spacetime. Endurance, perdurance, exdurance : some pictures ; More pictures ; Temporal modification and the "problem of temporary intrinsics" ; Persistence, location and multilocation in generic spacetime ; An alternative classification -- Classical and relativistic spacetime. Newtonian spacetime ; Neo-Newtonian (Galilean) spacetime ; Reference frames and coordinate systems ; Galilean transformations in spacetime ; Special relativistic (...) spacetime ; Length contraction and time dilation ; Invariant properties of special relativistic spacetime -- Persisting objects in classical spacetime. Enduring, perduring, and exduring objects in Galilean spacetime ; The argument from vagueness ; From minimal D-fusions to temporal parts ; Motivating a sharp cutoff ; Some objections and replies ; Implications -- Persisting objects in Minkowski spacetime. Enduring, perduring, and exduring objects in Minkowski spacetime ; Flat and curved achronal regions in Minkowski spacetime ; Early reflections on persisting objects in Minkowski spacetime : Quine and Smart ; "Profligate ontology"? ; Is achronal universalism tenable in Minkowski spacetime? ; "Crisscrossing" and immanent causation -- Coexistence in spacetime. The notion of coexistence ; Desiderata ; Coexistence in Galilean spacetime ; Coexistence in Minkowski spacetime : CASH ; Alexandrov-Stein present and Alexandrov-Stein coexistence ; AS-Coexistence v. CASH : symmetry, multigrade, and objectivity ; As-coexistence v. CASH : relevance ; The mixed past of coexistence ; No need in the extended now -- Strange coexistence? Coexistence and existence@ ; The asymmetry thesis ; The absurdity thesis ; Collective CASH value of coexistence ; Collective existence@ and coexistence in classical spacetime ; Collective existence@ and coexistence in Minkowski spacetime ; Contextuality ; Chronological incoherence ; Some objections -- Shapes and other arrangements in Minkowski spacetime. How rigid is a granite block? ; Perspectives in space ; Perspectives in spacetime ; Are shapes intrinsic to objects? ; The causal objection ; The micro-reductive objection ; Pegs, boards, and shapes ; Perduring objects exist. (shrink)

It has been repeatedly argued, most recently by Nicholas Maxwell, that the special theory of relativity is incompatible with the view that the future is in some degree undetermined; and Maxwell contends that this is a reason to reject that theory. In the present paper, an analysis is offered of the notion of indeterminateness (or "becoming") that is uniquely appropriate to the special theory of relativity, in the light of a set of natural conditions upon such a notion; and reasons (...) are given for regarding this conception as (not just formally consistent with relativity theory, but also) philosophically reasonable. The bearings upon Maxwell's program for quantum theory are briefly considered. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.

This chapter provides a self‐contained introduction to time in relativistic cosmology that clarifies how questions about the nature of time should be posed and the extent to which they have been or can be answered empirically. The first section of the chapter recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in cosmological models. The second considers the beginning and end of (...) time in a broader class of models in which there is not an analog of Newtonian absolute time. Reasonable physical assumptions imply that the universe is finite to the past, and the third section considers the “beginning” itself. The fourth section discusses the ramifications of the two recent debates of cosmology. The final section takes up the source of the asymmetry in people's experience of time. (shrink)

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...) branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

The open future view is the common-sense view that there is an ontological difference between the past, the present, and the future in the sense that the past and the present are real, whereas the future is not yet a part of reality. In this paper we develop a theory in which the open future view is consistently combined with special relativity. Technically, the heart of our contribution is a logical conservativity result showing that, although the open future view is (...) not definable inside the causal geometry of Minkowski space-time, it can be conservatively added to it. (shrink)

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...) with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice. (shrink)

Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...) topological issues, we investigate the question in the framework of branching space-times of Belnap (Synthese 92:385–434, 1992). We introduce a topology on a branching model as well as a topology on a history in a branching model. We define light-cones and assume four conditions that guarantee the light-cones so defined behave like light-cones of physical space-times. From among various topological separation properties that are relevant to our question, we investigate the Hausdorff property. We prove that each history in a branching model satisfies the Hausdorff property. As for the satisfaction of the Hausdorff property in the entire branching model, we prove that it is related to the phenomenon of passive indeterminism, which we describe in detail. (shrink)

Perry argues that certain sorts of indexicals are 'essential', in the sense that they cannot be eliminated in favor of descriptions. This paper also introduces the influential idea that certain sorts of indexicals play a special role in thought, and have a special connection to action.

We provide a formally rigorous framework for integrating singular causation, as understood by Nuel Belnap's theory of causae causantes, and objective single case probabilities. The central notion is that of a causal probability space whose sample space consists of causal alternatives. Such a probability space is generally not isomorphic to a product space. We give a causally motivated statement of the Markov condition and an analysis of the concept of screening-off. 1. Causal dependencies and probabilities1.1Background: causation in branching space-times1.2What are (...) probabilities defined for?2. Basic transitions2.1Basics of basic transitions2.2Sets of basic transitions3. Causal probability theory3.1Some simple cases3.2General causal probabilities3.3Application: probability of suprema of a chain. (shrink)

The theory of branching space-times is designed as a rigorous framework for modelling indeterminism in a relativistically sound way. In that framework there is room for "funny business", i.e., modal correlations such as occur through quantummechanical entanglement. This paper extends previous work by Belnap on notions of "funny business". We provide two generalized definitions of "funny business". Combinatorial funny business can be characterized as "absence of prima facie consistent scenarios", while explanatory funny business characterizes situations in which no localized explanation (...) of inconsistency can be given. These two definitions of funny business are proved to be equivalent, and we provide an example that shows them to be strictly more general than the previously available definitions of "funny business". (shrink)

The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier criterion, and we (...) introduce a differential-geometrical version of branching space-times as a non-Hausdorff (generalized) manifold. (shrink)

Abstract: Presentism is the view that whatever exists presently exists. Without defending Presentism, I argue first that Presentists should be Time-Free Presentists – Presentists whose views do not imply that there exist irreducible times. Second, I argue that Presentists should accept Limited Thick Presentism, the view that 'the present' has some extension and is thereby neither durationlessly thin nor unlimitedly 'thick'. Third, before addressing several objections to Limited Time-Free Thick Presentism [LTFTP], I argue that defenders of LTFTP should accept that (...) 'temporal becoming' involves an overlapping succession of present entities, not a 'skipping' from one set of present entities to the next discrete set. (shrink)

Yuri Balashov sets out major rival views of persistence--endurance, perdurance, and exdurance--in a spacetime framework and proceeds to investigate the implications of Einstein's theory of relativity for the debate about persistence. His overall conclusion--that relativistic considerations favour four-dimensionalism over three-dimensionalism--is hardly surprising. It is, however, anything but trivial. Contrary to a common misconception, there is no straightforward argument from relativity to four-dimensionalism. The issues involved are complex, and the debate is closely entangled with a number of other philosophical disputes, including (...) those about the nature and ontology of time, parts and wholes, material constitution, causation and properties, and vagueness. (shrink)

Following von Wright, ``transitions'' are needed for understanding agency. I indicate how von Wright's account of transitions should be adapted to take account of objective indeterminism, using the idea of branching space-time. The essential point is the need to locate transitions not merely in space-time, but concretely amid the indeterministic, causally structured possibilities of our (only) world. (This is a ``postprint'' of Belnap 1999, as cited in the paper. The page numbers do not, of course, match those of the original.).

A small probability space representation of quantum mechanical probabilities is defined as a collection of Kolmogorovian probability spaces, each of which is associated with a context of a maximal set of compatible measurements, that portrays quantum probabilities as Kolmogorovian probabilities of classical events. Bell's theorem is stated and analyzed in terms of the small probability space formalism.