This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...) questions, a topological issue, and the past/future asymmetry. (shrink)

(No abstract is available for this citation).

For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated restricted variables called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modality, localized to the set of all possible futures at the actual moment of time.We construct an axiomatic system for this (...) extended branching-time logic and prove its soundness and completeness with respect to bundle tree semantics. Finally, we show how our axiomatic system can be extended with a variety of important additional operators, such as Since and Until, a global difference operator, operators for undivided and divided histories, reference pointers, etc. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to (...) the ontology of time. (shrink)

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting to develop (...) a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)

Humean compatibilism combines a Humean conception of laws of nature with a strong dual-ability condition for free will that requires that agents possess the ability to decide differently when they make a free decision. On the Humean view of laws of nature, laws of nature are taken to be contingent non-governing descriptions of significant regularities that obtain in the entire history of the universe. On Humean compatibilism, agents are taken to possess dual ability when making free decisions because what the (...) laws of nature will finally be is (at least partially) dependent upon how an agent decides. In this paper, I argue that the tenability of Humean compatibilism depends in part upon what theory of time is correct. More specifically, I argue that Humean compatibilism is untenable in a deterministic universe if eternalism is true. (shrink)

Popper’s introduction of ‘‘propensity’’ was intended to provide a solid conceptual foundation for objective single-case probabilities. By considering the partly opposed contributions of Humphreys and Miller and Salmon, it is argued that when properly understood, propensities can in fact be understood as objective single-case causal probabilities of transitions between concrete events. The chief claim is that propensities are well-explicated by describing how they fit into the existing formal theory of branching space-times, which is simultaneously indeterministic and causal. Several problematic examples, (...) some commonsense and some quantum-mechanical, are used to make clear the advantages of invoking branching space-times theory in coming to understand propensities. (shrink)

In this paper we describe some first steps for bringing the framework of branching space-times to bear on quantum information theory. Our main application is quantum error correction. It is shown that branching space-times offers a new perspective on quantum error correction: as a supplement to the orthodox slogan, ``fight entanglement with entanglement'', we offer the new slogan, ``fight indeterminism with indeterminism''.

This essay introduces a formal structure to model the indeterminacy of the future in Einstein-Minkowski space-time. We consider a first-order language, supplemented with an operator for predicate-term negation, and defend the claim that such an operation provides an appropriate model for the indeterminacy of future contingents. In the final section, it is proved that given a language otherwise adequate to represent a physical theory, at least some of the predicates of that language are indeterminate when the future is not causally (...) determined by the present and the past. (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (shrink)

We review the decoherent histories approach to the interpretation of quantum mechanics. The Everett relative-state theory is reformulated in terms of decoherent histories. A model of evolutionary adaptation is shown to imply decoherence. A general interpretative framework is proposed: probability and value-definiteness are to have a similar status to the attribution of tense in classical spacetime theory.

Greenberger. Horne. Shimony, and Zeilinger gave a new version of the Bell theorem without using inequalities (probabilities). Mermin summarized it concisely; but Bohm and Hiley criticized Mermin's proof from contextualists' point of view. Using the branching space-time language, in this paper a proof will be given that is free of these difficulties. At the same time we will also clarify the limits of the validity of the theorem when it is taken as a proof that quantum mechanics is not compatible (...) with a deterministic world nor with a world that permits correlated space-related events without a common cause. (shrink)

This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will use (...) our semantic framework to give an argument in support of the endurantist position as the best theory of persistence. (shrink)

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

The question as to whether some objects are possible worlds that have an initial segment in common, i.e. so that their fusion is a temporal tree whose branches are possible worlds, arises both for those who hold that our universe has the structure of a temporal tree and for those who hold that what there is includes concrete universes of every possible variety. The notion of “possible world” employed in the question is seen to be the notion of an object (...) of a kind such that objects of that kind play a certain theoretical role. Lewis’s discussion of the question is thereby clarified but is nevertheless inadequate; his negative answer is correct but even from his combinatorialist viewpoint the rationale he provides for this answer is misguided. I explain why the combinatorialist advocate of concrete plenitude should hold that no object is a tree of possible worlds. Then I explain that for a different reason the nomic essentialist advocate of concrete plenitude should hold this much too. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there is (...) a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

Against the background of the theory of branching space-times (BST), the paper sketches a concept of individuals. It discusses Kripkean modal intuitions concerning individuation, and, finally it addresses Lewis’s objections to branching individuals.

An informal sketch is offered of some chief ideas of the (formal) ``branching histories'' theory of objective possibility, free will and indeterminism. Reference is made to ``branching time'' and to ``branching space-times,'' with emphasis on a theme that they share: Objective possibilities are in Our World, organized by the relation of causal order.

The paper intends to provide an algebraic framework in which subluminal causation can be analysed. The framework merges Belnap's 'outcomes in branching time' with his 'branching space-time' (BST). it is shown that an important structure in BST, called 'family of outcomes of an event', is a boolean algebra. We define next non-stochastic common cause and analyse GHZ-Bell theorems. We prove that there is no common cause that accounts for results of GHZ-Bell experiment but construct common causes for two other quantum (...) mechanical setups. Finally, we investigate why some setups allow for common causes whereas other setups do not. (shrink)

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)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (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)

