John Dougherty

In the framework of quantum field theory, one finds multiple load-bearing locality and causality conditions. One of the most important is the cluster decomposition principle, which requires that scattering experiments conducted at large spatial separation have statistically independent results. The principle grounds a number of features of quantum field theory, especially the structure of scattering theory. However, the statistical independence required by cluster decomposition is in tension with the long-range correlations characteristic of entangled states. In this paper, we argue that cluster decomposition is best stated as a condition on the dynamics of a quantum field theory, not directly as a statistical independence condition. This redefinition avoids the tension with entanglement while better capturing the physical significance of cluster decomposition and the role it plays in the structure of quantum field theory.

Wilfrid Sellars appears in Bas C. van Fraassen’s The Scientific Image as one of van Fraassen’s primary realist opponents. However, little attention has been paid to Sellars’s influence on van Fraassen’s constructive empiricism and van Fraassen’s criticisms of Sellarsian realism, despite the significant impact of The Scientific Image on the realism debate and recent renewed interest in Sellars’s scientific realism. In the first half of this article, I argue that reading The Scientific Image against a Sellarsian background helps clarify and justify van Fraassen’s controversial characterization of scientific realism. Sellars and van Fraassen each inhabit a recognizable position in the other’s description of the realism debate and can reciprocally recognize the other as inhabiting the opposing position. The second half of this article reconstructs van Fraassen’s objections to Sellarsian realism in The Scientific Image and its precursors. I argue that van Fraassen’s criticisms of Sellarsian realism significantly developed between his 1975 paper, “Wilfrid Sellars on Scientific Realism” and his 1980 book.

Scientific realists argue that empirically successful theories latch on to unobservable features of reality. But it is often thought that conventional theories of particle physics do not deserve realist commitment, despite their outstanding empirical success. Recently, a number of ‘effective’ realisms have argued that we should distinguish between the low- and high-energy claims of particle theory and that we can and should be realist about the former but not the latter. I present a reductio ad absurdum against the most naive extension of this proposal to the most empirically successful theories of particle physics, such as quantum electrodynamics. By considering two replies to this argument, I distinguish two forms of effective realism. A conservative form hews closely to traditional forms of realism, and the resources of this tradition allow conservative effective realism to avoid the reductio; however, this form of effective realism is left without a positive account of quantum electrodynamics. A more radical form of effective realism can account for quantum electrodynamics, but it requires substantial development, along with a revision of the terms of the realist debate.

String theory reduces to general relativity in appropriate regimes. Huggett and Vistarini have given an account of this reduction that includes a deflationary thesis about symmetry: although the usual derivation of general relativity from string theory appeals to a premise about the theory’s symmetry, Huggett and Vistarini argue that this premise plays no logical role. In this article I disagree with their deflationary thesis and argue that their analysis is based on a popular but flawed conception of the interaction between symmetry and quantization. I argue that a better conception recognizes a distinction between ordinary, broken, and anomalous symmetries.

This paper criticizes the traditional philosophical account of the quantization of gauge theories and offers an alternative. On the received view, gauge theories resist quantization because they feature distinct mathematical representatives of the same physical state of affairs. This resistance is overcome by a sequence of ad hoc modifications, justified in part by reference to semiclassical electrodynamics. Among other things, these modifications introduce "ghosts": particles with unphysical properties which do not appear in asymptotic states and which are said to be purely a notational convenience. I argue that this sequence of modifications is unjustified and inadequate, making it a poor basis for the interpretation of ghosts. I then argue that gauge theories can be quantized by the same method as any other theory. On this account, ghosts are not purely notation: they are coordinates on the classical configuration space of the theory—specifically, on its gauge structure. This interpretation does not fall prey to the standard philosophical arguments against the significance of ghosts, due to Weingard. Weingard’s argumentative strategy, properly applied, in fact tells in favor of ghosts’ physical significance.

