This is the revised version of an invited keynote lecture delivered at the "1st Australian Computing and Philosophy Conference". The paper is divided into two parts. The first part defends an informational approach to structural realism. It does so in three steps. First, it is shown that, within the debate about structural realism, epistemic and ontic structural realism are reconcilable. It follows that a version of OSR is defensible from a structuralist-friendly position. Second, it is argued that a version of (...) OSR is also plausible, because not all relata are logically prior to relations. Third, it is shown that a version of OSR is also applicable to both sub-observable and observable entities, by developing its ontology of structural objects in terms of informational objects. The outcome is informational structural realism, a version of OSR supporting the ontological commitment to a view of the world as the totality of informational objects dynamically interacting with each other. The paper has been discussed by several colleagues and, in the second half, ten objections that have been moved to the proposal are answered in order to clarify it further. (shrink)

What would it mean to apply quantum theory, without restriction and without involving any notion of measurement and state reduction, to the whole universe? What would realism about the quantum state then imply? This book brings together an illustrious team of philosophers and physicists to debate these questions. The contributors broadly agree on the need, or aspiration, for a realist theory that unites micro- and macro-worlds. But they disagree on what this implies. Some argue that if unitary quantum evolution has (...) unrestricted application, and if the quantum state is taken to be something physically real, then this universe emerges from the quantum state as one of countless others, constantly branching in time, all of which are real. The result, they argue, is many worlds quantum theory, also known as the Everett interpretation of quantum mechanics. No other realist interpretation of unitary quantum theory has ever been found. Others argue in reply that this picture of many worlds is in no sense inherent to quantum theory, or fails to make physical sense, or is scientifically inadequate. The stuff of these worlds, what they are made of, is never adequately explained, nor are the worlds precisely defined; ordinary ideas about time and identity over time are compromised; no satisfactory role or substitute for probability can be found in many worlds theories; they can't explain experimental data; anyway, there are attractive realist alternatives to many worlds. Twenty original essays, accompanied by commentaries and discussions, examine these claims and counterclaims in depth. They consider questions of ontology - the existence of worlds; probability - whether and how probability can be related to the branching structure of the quantum state; alternatives to many worlds - whether there are one-world realist interpretations of quantum theory that leave quantum dynamics unchanged; and open questions even given many worlds, including the multiverse concept as it has arisen elsewhere in modern cosmology. A comprehensive introduction lays out the main arguments of the book, which provides a state-of-the-art guide to many worlds quantum theory and its problems. (shrink)

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and (...) Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

NGC 1300 (shown in figure 1) is a spiral galaxy 65 million light years from Earth.1 We have never been there, and (although I would love to be wrong about this) we will never go there; all we will ever know about NGC 1300 is what we can see of it from sixty-five million light years away, and what we can infer from our best physics. Fortunately, “what we can infer from our best physics” is actually quite a lot. To (...) take a particular example: our best theory of galaxies tells us that that hazy glow is actually made up of the light of hundreds of billions of stars; our best theories of planetary formation tell us that a sizable fraction of those stars.. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

Metaphysicians sometimes appeal to physics to establish claims about the fundamental nature of the world. But given the current state of inquiry in physics, where there are two most fundamental theories that are incompatible, such arguments of physics-based metaphysics are problematic. I support this line of thought by focussing on two sorts of problematic arguments, special-relativity-based arguments against presentism and big-bang-based arguments in favor of the existence of God. I am not arguing that physics-based metaphysics can’t be done; I am (...) just arguing that extant examples of physics-based metaphysics are flawed. I close by considering various ways that future versions of physics-based metaphysics could potentially be successful. (shrink)

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

This article summarizes the Quantum Bayesian point of view of quantum mechanics, with special emphasis on the view's outer edges---dubbed QBism. QBism has its roots in personalist Bayesian probability theory, is crucially dependent upon the tools of quantum information theory, and most recently, has set out to investigate whether the physical world might be of a type sketched by some false-started philosophies of 100 years ago (pragmatism, pluralism, nonreductionism, and meliorism). Beyond conceptual issues, work at Perimeter Institute is focused on (...) the hard technical problem of finding a good representation of quantum mechanics purely in terms of probabilities, without amplitudes or Hilbert-space operators. The best candidate representation involves a mysterious entity called a symmetric informationally complete quantum measurement. Contemplation of it gives a way of thinking of the Born Rule as an addition to the rules of probability theory, applicable when an agent considers gambling on the consequences of his interactions with a newly recognized universal capacity: dimension (formerly Hilbert-space dimension). (The word "capacity" should conjure up an image of something like gravitational mass---a body's mass measures its capacity to attract other bodies. With hindsight one can say that the founders of quantum mechanics discovered another universal capacity, "dimension.") The article ends by showing that the egocentric elements in QBism represent no impediment to pursuing quantum cosmology and outlining some directions for future work. (shrink)

It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.

According to the Everett interpretation, branching structure and ratios of norms of branch amplitudes are the objective correlates of chance events and chances; that is, 'chance' and 'chancing', like 'red' and 'colour', pick out objective features of reality, albeit not what they seemed. Once properly identified, questions about how and in what sense chances can be observed can be treated as straightforward dynamical questions. On that basis, given the unitary dynamics of quantum theory, it follows that relative and never absolute (...) chances can be observed; that only on repetition of a large numbers of similar trials can relative probabilities be measured; and so on. The epistemology of objective chances can in this way be worked out from the dynamics. its curious features are thus explained. But one aspect of chance set-ups seems to resist this subsuming of chancing to branching: how is it that chance involves uncertainty? And if that is not possible, on Everettian lines, then the whole project is doomed. I argue that in fact there is no difficulty in making sense of uncertainty in the face of branching. Contrary to initial impressions, the unitary formalism is consistent with a well-defined notion of self-locating uncertainty. It is also consistent without: the mathematics under-determines the metaphysics in these respects. (shrink)