A probabilistic and counterfactual theory of causality is developed within the framework of branching time. The theory combines ideas developed by James Fetzer, Donald Nute, Patrick Suppes, Ming Xu, John Pollock, David Lewis and Mellor among others.

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to the (...) identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers" belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there is (...) a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

This paper investigates the prospects of developing a branching modal framework while keeping with the spirit of Humean Supervenience. It is argued that such an approach is bound to face hard problems regarding haecceitism and the notion of recombination. Possible directions for future philosophical developments of branching frameworks are suggested.

We extend stit logic by adding a spatial dimension. This enables us to distinguish between powers and opportunities of agents. Powers are agent-specific and do not depend on an agent’s location. Opportunities do depend on locations, and are the same for every agent. The central idea is to define the real possibility to see to the truth of a condition in space and time as the combination of the power and the opportunity to do so. The focus on agent-relative powers (...) and space-relative opportunities firmly roots effectivity of an autonomous choice making agent in a space–time picture. Our space–time view will be classically Newtonian, since we will assume relativistic phenomena do not play a role in agentive effectivity. We show how our semantics naturally distinguishes between different kinds of histories; histories that reflect real possibilities and histories that reflect counterfactual possibilities. Furthermore, we discuss how the spatial picture sheds light on conceptual problems plaguing the central stit property of ‘independence of agency’. At several points in the article we will emphasise and defend the differences with Belnap’s theory of agency in relativistic branching space–times. (shrink)

This paper provides a short historical and systematic survey of parameters, problems, and proposals concerning the theoretical treatment of indivisible temporal boundaries throughout the ages. A very early trace of thinking about them is identified in Aristophanes’ comedy The Clouds. The approach of logicians in the late Middle Ages is placed in a broad context. Links of this topic to the issues of vagueness, modality, space and quantized time are discussed.

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)

We introduce the notion of a Minkowskian Branching Structure ("MBS" for short). Then we prove some results concerning the phenomenon of funny business in its finitary and infinitary variants.

In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics, which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a game, than (...) the payoff matrix—the axiom of “no-supplementary data” holds—then the state of mind of a rational player is algebraically isomorphic to a pure quantum state. The “no supplementary data” axiom is captured in a Lukasiewicz’s three-valued Kripke semantics wherein statements about whether a strategy or a belief of a player is rational are initially indeterminate i.e. neither true, nor false. As a corollary, we show that in a mixed Nash equilibrium, the knowledge structure of a player implies that probabilities must verify the standard “Born rule” postulate of QM. The puzzling “indifference condition” wherein each player must be rationally indifferent between all the pure actions of the support of his equilibrium strategy is resolved by his state of mind being described by a “quantum superposition” prior a player is asked to make a definite choice in a “measurement”. Finally, these results demonstrate that there is an intrinsic limitation to the predictions of game theory, on a par with the “irreducible randomness” of quantum physics. (shrink)

At a conference in Athen some time ago, I had the honour to comment on Aldo Bressan’s lecture “On certain notions, partly extensional and partly modal, relevant for the semantics of general relativity”. A version of this lecture constitutes the first part of his paper “Again on relativistic semantics”. At Aldo Bressan’s request, I will outline the criticism put forward at the Athens conference. My comment does not, however, pertain to the second part of the preceding publication. Bressan’s considerations on (...) time and causality — which in fact illustrate the capability of the previously explained technical apparatus — are enlightening and truly stimulating. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to the (...) identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers' belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

