It is often said in physics that if two models of a theory are related by a symmetry, then the two models provide (or could provide) two different representations of the very same situation, alike the case of two maps of different color for the very same city. It is also said that the situations represented by two models of a theory are indiscernible in some ways when the models in question are related by a symmetry of the theory, just (...) like the situation in the interior of the cabin of a train when the train is at rest in the station is empirically indiscernible from the situation in the interior when the train is moving uniformly (in classical mechanics, these two situations are represented by two models related by a boost). In recent years, philosophers of physics have focused a lot of attention in developing various principles that aim to elucidate these and similar remarks on symmetries, models, physical equivalence, and representation that are widespread in physics practice. The goal of the current article is to provide a critical review of these principles, and suggest a new framework for thinking about these kinds of questions. One important upshot of the paper is that questions of indiscernibility, and questions of the representational capacity of models, must be distinguished from one another. (shrink)

This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

We study a long-recognised but under-appreciated symmetry called dynamical similarity and illustrate its relevance to many important conceptual problems in fundamental physics. Dynamical similarities are general transformations of a system where the unit of Hamilton’s principal function is rescaled, and therefore represent a kind of dynamical scaling symmetry with formal properties that differ from many standard symmetries. To study this symmetry, we develop a general framework for symmetries that distinguishes the observable and surplus structures of a theory by using the (...) minimal freely specifiable initial data for the theory that is necessary to achieve empirical adequacy. This framework is then applied to well-studied examples including Galilean invariance and the symmetries of the Kepler problem. We find that our framework gives a precise dynamical criterion for identifying the observables of those systems, and that those observables agree with epistemic expectations. We then apply our framework to dynamical similarity. First we give a general definition of dynamical similarity. Then we show, with the help of some previous results, how the dynamics of our observables leads to singularity resolution and the emergence of an arrow of time in cosmology. (shrink)

There exists a common view that for theories related by a ‘duality’, dual models typically may be taken ab initio to represent the same physical state of affairs, i.e. to correspond to the same possible world. We question this view, by drawing a parallel with the distinction between ‘interpretational’ and ‘motivational’ approaches to symmetries.

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)

In the recent philosophical debate about the relationship between symmetries and physical equivalence, two approaches have been distinguished: motivationalism and interpretationalism. In this paper, I point out that there are variants of interpretationalism that have not been taken into account by the proponents of motivationalism. I also argue that some of these overlooked variants of interpretationalism are not prone to the motivationalists’ criticism and overall are the most attractive positions available.

In the recent philosophical literature, several counterexamples to the interpretative principle that symmetry-related models are physically equivalent have been suggested The Oxford handbook of philosophy of physics, Oxford University Press, Oxford, 2013, Noûs 52:946–981, 2018; Fletcher in Found Phys 50:228–249, 2020). Arguments based on these counterexamples can be understood as arguments from scientific practice of roughly the following form: because in scientific practice such-and-such symmetry-related models are treated as representing distinct physical situations, these models indeed represent distinct physical situations. In (...) this paper, a strategy for analysing arguments of this type is presented and applied to the examples that can be found in the literature. I argue that if we are exclusively interested in models understood as representing entire possible worlds, arguments from scientific practice should involve some additional assumptions to guarantee they are relevant for models understood in this way. However, none of the examples presented in the literature satisfy all these additional assumptions, which leads to the conclusion that arguments from scientific practice based on these examples do not undermine the interpretative principle that different symmetry-related models represent the same possible world. (shrink)

In this paper I argue that the concept of time-reversal invariance in physics suffers from metaphysical underdetermination, that is, that the concept may be understood differently depending on one’s metaphysics about time, laws, and a theory’s basic properties. This metaphysical under-determinacy also affects subsidiary debates in philosophy of physics that rely on the concept of time-reversal invariance, paradigmatically the problem of the arrow of time. I bring up three cases that, I believe, fairly illustrate my point. I conclude, on the (...) one hand, that any formal representation of time reversal should be explicit about the metaphysical assumptions of the concept that it intends to represent; on the other, that philosophical arguments that rely on time reversal to argue against a direction of time require additional premises. (shrink)

