Thomas Müller

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

The logical theory of branching space-times, which is intended to provide a framework for studying objective indeterminism, remains at a certain distance from the discussion of space-time theories in the philosophy of physics. In a welcome attempt to clarify the connection, Earman has recently found fault with the branching approach and suggested ``pruning some branches from branching space-time''. The present note identifies the different---order theoretic vs. topological---points of view of both discussion as a reason for certain misunderstandings, and tries to remove them. Most importantly, we give a novel, topological criterion of modal consistency that usefully generalizes the order-theoretic criterion of directedness, and we introduce a differential-geometrical version of BST based on the theory of non-Hausdorff manifolds.

Pereboom’s ‘wild coincidences’ argument against agent-causal libertarianism is based on the claim that in a world governed by statistical laws, the dovetailing of indeterministic physical happenings with the free actions of agent causes would be a coincidence too wild to be credible. In this paper it is shown that the conclusion is valid for deterministic laws, but that it fails for statistical laws. Therefore, the ‘wild coincidences’ argument does not provide the promised empirical refutation of agent-causal libertarianism.

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.

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

Theories of free agency based on indeterminism -- that is, libertarian theories -- are often accused of undermining an agent's integrity: If an action is due to indeterministic happenings, how can it be called the agent's action to begin with? Isn't a deterministic connection between an agent's circumstances and her action needed to maintain her integrity? We claim that a meaningful notion of agency does not need determinism. In this paper we introduce stochastic libertarianism, a novel theory of free agency under indeterminism. Based on a physically motivated, stochastic model of the temporal evolution of a deliberation process, stochastic libertarianism views indeterminism as a core resource for meaningful agency rather than as a threat. We counter the supposed threat by explicitly discussing Van Inwagen's replay argument, exposing a flaw in the argument that is due to insufficient attention to temporal details. Our approach can also explain how a stochastically libertarian agent developing over time can exhibit highly realiable behavior. We claim, therefore, that integrity in action does not need determinism.

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our theory with the branching space-times based reading of counterfactuals recently proposed by Belnap.

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.

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.

In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground between the two available mathematically precise definitions of families of histories, viz., product families and Isham’s history projector operator formalism. The former are too narrow for applications, and the latter’s generality comes at a certain cost, barring an intuitive reading of the “histories”. Branching families retain the intuitiveness of product families, they allow for the interpretation of a history’s weight as a probability, and they allow one to distinguish two kinds of coarse-graining, leading to reconsidering the motivation for the consistency condition

Paragraph 50 of Wittgenstein'sPhilosophical Investigationsfamously says that there is one thing of which one can neither state that it is 1 m long nor that it isn't: the standard metre in Paris. Consensus appears to be that (1) exegetically speaking, Wittgenstein affirms this claim, and (2) systematically, whether or not one agrees with it, the practice of using a material artefact as a measurement standard has important philosophical consequences. In this paper, in contrast, we show that (1') Wittgenstein does not affirm the standard metre claim and (2') historical facts about material length standards do not warrant deeper philosophical conclusions. References to material measurement standards in the literature gravely distort the actual metrological practices of developing and using such standards.

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.

The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. In the final section of the paper we look at the place of branching-based possibilities in that larger landscape of possibilities. Our main message is that far from being an outlandish metaphysical extravagancy, branching-based possibilities are epistemically as well as metaphysically basic.

The paper gives a physicist's view on the framework of branching space-time, 385--434). Branching models are constructed from physical state assignments. The models are then employed to give a formal semantics for the modal operators ``possibly'' and ``necessarily'' and for the counterfactual conditional. The resulting formal language can be used to analyze quantum correlation experiments. As an application sketch, Stapp's premises LOC1 and LOC2 from his purported proof of non-locality, 300--304) are analyzed

Prior's project of tense logic has both a formal-logical and a philosophical side. Both aspects were important for Prior. The paper suggests viewing Prior's philosophical project as a continuation of the tradition of "logic as language", or "universalism", identified by van Heijenoort and Hintikka, respectively. The label "tense-logical universalism" is chosen in order to stress Prior's emphasis on the foundational role of natural language for the three fields of logic, semantics, and philosophy of science. The paper draws on Prior's works in all three mentioned areas. In particular, we comment on Prior's universalist approach to model theory, which has recently given rise to hybrid logic, and on the interesting perspective on relativity theory offered through his writings.

Towards the end of her famous 1971 paper “Causality and Determination”, Elizabeth Anscombe discusses the controversial idea that “ ‘physical haphazard’ could be the only physical correlate of human freedom of action”. In order to illustrate how the high-level freedom of human action can go together with micro-indeterminism without creating a problem for micro-statistics, she provides the analogy of a glass box filled with minute coloured particles whose micro-dynamics is subject to statistical laws, while its outside reliably displays a recognisable variation of a certain image created by an external cause. Anscombe’s example is somewhat enigmatic, and she provides no details to support its viability. In this paper we discuss the context of Anscombe’s analogy, and we provide basics of the theory and practice of building an Anscombe box.

In this paper we describe a novel approach to defining an ontologically fundamental notion of co-presentness that does not go against the tenets of relativity theory. We survey the possible reactions to the problem of the present in relativity theory, introducing a terminological distinction between a static role of the present, which is served by the relation of simultaneity, and a dynamic role of the present, with the corresponding relation of co-presentness. We argue that both of these relations need to be equivalence relations, but they need not coincide. Simultaneity, the sharing of a temporal coordinate, need not have fundamental ontological import, so that a relativizing strategy with respect to simultaneity seems promising. The notion of co-presentness, on the other hand, does have ontological import, and can therefore not be relativized to an observer or to an arbitrarily chosen frame. We argue that a formal representation of indeterminism can provide the structure needed to anchor the relation of co-presentness, and that this addition is in fact congenial to the notion of dynamic time as requiring real change. The resulting picture is one of an extended dynamic present, implying a formal distinction between static simultaneity and dynamic co-presentness. After working out the basics of our approach in the simpler framework of branching time, we provide our full analysis in the framework of branching space-times, which allows for a formal definition of modal correlations. The spatial extension of the dynamic present can reach as far as the modal correlations do. In the limit, the dynamic present could extend across a maximal space-like hypersurface.

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.

The paper re-evaluates Prior's tenets about indeterminism and relativity from the point of view of the current state of the debate. We first discuss Prior's claims about indeterministic tense logic and about relativity separately and confront them with new technical developments. Then we combine the two topics in a discussion of indeterministic approaches to space-time logics. Finally we show why Prior would not have to "dig his heels in" when it comes to relativity: We point out a way of combining the existential import of the distinction between past, present, and future with a frame-relative notion of the present

"This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory's resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism"--

Philosophy of mathematics is moving in a new direction: away from a foundationalism in terms of formal logic and traditional ontology, and towards a broader range of approaches that are united by a focus on mathematical practice. The scientific research network PhiMSAMP (Philosophy of Mathematics: Sociological Aspects and Mathematical Practice) consisted of researchers from a variety of backgrounds and fields, brought together by their common interest in the shift of philosophy of mathematics towards mathematical practice. Hosted by the Rheinische Friedrich- Wilhelms-Universitat Bonn and funded by the Deutsche Forschungsgemeinschaft (DFG) from 2006-2010, the network organized and contributed to a number of workshops and conferences on the topic of mathematical practice. The refereed contributions in this volume represent the research results of the network and consists of contributions of the network members as well as selected paper versions of presentations at the network's mid-term conference, "Is mathematics special?" (PhiMSAMP-3) held in Vienna 2008.