This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are (...) covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory. This book is Open Access under a CC BY licence. (shrink)

Quantum gravity--the marriage of quantum physics with general relativity--is bound to contain deep and important lessons for the nature of physical time. Some of these lessons shall be canvassed here, particularly as they arise from quantum general relativity and string theory and related approaches. Of particular interest is the question of which of the intuitive aspects of time will turn out to be fundamental, and which 'emergent' in some sense.

Observables have a dual nature in both classical and quantum kinematics: they are at the same time quantities, allowing to separate states by means of their numerical values, and generators of transformations, establishing relations between different states. In this work, we show how this twofold role of observables constitutes a key feature in the conceptual analysis of classical and quantum kinematics, shedding a new light on the distinguishing feature of the quantum at the kinematical level. We first take a look (...) at the algebraic description of both classical and quantum observables in terms of Jordan–Lie algebras and show how the two algebraic structures are the precise mathematical manifestation of the twofold role of observables. Then, we turn to the geometric reformulation of quantum kinematics in terms of Kähler manifolds. A key achievement of this reformulation is to show that the twofold role of observables is the constitutive ingredient defining what an observable is. Moreover, it points to the fact that, from the restricted point of view of the transformational role of observables, classical and quantum kinematics behave in exactly the same way. Finally, we present Landsman’s general framework of Poisson spaces with transition probability, which highlights with unmatched clarity that the crucial difference between the two kinematics lies in the way the two roles of observables are related to each other. (shrink)

Observables have a dual nature in both classical and quantum kinematics: they are at the same time quantities, allowing to separate states by means of their numerical values, and generators of transformations, establishing relations between different states. In this work, we show how this twofold role of observables constitutes a key feature in the conceptual analysis of classical and quantum kinematics, shedding a new light on the distinguishing feature of the quantum at the kinematical level. We first take a look (...) at the algebraic description of both classical and quantum observables in terms of Jordan–Lie algebras and show how the two algebraic structures are the precise mathematical manifestation of the twofold role of observables. Then, we turn to the geometric reformulation of quantum kinematics in terms of Kähler manifolds. A key achievement of this reformulation is to show that the twofold role of observables is the constitutive ingredient defining what an observable is. Moreover, it points to the fact that, from the restricted point of view of the transformational role of observables, classical and quantum kinematics behave in exactly the same way. Finally, we present Landsman’s general framework of Poisson spaces with transition probability, which highlights with unmatched clarity that the crucial difference between the two kinematics lies in the way the two roles of observables are related to each other. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a determinable (...) property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

In a number of publications, John Earman has advocated a tertium quid to the usual dichotomy between substantivalism and relationism concerning the nature of spacetime. The idea is that the structure common to the members of an equivalence class of substantival models is captured by a Leibniz algebra which can then be taken to directly characterize the intrinsic reality only indirectly represented by the substantival models. An alleged virtue of this is that, while a substantival interpretation of spacetime theories falls (...) prey to radical local indeterminism, the Leibniz algebras do not. I argue that the program of Leibniz algebras is subject to radical local indeterminism to the same extent as substantivalism. In fact, for the category of topological spaces of interest in spacetime physics, the program is equivalent to the original spacetime approach. Moreover, the motivation for the program--that isomorphic substantival models should be regarded as representing the same physical situation--is misguided. (shrink)

Numerous approaches to a quantum theory of gravity posit fundamental ontologies that exclude spacetime, either partially or wholly. This situation raises deep questions about how such theories could relate to the empirical realm, since arguably only entities localized in spacetime can ever be observed. Are such entities even possible in a theory without fundamental spacetime? How might they be derived, formally speaking? Moreover, since by assumption the fundamental entities cannot be smaller than the derived and so cannot ‘compose’ them in (...) any ordinary sense, would a formal derivation actually show the physical reality of localized entities? We address these questions via a survey of a range of theories of quantum gravity, and generally sketch how they may be answered positively. (shrink)

It is well known that the process of quantization—constructing a quantum theory out of a classical theory—is not in general a uniquely determined procedure. There are many inequivalent methods that lead to different choices for what to use as our quantum theory. In this paper, I show that by requiring a condition of continuity between classical and quantum physics, we constrain and inform the quantum theories that we end up with.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.