Two views on the direction of time can be distinguished—primitivism and non-primitivism. According to the former, time’s direction is an in-built, fundamental property of the physical world. According to the latter, time’s direction is a derivative property of a fundamentally directionless reality. In the literature, non-primitivism has been widely supported since most our fundamental dynamical laws are time-reversal invariant. In this paper, I offer a way out to the primitivist. I argue that we do have good grounds to support a (...) primitive direction of time in the quantum realm. The rationale depends on exploiting the metaphysical and dynamical underdetermination of quantum theories to make a case in favor of primitivism. In particular, primitivism can be grounded in spontaneous collapse theories. The specific sense in which these theories capture a primitive direction of time is that, when the ontology of the theory is seriously taken into account, it does not remain invariant under time reversal. In taking GRW with a matter-density field, I will argue that primitivism about the direction of time can be defended in the quantum case. (shrink)

Symmetry-based inferences have permeated many discussions in philosophy of physics and metaphysics of science. It is claimed that symmetries in our physical theories would allow us to draw metaphysical conclusions about the world, a view that I call ‘symmetry inferentialism’. This paper is critical to this view. I claim that (a) it assumes a philosophically questionable characterization of the relevant validity domain of physical symmetries, and (b) it overlooks a distinction between two opposing ways through which relevant physical symmetries become (...) established. My conclusion is that symmetry inferentialism loses persuasive force when these two points are taken into consideration. (shrink)

The notion of time reversal has caused some recent controversy in philosophy of physics. The debate has mainly put the focus on how the concept of time reversal should be formally implemented across different physical theories and models, as if time reversal were a single, unified concept that physical theories should capture. In this paper, I shift the focus of the debate and defend that the concept of time reversal involves at least three facets, where each of them gives rise (...) to opposing views. In particular, I submit that any account of time reversal presupposes (explicitly or implicitly) modal, metaphysical, and heuristic facets. The comprehension of this multi-faceted nature of time reversal, I conclude, shows that time reversal can be coherently said in many ways, suggesting a disunified concept. (shrink)

Symmetry fundamentalism claims that symmetries should be taken metaphysically seriously as part of the fundamental ontology. The main aim of this paper is to bring some novel objections against this view. I make two points. The first places symmetry fundamentalism within a broader network of philosophical commitments. I claim that symmetry fundamentalism entails idealization realism which, in turn, entails the reification of further theoretical structures. This might lead to an overloaded ontology as well as open the way to criticisms from (...) metaphysical frameworks that reject such reifications. The second point contrasts symmetry fundamentalism with the now common view that regards symmetries as stipulations guiding empirical research and theory construction. I claim that both views clash each other and cannot be held together. I finish the paper with a more positive prospect that will be developed in future work—symmetry deflationism. (shrink)

The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen as part of (...) the same package. I argue that this is a mistake: Leibniz Equivalence and the Invariance Principle are orthogonal to each other. This means that it is possible to hold that symmetry-related models represent the same state of affairs whilst having a realist attitude towards variant quantities. Various arguments have been presented in favour of the Invariance Principle: a rejection of the Invariance Principle is inter alia supposed to cause indeterminism, undetectability or failure of reference. I respond that these arguments at best support Leibniz Equivalence. (shrink)

It is now standard to interpret symmetry-related models of physical theories as representing the same state of affairs. Recently, a debate has sprung up around the question when this interpretational move is warranted. In particular, Møller-Nielsen :1253–1264, 2017) has argued that one is only allowed to interpret symmetry-related models as physically equivalent when one has a characterisation of their common content. I disambiguate two versions of this claim. On the first, a perspicuous interpretation is required: an account of the models’ (...) common ontology. On the second, stricter, version of this claim, a perspicuous formalism is required in addition: one whose mathematical structures ‘intrinsically’ represent the physical world, in the sense of Field. Using Dewar’s :485–521, 2019) distinction between internal and external sophistication as a case study, I argue that the second requirement is decisive. This clarifies the conditions under which it is warranted to interpret symmetry-related models as physically equivalent. (shrink)

