John Earman

These provocative essays by leading philosophers of science exemplify and illuminate the contemporary uncertainty and excitement in this changing field. The papers are rich in new perspectives, and their far-reaching criticisms challenge arguments long prevalent in classic philosophical problems of induction, empiricism, and realism. By turns empirical or analytic, historical or programmatic, confessional or argumentative, the authors' arguments both describe and demonstrate the fact that philosophy of science is in a ferment more intense than at any time since the heyday of logical positivism seventy years ago.

The idea that the quantum probabilities are best construed as the personal/subjective degrees of belief of Bayesian agents is an old one. In recent years the idea has been vigorously pursued by a group of physicists who fly the banner of quantum Bayesianism. The present paper aims to identify the prospects and problems of implementing QBism, and it critically assesses the claim that QBism provides a resolution of some of the long-standing foundations issues in quantum mechanics, including the measurement problem and puzzles of nonlocality.

David Lewis' "Principal Principle" is a purported principle of rationality connecting credence and objective chance. Almost all of the discussion of the Principal Principle in the philosophical literature assumes classical probability theory, which is unfortunate since the theory of modern physics that, arguably, speaks most clearly of objective chance is the quantum theory, and quantum probabilities are not classical probabilities. Given the generally accepted updating rule for quantum probabilities, there is a straight forward sense in which the Principal Principle is a theorem of quantum probability theory for any credence function satisfying a suitable additivity requirement. No additional principle of rationality is needed to bring credence into line with objective chance.

David Lewis' "Principal Principle" is a purported principle of rationality connecting credence and objective chance. Almost all of the discussion of the Principal Principle in the philosophical literature assumes classical probability theory, which is unfortunate since the theory of modern physics that, arguably, speaks most clearly of objective chance is the quantum theory, and quantum probabilities are not classical probabilities. This paper develops an account of how chance works in quantum theory that reveals a connection between credence and quantum chance quite unlike what is envisioned in the philosophical literature: as a theorem of quantum probability, updating a completely additive chance function on a knowledge of chance brings credence into line with chance. The account also suggests a way of construing the Humean supervenience of chance that has the virtue of dissolving some puzzles about the "undermining" of chances. A number of interpretative moves in quantum theory are needed to generate the account of quantum chance on offer here, and they can all be disputed. But engaging in these disputes is part and parcel of naturalized metaphysics, and as such it can be more productive than engaging in the battle of intuitions among analytical metaphysicians about how chance ought to work this and other possible worlds.

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer

Although the philosophical literature on the foundations of quantum field theory recognizes the importance of Haag’s theorem, it does not provide a clear discussion of the meaning of this theorem. The goal of this paper is to make up for this deficit. In particular, it aims to set out the implications of Haag’s theorem for scattering theory, the interaction picture, the use of non-Fock representations in describing interacting fields, and the choice among the plethora of the unitarily inequivalent representations of the canonical commutation relations for free and interacting fields.

Recent years have seen a growing consensus in the philosophical community that the grandfather paradox and similar logical puzzles do not preclude the possibility of time travel scenarios that utilize spacetimes containing closed timelike curves. At the same time, physicists, who for half a century acknowledged that the general theory of relativity is compatible with such spacetimes, have intensely studied the question whether the operation of a time machine would be admissible in the context of the same theory and of its quantum cousins. A time machine is a device which brings about closed timelike curves—and thus enables time travel—where none would have existed otherwise. The physics literature contains various no-go theorems for time machines, i.e., theorems which purport to establish that, under physically plausible assumptions, the operation of a time machine is impossible. We conclude that for the time being there exists no conclusive no-go theorem against time machines. The character of the material covered in this article makes it inevitable that its content is of a rather technical nature. We contend, however, that philosophers should nevertheless be interested in this literature for at least two reasons. First, the topic of time machines leads to a number of interesting foundations issues in classical and quantum theories of gravity; and second, philosophers can contribute to the topic by clarifying what it means for a device to count as a time machine, by relating the debate to other concerns such as Penrose's cosmic censorship conjecture and the fate of determinism in general relativity theory, and by eliminating a number of confusions regarding the status of the paradoxes of time travel. The present article addresses these ambitions in as non-technical a manner as possible, and the reader is referred to the relevant physics literature for details.