Textbooks present classical particle and field physics as theories of physical systems situated in Newtonian absolute space. This absolute space has an influence on the evolution of physical processes, and can therefore be seen as a physical system itself; it is substantival. It turns out to be possible, however, to interpret the classical theories in another way. According to this rival interpretation, spatiotemporal position is a property of physical systems, and there is no substantival spacetime. The traditional objection that such (...) a relationist view could not cope with the existence of inertial effects and other manifestations of the causal efficacy of spacetime can be answered successfully. According to the new point of view, the spacetime manifold of classical physics is a purely representational device. It represents possible locations of physical objects or events; but these locations are physical properties inherent in the physical objects or events themselves and having no existence independently of them. In relativistic quantum field theory the physical meaning of the spacetime manifold becomes even less tangible. Not only does the manifold lose its status as a substantival container, but also its function as a representation of spacetime properties possessed by physical systems becomes problematic. 'Space and time' become ordering parameters in the web of properties of physical systems. They seem to regain their traditional meaning only in the non-relativistic limit in which the classical particle concept becomes approximately applicable. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

There has been recent interest in formulating theories of non-representational indeterminacy. The aim of this paper is to clarify the relevance of quantum mechanics to this project. Quantum-mechanical examples of vague objects have been offered by various authors, displaying indeterminate identity, in the face of the famous Evans argument that such an idea is incoherent. It has also been suggested that the quantum-mechanical treatment of state-dependent properties exhibits metaphysical indeterminacy. In both cases it is important to consider the details of (...) the metaphysical account and the way in which the quantum phenomenon is captured within it. Indeed if we adopt a familiar way of thinking about indeterminacy and apply it in a natural way to quantum mechanics, we run into illuminating difficulties and see that the case is far less straightforward than might be hoped. (shrink)

On many currently live interpretations, quantum mechanics violates the classical supposition of value definiteness, according to which the properties of a given particle or system have precise values at all times. Here we consider whether either metaphysical supervaluationist or determinable-based approaches to metaphysical indeterminacy can accommodate quantum metaphysical indeterminacy (QMI). We start by discussing the standard theoretical indicator of QMI, and distinguishing three seemingly different sources of QMI (S1). We then show that previous arguments for the conclusion that metaphysical supervaluationism (...) cannot accommodate QMI, due to Darby 2010 and Skow 2010, are unsuccessful, in leaving open several supervaluationist responses. We go on to provide more comprehensive argumentation for the negative conclusion. Here, among other results, we establish that the problems for supervaluationism extend far beyond the concern that is the focus of Darby's and Skow's discussions (according to which a supervaluationist approach is incompatible with the orthodox interpretation, in light of the Kochen-Specker theorem) to also attach to common understandings of other interpretations on which there is QMI (S2). We then argue that a determinable-based account can successfully accommodate all three varieties of QMI (S3). We close by observing the positive mutual bearing of our results on the coherence and intelligibility of both quantum mechanics and metaphysical indeterminacy (S4). (shrink)

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s.

Einstein algebras have been suggested (Earman 1989) and rejected (Rynasiewicz 1992) as a way to avoid the hole argument against spacetime substantivalism. In this article, I debate their merits and faults. In particular, I suggest that a gauge‐invariant interpretation of Einstein algebras that avoids the hole argument can be associated with one approach to quantizing gravity, and, for this reason, is at least as well motivated as sophisticated substantivalist and relationalist interpretations of the standard tensor formalism.

This paper is concerned with the debate between substantival and relational theories of space-time, and discusses two difficulties that beset the relationalist: a difficulty posed by field theories, and another difficulty called the problem of quantities. A main purpose of the paper is to argue that possibility can not always be used as a surrogate of ontology, and that in particular that there is no hope of using possibility to solve the problem of quantities.

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter investigates the meaning and significance of string theoretic dualities, arguing they reveal a surprising physical indeterminateness to spacetime.

These notes discuss some aspects of the sort of symmetry considerations that arise in philosophy of physics. They describe and provide illustration of: (i) one common sort of symmetry argument; and (ii) a construction that allows one to eliminate symmetries from a given structure.