This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

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)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary but (...) not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

To the best of our current understanding, quantum mechanics is part of the most fundamental picture of the universe. It is natural to ask how pure and minimal this fundamental quantum description can be. The simplest quantum ontology is that of the Everett or Many-Worlds interpretation, based on a vector in Hilbert space and a Hamiltonian. Typically one also relies on some classical structure, such as space and local configuration variables within it, which then gets promoted to an algebra of (...) preferred observables. We argue that even such an algebra is unnecessary, and the most basic description of the world is given by the spectrum of the Hamiltonian and the components of some particular vector in Hilbert space. Everything else—including space and fields propagating on it—is emergent from these minimal elements. (shrink)

Cosmological models that invoke a multiverse - a collection of unobservable regions of space where conditions are very different from the region around us - are controversial, on the grounds that unobservable phenomena shouldn't play a crucial role in legitimate scientific theories. I argue that the way we evaluate multiverse models is precisely the same as the way we evaluate any other models, on the basis of abduction, Bayesian inference, and empirical success. There is no scientifically respectable way to do (...) cosmology without taking into account different possibilities for what the universe might be like outside our horizon. Multiverse theories are utterly conventionally scientific, even if evaluating them can be difficult in practice. (shrink)

A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

SummaryenThe main argument for scientific realism is that our present theories in science are so successful empirically that they can't have got that way by chance - instead they must somehow have latched onto the blueprint of the universe. The main argument against scientific realism is that there have been enormously successful theories which were once accepted but are now regarded as false. The central question addressed in this paper is whether there is some reasonable way to have the best (...) of both worlds: to give the argument from scientific revolutions its full weight and yet still adopt some sort of realist attitude towards presently accepted theories in physics and elsewhere. I argue that there is such a way - through structural realism, a position adopted by Poincare, and here elaborated and defended. (shrink)

Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical (...) frameworks which might be combined with the Saunders–Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds. (shrink)