This is a self-contained introduction to the Everett interpretation of quantum mechanics. It is the introductory chapter of Many Worlds? Everett, quantum theory, and reality, S. Saunders, J. Barrett, A. Kent, and D. Wallace, Oxford University Press.

It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.

The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it. Our discussion of this relationship is partly historical and conceptual, but mostly technical and mathematically rigorous, including over 500 references. For example, we sketch how certain intuitive ideas of the founders of quantum theory have fared in the light of current mathematical knowledge. One such idea that has certainly stood the test of time is (...) Heisenberg's `quantum-theoretical Umdeutung (reinterpretation) of classical observables', which lies at the basis of quantization theory. Similarly, Bohr's correspondence principle (in somewhat revised form) and Schroedinger's wave packets (or coherent states) continue to be of great importance in understanding classical behaviour from quantum mechanics. On the other hand, no consensus has been reached on the Copenhagen Interpretation, but in view of the parodies of it one typically finds in the literature we describe it in detail. On the assumption that quantum mechanics is universal and complete, we discuss three ways in which classical physics has so far been believed to emerge from quantum physics, namely in the limit h -> 0 of small Planck's constant (in a finite system), in the limit N goes to infinity of a large system with $N$ degrees of freedom (at fixed h), and through decoherence and consistent histories. The first limit is closely related to modern quantization theory and microlocal analysis, whereas the second involves methods of C*-algebras and the concepts of superselection sectors and macroscopic observables. In these limits, the classical world does not emerge as a sharply defined objective reality, but rather as an approximate appearance relative to certain ``classical" states and observables. Decoherence subsequently clarifies the role of such states, in that they are ``einselected", i.e. robust against coupling to the environment. Furthermore, the nature of classical observables is elucidated by the fact that they typically define (approximately) consistent sets of histories. This combination of ideas and techniques does not quite resolve the measurement problem, but it does make the point that classicality results from the elimination of certain states and observables from quantum theory. Thus the classical world is not created by observation (as Heisenberg once claimed), but rather by the lack of it. (shrink)

David Malament (1996) has recently argued that there can be no relativistic quantum theory of (localizable) particles. We consider and rebut several objections that have been made against the soundness of Malament’s argument. We then consider some further objections that might be made against the generality of Malament’s conclusion, and we supply three no‐go theorems to counter these objections. Finally, we dispel potential worries about the counterintuitive nature of these results by showing that relativistic quantum field theory itself explains the (...) appearance of “particle detections.”. (shrink)

I make the case that the Universe according to unitary quantum theory has a branching structure, and so can literally be regarded as a "many-worlds" theory. These worlds are not part of the _fundamental_ ontology of quantum theory - instead, they are to be understood as structures, or patterns, emergent from the underlying theory, through the dynamical process of decoherence. That they are structures in this sense does not mean that they are in any way unreal: indeed, pretty much all (...) higher-level ontology in science, from tables to phonons to tigers, is likewise emergent. Unitary quantum theory is therefore a "many-worlds" theory without any modification of the mathematical structure of the theory: the Everett interpretation does not consist in adding worlds to the formalism, but in realising that they are there already. Our grounds for accepting the reality of those worlds is no more, but no less, than our grounds for accepting any other not-directly observable consequence of an empirically very successful theory. (shrink)

I make the case that the Universe according to unitary quantum theory has a branching structure, and so can literally be regarded as a "many-worlds" theory. These worlds are not part of the _fundamental_ ontology of quantum theory - instead, they are to be understood as structures, or patterns, emergent from the underlying theory, through the dynamical process of decoherence. That they are structures in this sense does not mean that they are in any way unreal: indeed, pretty much all (...) higher-level ontology in science, from tables to phonons to tigers, is likewise emergent. Unitary quantum theory is therefore a "many-worlds" theory without any modification of the mathematical structure of the theory: the Everett interpretation does not consist in adding worlds to the formalism, but in realising that they are there already. Our grounds for accepting the reality of those worlds is no more, but no less, than our grounds for accepting any other not-directly observable consequence of an empirically very successful theory. (shrink)

It is demonstrated that neither the arguments leading to inconsistencies in the description of quantum-mechanical measurement nor those “explaining” the process of measurement by means of thermodynamical statistics are valid. Instead, it is argued that the probability interpretation is compatible with an objective interpretation of the wave function.

According to the Everett interpretation, branching structure and ratios of norms of branch amplitudes are the objective correlates of chance events and chances; that is, 'chance' and 'chancing', like 'red' and 'colour', pick out objective features of reality, albeit not what they seemed. Once properly identified, questions about how and in what sense chances can be observed can be treated as straightforward dynamical questions. On that basis, given the unitary dynamics of quantum theory, it follows that relative and never absolute (...) chances can be observed; that only on repetition of a large numbers of similar trials can relative probabilities be measured; and so on. The epistemology of objective chances can in this way be worked out from the dynamics. its curious features are thus explained. But one aspect of chance set-ups seems to resist this subsuming of chancing to branching: how is it that chance involves uncertainty? And if that is not possible, on Everettian lines, then the whole project is doomed. I argue that in fact there is no difficulty in making sense of uncertainty in the face of branching. Contrary to initial impressions, the unitary formalism is consistent with a well-defined notion of self-locating uncertainty. It is also consistent without: the mathematics under-determines the metaphysics in these respects. (shrink)