This work explores issues with the eliminativist formulation of ontic structural realism. An ontology that totally eliminates objects is found lacking by arguing, first, that the theoretical frameworks used to support the best arguments against an object-oriented ontology (quantum mechanics, relativity theory, quantum field theory) can be seen in every case as physical models of empty worlds, and therefore do not represent all the information that comes from science, and in particular from fundamental physics, which also includes information about local (...) interactions between objects. Secondly, by giving a critical assessment of the role of symmetries in these fundamental physical theories; and, lastly, by warning about unfounded metaphysical assumptions. An argument is made for a moderate form of structural realism instead, one in which objects play the fundamental role of representing symmetries and bearing their conserved charges, and of participating in the network of interactions observed in the world. (shrink)

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries. Overall, the account meshes well with standard treatments of symmetries. But the distinction between the common core and the dual theories prompts a distinction between three kinds of symmetry: which we call ‘stipulated’, ‘accidental’ and ‘proper’.

What, if anything, would be wrong with replacing the light postulate in Einstein’s 1905 formulation of special relativity with a ‘sound postulate’, stating that the speed of sound is independent of the speed of the source? After reviewing the historical reasons underlying the particular focus on light in the special theory, we consider the circumstances under which such a theory of ‘sonic relativity’ would be justified on empirical grounds. We then consider the philosophical upshots of ‘sonic relativity’ for four contemporary (...) areas of investigation in the philosophy of spacetime: global versus subsystem symmetries, dynamical versus geometrical approaches to spacetime, the possibility of a preferred frame in theories of quantum gravity, and spacetime functionalism. (shrink)

The emphasis on models hasn’t completely eliminated laws from scientific discourse and philosophical discussion. Instead, I want to argue that much of physics lies beyond the strict domain of laws. I shall argue that in important cases the physics, or physical understanding, does not lie either in laws or in their properties, such as universality, consistency and symmetry. I shall argue that the domain of application commonly attributed to laws is too narrow. That is, laws can still play an important, (...) though peculiar, role outside their strict domain of validity. I shall argue also that, by way of a trade-off, while the actual domain of application of laws should be seen as much broader. At the same time, what I call ‘anomic’ representational elements reveal themselves as central to the descriptive and explanatory power of theories and model: boundary conditions, state descriptions, structures, constraints, limits and mechanisms. I conclude with a brief consideration of how my discussion has consequences for discussion of understanding, unification, approximation and dispositional properties. I focus on examples from physics, macroscopic and microscopic, phenomenological and fundametal: shock waves, propagation of cracks, symmetry breaking, and others. This law-eccentric kind of knowledge is central to both modeling the world and intervening in it. (shrink)

In this paper I reconstruct and critically examine the reasoning leading to the famous prediction of the ‘omega minus’ particle by M. Gell-Mann and Y. Ne’eman (in 1962) on the basis of a symmetry classification scheme. While the peculiarity of this prediction has occasionally been noticed in the literature, a detailed treatment of the methodological problems it poses has not been offered yet. By spelling out the characteristics of this type of prediction, I aim to underscore the challenges raised by (...) this episode to standard scientific methodology, especially to the traditional deductive-nomological account of prediction. (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)

The idea that there is some fundamental “level” or “ground” where our description of the world bottoms out has acquired the status of ‘the received view’ in metaphysics ; for a more recent critical defense, see Cameron, 2008). Typically this view is cashed out in terms of some set of ‘basic building blocks’ populating this level, which sits at the bottom of a hierarchy ordered according to some set of compositional principles. These fundamental building blocks are thus taken to have (...) some form of “ultimate” ontological priority with regard to everything else in the hierarchy. In this chapter I shall consider two kinds of threats to this view: the first comes from arguments against the idea of such a level in general, whereas the second concerns the nature of these occupants. As we’ll see, both these threats become entwined in the context of modern physics but I’ll conclude with a suggestion as to how this “received view” may be maintained in this context. (shrink)

