This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction.In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each (...) of them a model or a framework for modelling, from well-established mathematics or physics.I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit N→∞ of a parameter N.But on the other hand, this does not show that the N=∞ limit is “physically real”, as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real.My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics). (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

We pose and resolve a puzzle about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator in a ground state's GNS representation. But Wigner's theorem guarantees that any symmetry's action on states is given by a unitary operator. How can this unitary operator fail to implement the symmetry in the GNS representation? We show how it is possible for a unitary operator of this (...) sort to connect the folia of unitarily inequivalent representations. This result undermines interpretations of quantum theory that hold unitary equivalence to be necessary for physical equivalence. (shrink)

The phenomenon of broken spacetime symmetry in the quantum theory of infinite systems forces us to adopt an unorthodox ontology. We must abandon the standard conception of the physical meaning of these symmetries, or else deny the attractive “liberal” notion of which physical quantities are significant. A third option, more attractive but less well understood, is to abandon the existing (Halvorson-Clifton) notion of intertranslatability for quantum theories.

I argue that the Hole Argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the Hole Argument is blocked.

Starting from the standard quantum formalism for a single spin 1/2 system (e.g., an electron), this essay develops a model rich enough not only to afford an explication of symmetry breaking but also to frame questions about how to circumscribe physical possibility on behalf of theories that countenance symmetry breaking.

Ruetsche argues that a problem of unitarily inequivalent representations arises in quantum theories with infinitely many degrees of freedom. I provide an algebraic formulation of classical field theories and show that unitarily inequivalent representations arise there as well. I argue that the classical case helps us rule out one possible response to the problem of unitarily inequivalent representations called Hilbert Space Conservatism.

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, (...) we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by Doplicher, Haag, and Roberts (DHR); and we give an alternative proof of Doplicher and Robert's reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to J. E. Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix. (shrink)