It is argued that seemingly “merely technical” issues about the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have interesting implications for foundations problems in classical and quantum physics. For example, pursuing these technical issues reveals a sense in which quantum mechanics can cure some of the forms of indeterminism that crop up in classical mechanics; and at the same time it reveals the possibility of a form of indeterminism in quantum mechanics that is quite distinct from the indeterminism of state vector collapse. More generally, the examples considered indicate that the classical–quantum correspondence is more intricate and delicate than is generally appreciated. The aim of the article is to give a series of examples that reveal why the technical issues about self-adjointness are relevant to the philosophy of science and that help to make the issues accessible to philosophers of science.

Leibniz vertrat auf der einen Seite die Überzeugung, es gebe Relationen weder als abstrakte Universalien noch als konkrete Akzidenzen. Auf der anderen Seite war er überzeugt, daß es relationale Eigenschaften von physischen Gegenständen, die nicht auf nicht-relationale Eigenschaften dieser Objekte reduziert werden können, gebe. Die wirklichen Einzeldinge haben jedoch keine nicht-formalen relationalen Eigenschaften. Sie stehen zwar in Beziehung oder sind miteinander verknüpft, aber nur durch Perzeptionen, so daß der Begriff Beziehung hier ein Begriff der zweiten Ordnung ist. Die physische Welt mit ihren relationalen Eigenschaften ist fundiert in den Monaden. Die Fundierung ist eine Reduktion, aber es ist ein Mißverständnis, wenn man diese Reduktion so beschreibt, als impliziere sie eine Reduktion von relationalen Eigenschaften physischer Gegenstände; denn ihre nicht relationalen Eigenschaften werden in gleicher Weise reduziert

A criterion is proposed to ensure that classical relativistic fields do not propagate superluminally. If this criterion does indeed serve as a sufficient condition for no superluminal propagation it follows that various other criteria found in the physics literature cannot serve as necessary conditions since they can fail although the proffered condition holds. The rejected criteria rely on energy conditions that are believed to hold for most classical fields used in actual applications. But these energy conditions are known to fail at small scales for quantum fields. It is argued that such a failure is not necessarily a cause for concern about superluminal propagation in the quantum regime since the proffered criterion of no superluminal propagation for classical fields has a natural analog for quantum fields and, further, this quantum analog condition provably holds for some quantum fields despite the violation of energy conditions. The apparatus developed here also offers a different approach to treating the Reichenbach-Salmon cases of "pseudo-causal processes" and helps to clarify the issue of whether relativity theory is consistent with superluminal propagation.

For much of this century, philosophers hoped that Einstein’s general theory of relativity would play the role of physician to philosophy. Its development would positively influence the philosophy of methodology and confirmation, and its ontology would answer many traditional philosophical debates—for example, the issue of spacetime substantivalism. In physics, by contrast, the attitude is increasingly that GTR itself needs a physician. The more we learn about GTR the more we discover how odd are the spacetimes that it allows. Not only does GTR permit singularities, naked and clothed, but it allows time travel, topology change, and event and particle horizons, to name but a few of these oddities. Rather than revel in the riches of the theory, however, many physicists seek to rule out one or more of the above “pathologies” on the grounds that they are “physically unreasonable.” Thus contemporary researchers hawk various “cures” for the “illnesses” of GTR: among them, Chronology Protection to ensure against time travel, Cosmic Censorship for naked singularities, Inflation for horizons, and so on. The physics of these illnesses and cures, and the problems they engender, are the source of much controversy in the physics literature. Philosophers have largely neglected it. But clearly the subject needs philosophers of physics to determine whether the patient is genuinely ailing, and if so, to sift the real antidotes from the snake oil.

It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of general covariance is explained and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance.

In 1894 Pierre Curie announced what has come to be known as Curie's Principle: the asymmetry of effects must be found in their causes. In the same publication Curie discussed a key feature of what later came to be known as spontaneous symmetry breaking: the phenomena generally do not exhibit the symmetries of the laws that govern them. Philosophers have long been interested in the meaning and status of Curie's Principle. Only comparatively recently have they begun to delve into the mysteries of spontaneous symmetry breaking. The present paper aims to advance the discussion of both of these twin topics by tracing their interaction in classical physics, ordinary quantum mechanics and quantum field theory. The features of spontaneous symmetry that are peculiar to quantum field theory have received scant attention in the philosophical literature. These features are highlighted here, along with an explanation of why Curie's Principle, though valid in quantum field theory, is nearly vacuous in that context.