The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge theories. A handful of elements---which for want of better terms can be called \emph{geometrical justice}, \emph{matter wave}, \emph{second clock effect}, \emph{twice too many energy levels}---are enough to produce Weyl's second theory; and from there, all that's needed to reach the Yang-Mills formalism is a \emph{non-Abelian structure group} (say $\mathbb{SU}\textrm{(}N\textrm{)}$).

Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In this (...) overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries. (shrink)

Over the past few decades the notion of symmetry has played a major role in physics and in the philosophy of physics. Philosophers have used symmetry to discuss the ontology and seeming objectivity of the laws of physics. We introduce several notions of symmetry in mathematics and explain how they can also be used in resolving different problems in the philosophy of mathematics. We use symmetry to discuss the objectivity of mathematics, the role of mathematical objects, the unreasonable effectiveness of (...) mathematics and the relationship of mathematics to physics. (shrink)

The paper studies the topography of the model landscape of the physics in the Higgs sector both within the Standard Model of Elementary Particle Physics and beyond in the months before the discovery of a SM Higgs boson. At first glance, this landscape appears fragmented into a large number of different models and research communities. But it also clusters around certain guiding ideas, among them supersymmetry or dynamical symmetry breaking, in which representative and narrative features of the models are combined. (...) These models do not stand for themselves, waiting to be experimentally confirmed and elevated to the status of theory. Rather do they, quite in the sense advocated by Morgan and Morrison, enjoy a far-reaching autonomy. Typically models in the Higgs sector entertain three types of mediating relationships. First, they mediate between the SM and the data in those instances where the SM contains some uncertainty in the values of its basic parameters. Second, they mediate between BSM physics and the data by instantiating the core ideas behind these often speculative generalizations of the SM as stories—in Hartmann’s sense—that motivate or justify the respective model. Third, the fact that Higgs models within BSM physics reproduce the SM predictions in the low-energy limit functions as a consistency constraint that does not involve any additional autonomy. Due to the second type of mediating relationship, the representative features of Higgs models BSM are complex. (shrink)

The Higgs mechanism is an essential but elusive component of the Standard Model of particle physics. Without it Yang‐Mills gauge theories would have been little more than a warm‐up exercise in the attempt to quantize gravity rather than serving as the basis for the Standard Model. This article focuses on two problems related to the Higgs mechanism clearly posed in Earman’s recent papers (Earman 2003, 2004a, 2004b): what is the gauge‐invariant content of the Higgs mechanism, and what does it mean (...) to break a local gauge symmetry? (shrink)

Modern particle physics suggests an intriguing vision of physical reality: we are to imagine the symmetries of the world as fundamental, whereas the material constituents of the world are ontologically derivative of them. This paper develops a novel ontology for non-relativistic quantum mechanics which gives precise metaphysical content to this vision.

Physicists have suggested what I call symmetry fundamentalism: the view that symmetries are fundamental aspects of physical reality and that these aspects are more fundamental than what one might ordinarily think of as the fundamental building blocks of the world, such as elementary particles. The goal of this paper is to develop an ontology for classical particle mechanics that provides a precise instance of symmetry fundamentalism.

Pierre Curie claimed that a symmetry of a cause must be found in the produced effects. This paper shows why this principle works in Curie’s example of the electrostatics of central fields, but fails in many others. The failure of Curie’s claim is then shown to be of special empirical interest, in that this failure underpins the experimental discovery of parity violation and of CP violation in the twentieth century.

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

Cosmological inflation is widely considered an integral and empirically successful component of contemporary cosmology. It was originally motivated by its solution of certain so-called fine-tuning problems of the hot big bang model, particularly what are known as the horizon problem and the flatness problem. Although the physics behind these problems is clear enough, the nature of the problems depends on the sense in which the hot big bang model is fine-tuned and how the alleged fine-tuning is problematic. Without clear explications (...) of these, it remains unclear precisely what problems inflationary theory is meant to be solving and whether it does in fact solve them. I analyze the structure of these problems and consider various interpretations that may substantiate the alleged fine-tuning. On the basis of this analysis I argue that at present there is no unproblematic interpretation available for which it can be said that inflation solves the big bang model’s alleged fine-tuning problems. (shrink)