Elay Shech and John Earman have recently argued that the common topological interpretation of the Aharonov–Bohm (AB) effect is unsatisfactory because it fails to justify idealizations that it presupposes. In particular, they argue that an adequate account of the AB effect must address the role of boundary conditions in certain ideal cases of the effect. In this paper I defend the topological interpretation against their criticisms. I consider three types of idealization that might arise in treatments of the effect. First, Shech takes the AB effect to involve an idealization in the form of a singular limit, analogous to the thermodynamic limit in statistical mechanics. But, I argue, the AB effect itself features no singular limits, so it doesn’t involve idealizations in this sense. Second, I argue that Shech and Earman’s emphasis on the role of boundary conditions in the AB effect is misplaced. The idealizations that are useful in connecting the theoretical description of the AB effect to experiment do interact with facts about boundary conditions, but none of these idealizations are presupposed by the topological interpretation of the effect. Indeed, the boundary conditions for which Shech and demands justification are incompatible with some instances of the AB effect, so the topological interpretation ought not justify them. Finally, I address the role of the non-relativistic approximation usually presumed in discussions of the AB effect. This approximation is essential if—as the topological interpretation supposes—the AB effect constrains and justifies a relativistic theory of the electromagnetic interaction. In this case the ends justify the means. So the topological view presupposes no unjustified idealizations.

According to the Standard Model of particle physics, some gauge transformations are physical symmetries. That is, they are mathematical transformations that relate representatives of distinct physical states of affairs. This is at odds with the standard philosophical position according to which gauge transformations are an eliminable redundancy in a gauge theory's representational framework. In this paper I defend the Standard Model's treatment of gauge from an objection due to Richard Healey. If we follow the Standard Model in taking some gauge transformations to be physical symmetries then we face the “strong CP problem”, but if we adopt the standard philosophical position on gauge then the strong CP problem dissolves. Healey offers this as a reason in favor of the standard philosophical view. However, as I argue here, following Healey's recommendation gives a theory that makes bad empirical predictions.

I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in a more faithful mathematical representation of general relativity as used by physicists. It also gives a substantive notion of general covariance.

Marc Lange argues that proofs by mathematical induction are generally not explanatory because inductive explanation is irreparably circular. He supports this circularity claim by presenting two putative inductive explanantia that are one another’s explananda. On pain of circularity, at most one of this pair may be a true explanation. But because there are no relevant differences between the two explanantia on offer, neither has the explanatory high ground. Thus, neither is an explanation. I argue that there is no important asymmetry between the two cases because they are two presentations of the same explanation. The circularity argument requires a problematic notion of identity of proofs. I argue for a criterion of proof individuation that identifies the two proofs Lange offers. This criterion can be expressed in two equivalent ways: one uses the language of homotopy type theory, and the second assigns algebraic representatives to proofs. Though I will concentrate on one example, a criterion of proof identity has much broader consequences: any investigation into mathematical practice must make use of some proof-individuation principle.

Black hole thermodynamics is regarded as one of the deepest clues we have to a quantum theory of gravity. It motivates scores of proposals in the field, from the thought that the world is a hologram to calculations in string theory. The rationale for BHT playing this important role, and for much of BHT itself, originates in the analogy between black hole behavior and ordinary thermodynamic systems. Claiming the relationship is “more than a formal analogy,” black holes are said to be governed by deep thermodynamic principles: what causes your tea to come to room temperature is said additionally to cause the area of black holes to increase. Playing the role of philosophical gadfly, we pour a little cold water on the claim that BHT is more than a formal analogy. First, we show that BHT is often based on a kind of caricature of thermodynamics. Second, we point out an important ambiguity in what systems the analogy is supposed to govern, local or global ones. Finally, and perhaps worst, we point out that one of the primary motivations for the theory arises from a terribly controversial understanding of entropy. BHT may be a useful guide to future physics. Only time will tell. But the analogy is not nearly as good as is commonly supposed.

In the philosophical literature on Yang-Mills theories, field formulations are taken to have more structure and to be local, while curve-based formulations are taken to have less structure and to be nonlocal. I formalize the notion of locality at issue and show that theories with less structure are nonlocal. However, the amount of structure had by some formulation is independent of whether it uses fields or curves. The relevant difference in structure is not a difference in set-theoretic structure. Rather, it is a difference in the structure of the category of models of the theory.