This is a discussion of how we can understand the world-view given to us by the Everett interpretation of quantum mechanics, and in particular the role played by the concept of 'world'. The view presented is that we are entitled to use 'many-worlds' terminology even if the theory does not specify the worlds in the formalism; this is defended by means of an extensive analogy with the concept of an 'instant' or moment of time in relativity, with the lack of (...) a preferred foliation of spacetime being compared with the lack of a preferred basis in quantum theory. Implications for identity of worlds over time, and for relativistic quantum mechanics, are discussed. (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.

In this paper, I motivate the view that quantitative parsimony is a theoretical virtue: that is, we should be concerned not only to minimize the number of kinds of entities postulated by our theories (i. e. maximize qualitative parsimony), but we should also minimize the number of entities postulated which fall under those kinds. In order to motivate this view, I consider two cases from the history of science: the postulation of the neutrino and the proposal of Avogadro's hypothesis. I (...) also consider two issues concerning how a principle of quantitative parsimony should be framed. (shrink)

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

This essay contains a partial exploration of some key concepts associated with the epistemology of realist philosophies of science. It shows that neither reference nor approximate truth will do the explanatory jobs that realists expect of them. Equally, several widely-held realist theses about the nature of inter-theoretic relations and scientific progress are scrutinized and found wanting. Finally, it is argued that the history of science, far from confirming scientific realism, decisively confutes several extant versions of avowedly 'naturalistic' forms of scientific (...) realism. (shrink)

We discuss the nature of reality in the ontological context of Penrose’s math-matter-mind triangle. The triangle suggests the circularity of the widespread view that math arises from the mind, the mind arises out of matter, and that matter can be explained in terms of math. Non-physicists should be wary of any claim that modern physics leads us to any particular resolution of this circularity, since even the sample of three theoretical physicists writing this paper hold three divergent views. Some physicists (...) believe that current physics has already found the basic framework for a complete description of reality, and only has to fill in the details. Others suspect that no single framework, from physics or other sources, will ever capture reality. Yet others guess that reality might be approached arbitrarily closely by some form of future physics, but probably based on completely different frameworks. We will designate these three approaches as the fundamentalist, secular and mystic views of the world, as seen by practicing physicists. We present and contrast each of these views, which arguably form broad categories capturing most if not all interpretations of physics. We argue that this diversity in the physics community is more useful than an ontological monoculture, since it motivates physicists to tackle unsolved problems with a wide variety of approaches. (shrink)

In this paper, I defend a theory of local temporality, sometimes referred to as a point-present theory. This theory has the great advantage that it allows for the possibility of an open future without requiring any alterations to our standard understanding of special relativity. Such theories, however, have regularly been rejected out of hand as metaphysically incoherent. After surveying the debate, I argue that such a transformation of temporal concepts (i) is suggested by the indexical semantics of tense in a (...) relativistic universe, (ii) when properly understood easily withstands the usual accusations of metaphysical incoherence and (iii) leads naturally to a meta-philosophical position from which we can understand and escape the increasing sterility of debates between radical Parmenideans and radical Heracliteans in the philosophy of time. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

There is a common form of problem, to be found in many areas of philosophy, concerning the relationship between our perspective on reality and reality itself. We make statements (or form judgements) about how things are from a given standpoint or perspective. We make the statement ‘it is raining’ from the standpoint of the present time, for example, or the statement‘it is here’ from the standpoint of where we are, or the statement ‘I am glad’ from the standpoint of a (...) subject. In each of these cases, the statement has a certain ‘aspect’ or perspectival character in virtue of which its truth is capable of varying from one standpoint to another. Thus the statement ‘it is raining’ is tensed, the statement ‘it is here’ is ‘spatiocentric’ and the statement ‘I am glad’ is first-personal. The problem we then face is to determine whether this aspect is a feature of the reality which is described or merely a feature of the statement by which it is described. Is reality itself somehow tensed or spatiocentric or firstpersonal or is it merely that we describe a tenseless or spatially uncentered or impersonal reality from a tensed or spatiocentric or first-personal point of view? (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

This paper argues that scientific realism commits us to a metaphysical determination relation between the mathematical entities that are indispensible to scientific explanation and the modal structure of the empirical phenomena those entities explain. The argument presupposes that scientific realism commits us to the indispensability argument. The viewpresented here is that the indispensability of mathematics commits us not only to the existence of mathematical structures and entities but to a metaphysical determination relation between those entities and the modal structure of (...) the physical world. The no-miracles argument is the primary motivation for scientific realism. It is a presupposition of this argument that unobservable entities are explanatory only when they determine the empirical phenomena they explain. I argue that mathematical entities should also be seen as explanatory only when they determine the empirical facts they explain, namely, the modal structure of the physical world. Thus, scientific realism commits us to a metaphysical determination relation between mathematics and physical modality that has not been previously recognized. The requirement to account for the metaphysical dependence of modal physical structure on mathematics limits the class of acceptable solutions to the applicability problem that are available to the scientific realist. (shrink)

The desire to minimize the number of individual new entities postulated is often referred to as quantitative parsimony. Its influence on the default hypotheses formulated by scientists seems undeniable. I argue that there is a wide class of cases for which the preference for quantitatively parsimonious hypotheses is demonstrably rational. The justification, in a nutshell, is that such hypotheses have greater explanatory power than less parsimonious alternatives. My analysis is restricted to a class of cases I shall refer to as (...) additive. Such cases involve the postulation of a collection of qualitatively identical individual objects which collectively explain some particular observed phenomenon. Especially clear examples of this sort occur in particle physics. 1 Introduction 2 Particle physics: a case study 3 Three kinds of simplicity 4 Explanatory power 5 Explanation and non-observation 6 Parsimony and scientific methodology 7 Conclusions. (shrink)

Every Thing Must Go aruges that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it ...

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)

We provide a derivation of the Born Rule in the context of the Everett (Many-Worlds) approach to quantum mechanics. Our argument is based on the idea of self-locating uncertainty: in the period between the wave function branching via decoherence and an observer registering the outcome of the measurement, that observer can know the state of the universe precisely without knowing which branch they are on. We show that there is a uniquely rational way to apportion credence in such cases, which (...) leads directly to the Born Rule. Our analysis generalizes straightforwardly to cases of combined classical and quantum self-locating uncertainty, as in the cosmological multiverse. (shrink)