A common adage runs that, given a theory manifesting symmetries, the syntax of that theory should be modified in order to construct a new theory, from which symmetry-variant structure of the original theory has been excised. Call this strategy for explicating the underlying ontology of symmetry-related models reduction. Recently, Dewar has proposed an alternative to reduction as a means of articulating the ontology of symmetry-related models—what he calls sophistication, in which the semantics of the original theory is modified, and symmetry-related (...) models of that theory are treated as if they are isomorphic. In this paper, we undertake a critical evaluation of sophistication about symmetries—we find the programme underdeveloped in a number of regards. In addition, we clarify the interplay between sophistication about symmetries, and a separate debate to which Dewar has contributed—viz., that between interpretational versus motivational approaches to symmetry transformations. (shrink)

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

This paper explores the argument structure of the concept of spontaneous symmetry breaking in the electroweak gauge theory of the Standard Model: the so-called Higgs mechanism. As commonly understood, the Higgs argument is designed to introduce the masses of the gauge bosons by a spontaneous breaking of the gauge symmetry of an additional field, the Higgs field. The technical derivation of the Higgs mechanism, however, consists in a mere reshuffling of degrees of freedom by transforming the Higgs Lagrangian in a (...) gauge-invariant manner. This already raises serious doubts about the adequacy of the entire manoeuvre. It will be shown that no straightforward ontic interpretation of the Higgs mechanism is tenable, since gauge transformations possess no real instantiations. In addition, the explanatory value of the Higgs argument will be critically examined. (shrink)

A widespread view in physics holds that the implementation of time reversal in standard quantum mechanics must be given by an anti-unitary operator. In foundations and philosophy of physics, however, there has been some discussion about the conceptual grounds of this orthodoxy, largely relying on either its obviousness or its mathematical-physical virtues. My aim in this paper is to substantively change the traditional structure of the debate by highlighting the philosophical commitments underlying the orthodoxy. I argue that the persuasive force (...) of the orthodoxy can benefit from a relational metaphysics of time and a by-stipulation view on symmetries. Within such philosophical background, I submit, the orthodoxy of time reversal in standard quantum mechanics could find a fertile terrain to lay the groundwork for a more thorough conceptual justification. (shrink)

Scientists often think of the world as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are the system of planets orbiting the sun or any other classical mechanical system, a hydrogen atom or any other quantum–mechanical system, and the earth’s atmosphere or any other statistical mechanical system. We introduce a general and unified framework for describing such systems and show how it can be used to examine some familiar philosophical questions, including (...) the following: how can we define nomological possibility, necessity, determinism, and indeterminism; what are symmetries and laws; what regularities must a system display to make scientific inference possible; how might principles of parsimony such as Occam’s Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features? Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy. (shrink)

Scientific practice involves two kinds of induction. In one, generalizations are drawn about the states of a particular system of variables. In the other, generalizations are drawn across systems in a class. We can discern two questions of correctness about both kinds of induction: what distinguishes those systems and classes of system that are ‘projectible’ in Goodman’s sense from those that are not, and what are the methods by which we are able to identify kinds that are likely to be (...) projectible? In answer to the first question, numerous theories of ‘natural kinds’ have been advanced, but none has satisfactorily addressed both questions simultaneously. I propose a shift in perspective. Both essentialist and cluster property theories have traditionally characterized kinds directly in terms of the causally salient properties their members possess. Instead, we should focus on ‘dynamical symmetries’, transformations of a system to which the causal structure of that system is indifferent. I suggest that to be a member of natural kind it is necessary and sufficient to possess a particular collection of dynamical symmetries. I show that membership in such a kind is in turn necessary and sufficient for the presence of the sort of causal structure that accounts for success in both kinds of induction, thus demonstrating that has been answered satisfactorily. More dramatically, I demonstrate that this new theory of ‘dynamical kinds’ provides an answer to with methodological implications concerning the discovery of projectible kinds. (shrink)

The significance of Max Black’s indistinguishable spheres for the nature of particles in quantum mechanics is discussed, focusing in particular on the use of the idea of weak indiscernibility. It is argued that there can be four such Black spheres but that five are impossible. It follows from this that Black’s example cannot serve as a model for indistinguishability in physics. But Black’s discussion of his spheres gave rise to the idea of weak discernibility and it is argued that such (...) predicates are unsatisfiable in the way intended. The underlying problem with weak discernibility spreads out to also undermine the whole notion that indistinguishability rests on a notion of the permutation invariance of particles. A better foundation is indicated. (shrink)