It is highly now intuitive that the future is open and the past is closed now—whereas it is unsettled whether there will be a fourth world war, it is settled that there was a first. Recently, it has become increasingly popular to claim that the intuitive openness of the future implies that contingent statements about the future, such as ‘There will be a sea battle tomorrow,’ are non-bivalent (neither true nor false). In this paper, we argue that the non-bivalence of (...) future contingents is at odds with our pre-theoretic intuitions about the openness of the future. These intuitions are revealed by our pragmatic judgments concerning the correctness and incorrectness of assertions of future contingents. We argue that the pragmatic data together with a plausible account of assertion shows that in many cases we take future contingents to be true (or to be false), though we take the future to be open in relevant respects. It follows that appeals to intuition to support the non-bivalence of future contingents are untenable. Intuition favours bivalence. (shrink)

Miller (2005) and Miller (2008) argue that the branching picture of time is incompatible with the possibility of backwards time travel. In this paper I show that Miller’s conclusion is based on a hidden assumption which, while generally plausible, is unwarranted if time travel is possible. Branching time is, after all, compatible with time travel as Miller characterises it.

“Branching space-times” 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 relativistic theory of spatio-temporal relations; this ability is essential for the representation of local indeterminism. This essay indicates how BST might be seen to grow out of Newton ’s deterministic and (...) non-relativistic theory by two independent moves: Taking account of indeterminism, and attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since and are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and branching space-times indeterminism. (shrink)

Since the validity of Bell's inequalities implies the existence of joint probabilities for non-commuting observables, there is no universal consensus as to what the violation of these inequalities signifies. While the majority view is that the violation teaches us an important lesson about the possibility of explanations, if not about metaphysical issues, there is also a minimalist position claiming that the violation is to be expected from simple facts about probability theory. This minimalist position is backed by theorems due to (...) A. Fine and I. Pitowsky.Our paper shows that the minimalist position cannot be sustained. To this end,we give a formally rigorous interpretation of joint probabilities in thecombined modal and spatiotemporal framework of `stochastic outcomes inbranching space-time' (SOBST) (Kowalski and Placek, 1999; Placek, 2000). We show in this framework that the claim that there can be no joint probabilities fornon-commuting observables is incorrect. The lesson from Fine's theorem is notthat Bell's inequalities will be violated anyhow, but that an adequate modelfor the Bell/Aspect experiment must not define global joint probabilities. Thus we investigate the class of stochastic hidden variable models, whichprima facie do not define such joint probabilities. The reasonwhy these models fail supports the majority view: Bell's inequalities are notjust a mathematical artifact. (shrink)

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of the (...) notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

Quantum mechanics predicts non-local correlations in spatially extended entangled quantum systems, and these correlations are empirically very well confirmed. This raises philosophical questions of how nature could be that way, prompting the study of purported completions of quantum mechanics by hidden variables. Bell-type theorems connect assumptions about hidden variables with empirical predictions for the outcome of quantum correlation experiments. From among these assumptions, the Setting Independence assumption has received the least formal attention. Its violation is, however, central in the recent (...) discussion about super-deterministic models for quantum correlation experiments. In this paper, we focus on the non-local modal correlations in the GHZ experiment. We model the introduction of hidden variables in the form of instruction sets via structure extensions in the framework of Branching Space-Times. This framework allows us to show in formal detail how the introduction of non-contextual instruction sets results in a specific violation of Setting Independence; a similar result is derived for contextual instruction sets. Our discussion provides additional reasons for foregoing the introduction of local hidden variables, and for accepting non-local quantum correlations as a resource provided by nature. (shrink)

Open futurism is the indeterministic position according to which the future is ‘open’, i.e., there is now no fact of the matter as to what future contingent events will actually obtain. Many open futurists hold a branching conception of time, in which a variety of possible futures exist. This paper introduces two challenges to branching-time open futurism, which are similar in spirit to a challenge posed by Fine to tense realism. The paper argues that, to address the new challenges, open (...) futurists must adopt an objective, non-perspectival notion of actuality and subscribe to an A-theoretic, dynamic conception of reality. Moreover, given a natural understanding of “actual future”, it is perfectly sensible for open futurists to hold that a unique, objectively actual future exists, contrary to a common assumption in the current debate. The paper also contends that recognising the existence of a unique actual future helps open futurists to avoid potential misconceptions. (shrink)

The paper develops a theory of branching spatiotemporal histories that accommodates indeterminism and the insights of general relativity. A model of this theory can be viewed as a collection of overlapping histories, where histories are defined as maximal consistent subsets of the model's base set. Subsequently, generalized manifolds are constructed on the theory's models, and the manifold topology is introduced. The set of histories in a model turns out to be identical with the set of maximal subsets of the model's (...) base set with respect to being Hausdorff and downward closed. Further postulates ensure that the topology is connected, locally Euclidean, and satisfies the countable sub-cover condition. (shrink)