We argue that Hamiltonian mechanics is more fundamental than Lagrangian mechanics. Our argument provides a non-metaphysical strategy for privileging one formulation of a theory over another: ceteris paribus, a more general formulation is more fundamental. We illustrate this criterion through a novel interpretation of classical mechanics, based on three physical conditions. Two of these conditions suffice for recovering Hamiltonian mechanics. A third condition is necessary for Lagrangian mechanics. Hence, Lagrangian systems are a proper subset of Hamiltonian systems. Finally, we provide (...) a geometric interpretation of the principle of stationary action and rebut arguments for privileging Lagrangian mechanics. (shrink)

This essay revisits some classic problems in the philosophy of space and time concerning the counting of possibilities. I argue that we should think that two Newtonian worlds can differ only as to when or where things happen and that general relativistic worlds can differ in something like the same way—the first of these theses being quaintly heterodox, the second baldly heretical, according to the mores of contemporary philosophy of physics.

Relativity theory is often said to support something called ‘the four-dimensional view of reality’. But there are at least three different views that sometimes go by this name. One is ‘spacetime unitism’, according to which there is a spacetime manifold, and if there are such things as points of space or instants of time, these are just spacetime regions of different sorts: thus space and time are not separate manifolds. A second is the B-theory of time, according to which the (...) past, present, and future are all equally real and there is nothing metaphysically special about the present. A third is perdurantism, according to which persisting material objects are made up of different temporal parts located at different times. We sketch routes from relativity to unitism and to the B-theory. We then discuss some routes to perdurantism, via the B-theory and via unitism. (shrink)

The article proposes a novel approach to the much discussed question of which symmetries have ‘direct empirical significance’ and which do not. The approach is based on a development of a recently proposed framework by Hilary Greaves and David Wallace, who claim that, contrary to the standard folklore among philosophers of physics, ‘local’ symmetries may have direct empirical significance no less than ‘global’ ones. Partly vindicating the standard folklore, a result is derived here from a number of plausible assumptions, that (...) states that local symmetries can indeed have no direct empirical significance. Ways to interpret the result are considered and possible morals are outlined. 1 Introduction2 Greaves and Wallace on Interior versus Non-interior Symmetries3 Elaborating on the Greaves/Wallace Framework4 The Result5 Problems with ’t Hooft’s Beam Splitter6 Summary and Conclusion. (shrink)