Not all symmetries are on a par. For instance, within Newtonian mechanics, we seem to have a good grasp on the empirical significance of boosts, by applying it to subsystems. This is exemplified by the thought experiment known as Galileo’s ship: the inertial state of motion of a ship is immaterial to how events unfold in the cabin, but is registered in the values of relational quantities such as the distance and velocity of the ship relative to the shore. But (...) the significance of gauge symmetries seems less clear. For example, can gauge transformations in Yang-Mills theory—taken as mere descriptive redundancy—exhibit a similar relational empirical significance as the boosts of Galileo’s ship? This question has been debated in the last fifteen years in philosophy of physics. I will argue that the answer is ‘yes’, but only for a finite subset of gauge transformations, and under special conditions. Under those conditions, we can mathematically identify empirical significance with a failure of supervenience: the state of the Universe is not uniquely determined by the intrinsic state of its isolated subsystems. Empirical significance is therefore encoded in those relations between subsystems that stand apart from their intrinsic states. (shrink)

The paper investigates the spontaneous breaking of gauge symmetries in gauge theories from a philosophical angle, taking into account the fact that the notion of a spontaneously broken local gauge symmetry, though widely employed in textbook expositions of the Higgs mechanism, is not supported by our leading theoretical frameworks of gauge quantum theories. In the context of lattice gauge theory, the statement that local gauge symmetry cannot be spontaneously broken can even be made rigorous in the form of Elitzur’s theorem. (...) Nevertheless, gauge symmetry breaking does occur in gauge quantum field theories in the form of the breaking of remnant subgroups of the original local gauge group under which the theories typically remain invariant after gauge fixing. The paper discusses the relation between these instances of symmetry breaking and phase transitions and draws some more general conclusions for the philosophical interpretation of gauge symmetries and their breaking. (shrink)

In this paper, we put forward an alternative interpretation of time-reversal symmetry in philosophy of physics: Humean time-reversal symmetry. According to it, time-reversal symmetry is understood as a heuristic, epistemic virtue of the best system, not as a property of the Humean mosaic. One of the consequences of this view is that one of the main arguments against a primitive direction of time is rendered harmless, which paves the way for primitivism about the direction of time.

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. (shrink)

Suppose that one thinks that certain symmetries of a theory reveal “surplus structure”. What would a formalism without that surplus structure look like? The conventional answer is that it would be a reduced theory: a theory which traffics only in structures invariant under the relevant symmetry. In this paper, I argue that there is a neglected alternative: one can work with a sophisticated version of the theory, in which the symmetries act as isomorphisms.

This is an essay about general covariance, and what it says about spacetime structure. After outlining a version of the dynamical approach to spacetime theories, and how it struggles to deal with generally covariant theories, I argue that we should think about the symmetry structure of spacetime rather differently in generally-covariant theories compared to non-generally-covariant theories: namely, as a form of internal rather than external symmetry structure.

Path-dependence offers a promising way of understanding the role historicity plays in explanation, namely, how the past states of a process can matter in the explanation of a given outcome. The two main existing accounts of path-dependence have sought to present it either in terms of dynamic landscapes or branching trees. However, the notions of landscape and tree both have serious limitations and have been criticized. The framework of causal networks is both more fundamental and more general that that of (...) landscapes and trees. Within this framework, I propose that historicity in networks should be understood as symmetry breaking. History matters when an asymmetric bias towards an outcome emerges in a causal network. This permits a quantitative measure for how path-dependence can occur in degrees, and offers suggestive insights into how historicity is intertwined both with causal structure and complexity. (shrink)

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

The paper proposes a combined account of identity for physical states and direct empirical significance for symmetries according to which symmetry-related state variables designate distinct physical states if and only if the symmetry that relates them has direct empirical significance. Strengthening an earlier result, I show that, given this combined account, the local gauge symmetries in our leading contemporary theories of particle physics do not have any direct empirical significance.