Recent work on the hole argument in general relativity by Weatherall has drawn attention to the neglected concept of models’ representational capacities. I argue for several theses about the structure of these capacities, including that they should be understood not as many-to-one relations from models to the world, but in general as many-to-many relations constrained by the models’ isomorphisms. I then compare these ideas with a recent argument by Belot for the claim that some isometries “generate new possibilities” in general (...) relativity. Philosophical orthodoxy, by contrast, denies this. Properly understanding the role of representational capacities, I argue, reveals how Belot’s rejection of orthodoxy does not go far enough, and makes better sense of our practices in theorizing about spacetime. (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 this paper, I consider the role of exact symmetries in theories of physics, working throughout with the example of gravitation set in Newtonian spacetime. First, I spend some time setting up a means of thinking about symmetries in this context; second, I consider arguments from the seeming undetectability of absolute velocities to an anti-realism about velocities; and finally, I claim that the structure of the theory licences us to interpret models which differ only with regards to the absolute velocities (...) of objects as depicting the same physical state of affairs. In defending this last claim, I consider how ideas and resources from the philosophy of language may usefully be brought to bear on this topic. (shrink)

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.

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the heuristic function (...) of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the heuristic function (...) of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

Substantivalism is the view that space exists in addition to any material bodies situated within it. Relationalism is the opposing view that there is no such thing as space; there are just material bodies, spatially related to one another. This paper assesses this issue in the context of classical physics. It starts by describing the bucket argument for substantivalism. It then turns to anti-substantivalist arguments, including Leibniz's classic arguments and their contemporary reincarnation under the guise of ‘symmetry’. It argues that (...) these anti-substantivalist arguments are stronger than is often acknowledged. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

I advance a stipulational account of symmetry-to-reality inference, according to which symmetries are part of the content of theories. For a theory to have a certain symmetry is for the theory to stipulate that models related by the symmetry represent the same possibility. I show that the stipulational account compares positively with alternatives, including Dasgupta’s epistemic account of symmetry, Møller-Nielsen’s motivational account, and so-called formal and ontic accounts. In particular, the stipulational account avoids the problems Belot and Dasgupta have raised (...) against formal and ontic accounts of symmetry while retaining many of the advantages of these otherwise-attractive frameworks. (shrink)

Nature seems to be such that we can describe it accurately with quantum theories of bosons and fermions alone, without resort to parastatistics. This has been seen as a deep mystery: paraparticles make perfect physical sense, so why don’t we see them in nature? We consider one potential answer: every paraparticle theory is physically equivalent to some theory of bosons or fermions, making the absence of paraparticles in our theories a matter of convention rather than a mysterious empirical discovery. We (...) argue that this equivalence thesis holds in all physically admissible quantum field theories falling under the domain of the rigorous Doplicher–Haag–Roberts approach to superselection rules. Inadmissible parastatistical theories are ruled out by a locality-inspired principle we call charge recombination. 1 Introduction2 Paraparticles in Quantum Theory3 Theoretical Equivalence3.1 Field systems in algebraic quantum field theory3.2 Equivalence of field systems4 A Brief History of the Equivalence Thesis4.1 The Green decomposition4.2 Klein transformations4.3 The argument of Drühl, Haag, and Roberts4.4 The Doplicher–Roberts reconstruction theorem5 Sharpening the Thesis6 Discussion6.1 Interpretations of Quantum Mechanics6.2 Structuralism and haecceities6.3 Paraquark theories. (shrink)

Imagine that we are on a train playing with some mechanical systems. Why can’t we detect any differences in their behavior when the train is parked versus when it is moving uniformly? The standard answer is that boosts are symmetries of Newtonian systems. In this paper, I use the case of a spring to argue that this answer is problematic because symmetries are neither sufficient nor necessary for preserving its behavior. I also develop a new answer according to which boosts (...) preserve the relational properties on which the behavior of a system depends, even when they are not symmetries. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

A new argument is given for the thesis that only symmetry-invariant physical quantities are real. Non-invariant quantities are dynamically epiphenomenal in that they have no effect on the evolution of invariant quantities, and it is a significant theoretical vice to posit epiphenomenal quantities.

I provide a fairly systematic analysis of when quantities that are variant under a dynamical symmetry transformation should be regarded as unobservable, or redundant, or unreal; of when models related by a dynamical symmetry transformation represent the same state of affairs; and of when mathematical structure that is variant under a dynamical symmetry transformation should be regarded as surplus. In most of these cases the answer is `it depends': depends, that is, on the details of the symmetry in question. A (...) central feature of the analysis is that in order to draw any of these conclusions for a dynamical symmetry it needs to be understood in terms of its possible extensions to other physical systems, in particular to measurement devices. (shrink)

This is a systematic review of the concept of indistinguishability, in both classical and quantum mechanics, with particular attention to Gibbs paradox. Section 1 is on the Gibbs paradox; section 2 is a defense of classical indistinguishability, notwithstanding the widely-held view, that classical particles can always be distinguished by their trajectories. The last section is about the notion of object more generally, and on whether indistinguishables should be thought of as objects at all.

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.