'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to ``explain'' inertial motion. I argue that there is a sense in which both theories may be understood to explain inertial motion, but that the sense of ``explain'' is rather different from what one might have expected. This sense of explanation is (...) connected with a view of theories---I call it the ``puzzleball view''---on which the foundations of a physical theory are best understood as a network of mutually interdependent principles and assumptions. (shrink)

An energy condition, in the context of a wide class of spacetime theories, is, crudely speaking, a relation one demands the stress-energy tensor of matter satisfy in order to try to capture the idea that "energy should be positive". The remarkable fact I will discuss in this paper is that such simple, general, almost trivial seeming propositions have profound and far-reaching import for our understanding of the structure of relativistic spacetimes. It is therefore especially surprising when one also learns that (...) we have no clear understanding of the nature of these conditions, what theoretical status they have with respect to fundamental physics, what epistemic status they may have, when we should and should not expect them to be satisfied, and even in many cases how they and their consequences should be interpreted physically. Or so I shall argue, by a detailed analysis of the technical and conceptual character of all the standard conditions used in physics today, including examination of their consequences and the circumstances in which they are believed to be violated. (shrink)

This contributed volume is the result of a July 2010 workshop at the University of Wuppertal Interdisciplinary Centre for Science and Technology Studies which brought together world-wide experts from physics, philosophy and history, in order to address a set of questions first posed in the 1950s: How do we compare spacetime theories? How do we judge, objectively, which is the “best” theory? Is there even a unique answer to this question? -/- The goal of the workshop, and of this book, (...) is to contribute to the development of a meta-theory of spacetime theories. Such a meta-theory would reveal insights about specific spacetime theories by distilling their essential similarities and differences, deliver a framework for a class of theories that could be helpful as a blueprint to build other meta-theories, and provide a higher-level viewpoint for judging which theory most accurately describes nature. But rather than drawing a map in broad strokes, the focus is on particularly rich regions in the “space of spacetime theories.” -/- This work will be of interest to physicists, as well as philosophers and historians of science working with or interested in General Relativity and/or Space, Time and Gravitation more generally. (shrink)

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of (...) particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

One usually identifies a particular collection of geometric objects with the models of general relativity. But within this standard collection lurk ‘physically unreasonable’ models of spacetime. If such models are ruled out, attention can be restricted to some sub-collection of ‘physically reasonable’ models which can be considered a variant theory of general relativity. Since we have yet to identify a privileged sub-collection of ‘physically reasonable’ models, it is helpful to think of ‘general relativity’ in a pluralistic way; we can study (...) a collection of such ‘physically reasonable’ collections of models. (shrink)

I discuss several issues related to "classical" spacetime structure. I review Galilean, Newtonian, and Leibnizian spacetimes, and briefly describe more recent developments. The target audience is undergraduates and early graduate students in philosophy; the presentation avoids mathematical formalism as much as possible.

This article deals with the question of what time reversal means. It begins with a presentation of the standard account of time reversal, with plenty of examples, followed by a popular non-standard account. I argue that, in spite of recent commentary to the contrary, the standard approach to the meaning of time reversal is the only one that is philosophically and physically viable. The article concludes with a few open research problems about time reversal.

We review the dynamical approach to spacetime theories---in particular, its origins in the development of special relativity, its opposition to the contemporary `geometrical' approach, and the manner in which it plays out in general relativity. In addition, we demonstrate that the approach is compatible with the `angle bracket school'.

I investigate the role of stability in cosmology through two episodes from the recent history of cosmology: Einstein’s static universe and Eddington’s demonstration of its instability, and the flatness problem of the hot big bang model and its claimed solution by inflationary theory. These episodes illustrate differing reactions to instability in cosmological models, both positive ones and negative ones. To provide some context to these reactions, I also situate them in relation to perspectives on stability from dynamical systems theory and (...) its epistemology. This reveals, for example, an insistence on stability as an extreme position in relation to the spectrum of physical systems which exhibit degrees of stability and fragility, one which has a pragmatic rationale, but not any deeper one. (shrink)

A central issue in the philosophical debates over general relativity concerns the status of the metric field: should it be regarded as part of the background arena in which physical fields evolve, or as a physical field itself? In this paper, we approach this debate through its relationship to the so-called "Problem of Space": the problem of determining which abstract, mathematical geometries are candidate descriptions of physical space. In particular, we explore the way that Hermann Weyl tackled the Problem of (...) Space in the wake of general relativity, and argue that Weyl’s proposed solution reveals a “middle way” between bare-manifold and manifold-plus-metric accounts of spacetime. (shrink)

I investigate the principle *anything goes* within the context of general relativity. After a few preliminaries, I show a sense in which the universe is unknowable from within this context; I suggest that we 'keep our options open' with respect to competing models of it. Given the state of affairs, proceeding counter-inductively seems to be especially appropriate; I use this method to blur some of the usual lines between 'reasonable' and 'unreasonable' models of the universe. Along the way, one is (...) led to a useful collection of variant theories of general relativity -- each theory incompatible with the standard formulation. One may contrast one variant theory with another in order to understand foundational questions within 'general relativity' in a more nuanced way. I close by sketching some of the work ahead if we are to embrace such a pluralistic methodology. (shrink)

The black hole information loss paradox is a catch-all term for a family of puzzles related to black hole evaporation. For almost 50 years, the quest to elucidate the implications of black hole evaporation has not only sustained momentum, but has also become increasingly populated with proposals that seem to generate more questions than they purport to answer. Scholars often neglect to acknowledge ongoing discussions within black hole thermodynamics and statistical mechanics when analyzing the paradox, including the interpretation of Bekenstein-Hawking (...) entropy, which is far from settled. To remedy the dialectical gridlock, I have formulated an overarching, unified framework, which I call ``Black Hole Paradoxes'', that integrates the debates and taxonomizes the relevant `camps' or philosophical positions. -/- I demonstrate that black hole evaporation within Hawking's semi-classical framework insinuates how late-time Hawking radiation is an entangled global system, a contradiction in terms. The relevant forms of information loss are associated with a decrease in maximal Boltzmann entropy and an increase in global von Neumann entropy respectively, which engender what I've branded the ``paradox of phantom entanglement''. Prospective solutions are then tasked with demonstrating how late-time Hawking radiation is either exclusively an entangled subsystem, in which a black hole remnant lingers as an information safehouse, or exclusively an unentangled global system, in which information is evacuated to the exterior. -/- The disagreement between safehouse and evacuation solutions boils down to the statistical interpretation of thermodynamic black hole entropy, i.e., Bekenstein-Hawking entropy. Safehouse solutions attribute Bekenstein-Hawking entropy to a minority of black hole degrees of freedom, those that are associated with the horizon. Evacuation solutions, in contrast, attribute Bekenstein-Hawking entropy to all black hole degrees of freedom. I argue that the interpretation of Bekenstein-Hawking entropy is the litmus test to vet the overpopulated proposal space. So long as any proposal rejecting Hawking's original calculation independently derives black hole evaporation, globally conserves degrees of freedom and entanglement, preserves a version of semi-classical gravity at sub-Planckian scales, and describes black hole thermodynamics in statistical terms, then it counts as a genuine solution to the paradox. (shrink)

I consider two usages of the expression "gauge theory". On one, a gauge theory is a theory with excess structure; on the other, a gauge theory is any theory appropriately related to classical electromagnetism. I make precise one sense in which one formulation of electromagnetism, the paradigmatic gauge theory on both usages, may be understood to have excess structure, and then argue that gauge theories on the second usage, including Yang-Mills theory and general relativity, do not generally have excess structure (...) in this sense. (shrink)

I discuss singular space-times in the context of the geometrized formulation of Newtonian gravitation. I argue first that geodesic incompleteness is a natural criterion for when a model of geometrized Newtonian gravitation is singular, and then I show that singularities in this sense arise naturally in classical physics by stating and proving a classical version of the Raychaudhuri-Komar singularity theorem.

I present a local, deterministic model of the EPR-Bohm experiment, inspired by recent work by Joy Christian, that appears at first blush to be in tension with Bell-type theorems. I argue that the model ultimately fails to do what a hidden variable theory needs to do, but that it is interesting nonetheless because the way it fails helps clarify the scope and generality of Bell-type theorems. I formulate and prove a minor proposition that makes explicit how Bell-type theorems rule out (...) models of the sort I describe here. (shrink)

I critically discuss two dogmas of the “dynamical approach” to spacetime in general relativity, as advanced by Harvey Brown [Physical Relativity Oxford:Oxford University Press] and collaborators. The first dogma is that positing a “spacetime geometry” has no implications for the behavior of matter. The second dogma is that postulating the “Strong Equivalence Principle” suffices to ensure that matter is “adapted” to spacetime geometry. I conclude by discussing “spacetime functionalism”. The discussion is presented in reaction to and sympathy with recent work (...) by James Read [“Explanation, geometry, and conspiracy in relativity theory” Thinking about Spacetime Boston: Birkäuser]. (shrink)

There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on one’s (...) theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

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.

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. _1._ Introduction _2._ A Warmup Exercise _3._ The Hole Argument _4._ An Argument from Classical Spacetime Theory _5._ The Hole Argument Revisited.

The celu of the philosophical literature on the hole argument is the 1987 paper by Earman \& Norton ["What Price Space-time Substantivalism? The Hole Story" Br. J. Phil. Sci.]. This paper has a well-known back-story, concerning work by Stachel and Norton on Einstein's thinking in the years 1913-15. Less well-known is a connection between the hole argument and Earman's work on Leibniz in the 1970s and 1980s, which in turn can be traced to an argument first presented in 1975 by (...) Howard Stein. Remarkably, this thread originates with a misattribution: the argument Earman attributes to Stein, which ultimately morphs into the hole argument, was not the argument Stein gave. The present paper explores this episode and presents some reflections on how it bears on the subsequent literature. (shrink)

I address a question recently raised by Simon Saunders concerning the relationship between the space-time structure of Newton-Cartan theory and that of what I will call “Maxwell-Huygens space-time.” This discussion will also clarify a connection between Saunders’s work and a recent paper by Eleanor Knox.

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

I articulate and discuss a geometrical interpretation of Yang–Mills theory. Analogies and disanalogies between Yang–Mills theory and general relativity are also considered.

As Harvey Brown emphasizes in his book Physical Relativity, inertial motion in general relativity is best understood as a theorem, and not a postulate. Here I discuss the status of the "conservation condition", which states that the energy-momentum tensor associated with non-interacting matter is covariantly divergence-free, in connection with such theorems. I argue that the conservation condition is best understood as a consequence of the differential equations governing the evolution of matter in general relativity and many other theories. I conclude (...) by discussing what it means to posit a certain spacetime geometry and the relationship between that geometry and the dynamical properties of matter. (shrink)

I provide an alternative characterization of a "standard of rotation" in the context of classical spacetime structure that does not refer to any covariant derivative operator.

The status of the geodesic principle in General Relativity has been a topic of some interest in the recent literature on the foundations of spacetime theories. Part of this discussion has focused on the role that a certain energy condition plays in the proof of a theorem due to Bob Geroch and Pong-Soo Jang [“Motion of a Body in General Relativity.” Journal of Mathematical Physics16(1) (1975)] that can be taken to make precise the claim that the geodesic principle is a (...) theorem, rather than a postulate, of General Relativity. In this brief note, I show, by explicit counterexample, that not only is a weaker energy condition than the one Geroch and Jang state insufficient to prove the theorem, but in fact a condition still stronger than the one that they assume is necessary. (shrink)

It is deeply entrenched dogma that relativity theory prohibits superluminal propagation. It is also experimentally well-established that under some circumstances, classical electromagnetic fields propagate through a dielectric medium with superluminal group velocities and superluminal phase velocities. But it is usually claimed that these superluminal velocities do not violate the relativistic prohibition. Here I analyze electromagnetic fields in a dielectric medium within a framework for understanding superluminal propagation recently developed by Geroch and elaborated by Earman. I will argue that for some (...) parameter values, electromagnetic fields do propagate superluminally in the Geroch-Earman sense. (shrink)

I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation.

I point out a radical indeterminism in potential-based formulations of Newtonian gravity once we drop the condition that the potential vanishes at infinity. This indeterminism, which is well known in theoretical cosmology but has received little attention in foundational discussions, can be removed only by specifying boundary conditions at all instants of time, which undermines the theory's claim to be fully cosmological, i.e., to apply to the Universe as a whole. A recent alternative formulation of Newtonian gravity due to Saunders (...) pp.22-48) provides a conceptually satisfactory cosmology but fails to reproduce the Newtonian limit of general relativity in homogenous but anisotropic universes. I conclude that Newtonian gravity lacks a fully satisfactory cosmological formulation. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

A philosophical position may be characterized in different ways. Here we try to say how the naturalist answers certain . The questions come from very different areas; the spectrum of subjects is therefore quite mixed. There are, however, aspects of order: We start with (questions about) abstract subjects like logic, mathematics, metaphysics, then turn to problems of realism. And since in general naturalists are realists, the following questions on truth, laws of nature, origin of the universe, cosmology, evolution, body-mind-problem, freedom (...) of the will, religion, moral, and pseudoscience, are answered against a realistic background. German Eine philosophische Haltung kann man auf verschiedene Weisen charakterisieren. Hier versuchen wir zu sagen, wie der Naturalist auf bestimmte Kernfragen antwortet. Die Fragen stammen aus sehr verschiedenen Gebieten; das Themenspektrum ist deshalb recht bunt. Es gibt aber durchaus Ordnungsgesichtspunkte: Wir beginnen mit (Fragen zu) eher abstrakten Gegenständen wie Logik, Mathematik, Metaphysik, kommen dann zu Problemen des Realismus. Und da Naturalisten im Allgemeinen Realisten sind, werden die anschließenden Fragen über Wahrheit, Naturgesetze, Weltentstehung, Kosmologie, Evolution, Leib-Seele-Problem, Willensfreiheit, Religion, Moral und Pseudowissenschaften vor einem realistischen Hintergrund beantwortet. (shrink)

The clock hypothesis is taken to be an assumption independent of special relativity necessary to describe accelerated clocks. This enables to equate the time read off by a clock to the proper time. Here, it is considered a physical system–the light clock–proposed by Marzke and Wheeler. Recently, Fletcher proved a theorem that shows that a sufficiently small light clock has a time reading that approximates to an arbitrary degree the proper time. The clock hypothesis is not necessary to arrive at (...) this result. Here, one explores the consequences of this regarding the status of the clock hypothesis. (shrink)

This article uncovers a foundational relationship between the ‘gauge symmetry’ of a Newton-Cartan theory and the celebrated Trautman Recovery Theorem and explores its implications for recent philosophical work on Newton-Cartan gravitation.

The CPT theorem states that any causal, Lorentz-invariant, thermodynamically well-behaved quantum field theory must also be invariant under a reflection symmetry that reverses the direction of time, flips spatial parity, and conjugates charge. Although its physical basis remains obscure, CPT symmetry appears to be necessary in order to unify quantum mechanics with relativity. This paper attempts to decipher the physical reasoning behind proofs of the CPT theorem in algebraic quantum field theory. Ultimately, CPT symmetry is linked to a systematic reversal (...) of the C*-algebraic Lie product that encodes the generating relationship between observables and symmetries. In any physically reasonable relativistic quantum field theory it is always possible to systematically reverse this generating relationship while preserving the dynamics, spectra, and localization properties of physical systems. Rather than the product of three separate reflections, CPT symmetry is revealed to be a single global reflection of the theory’s state space. (shrink)

It has been claimed, recently, that the fact that all the non-gravitational fields are locally Poincaré invariant and that these invariances coincide, in a certain regime, with the symmetries of the spacetime metric is miraculous in general relativity. In this paper I show that, in the context of GR, it is possible to account for these so-called miracles of relativity. The way to do so involves integrating the realisation that the gravitational field equations impose constraints on the behaviour of matter (...) in a novel interpretation of the equivalence principle, which dictates the determination of local inertial frames through gravitational interaction. This proposed explanation of the miracles can also deal with the problematic cases for attempts at explaining them in the context of the standard geometrical perspective on relativity theory. (shrink)

A number of arguments purport to show that quantum field theory cannot be given an interpretation in terms of localizable particles. We show, in light of such arguments, that the classical ħ→0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbar \rightarrow 0$$\end{document} limit can aid our understanding of the particle content of quantum field theories. In particular, we demonstrate that for the massive Klein–Gordon field, the classical limits of number operators can be understood to encode local information about particles (...) in the corresponding classical field theory. (shrink)

I critically discuss a controversial ‘trans-Planckian censorship’ conjecture, which has recently been introduced to researchers working at the intersection of fundamental physics and cosmology. My focus explicitly avoids any appeals to contingent research within string theory or regarding the more general gravitational ‘swampland’. Rather, I concern myself with the conjecture’s foundations in our current, well-trodden physics of quantized fields, spacetime, and gravity. In doing so, I locate what exactly within trans-Planckian censorship amounts to a departure from current physics—identifying what is, (...) ultimately, so conjectural about the conjecture. (shrink)

I examine two claims that arise in Brown’s account of inertial motion. Brown claims there is something objectionable about the way in which the motions of free particles in Newtonian theory and special relativity are coordinated. Brown also claims that since a geodesic principle can be derived in Einsteinian gravitation, the objectionable feature is explained away. I argue that there is nothing objectionable about inertia and that while the theorems that motivate Brown’s second claim can be said to figure in (...) a deductive-nomological explanation, their main contribution lies in their explication rather than their explanation of inertial motion. (shrink)

The epistemic conception of scientific progress equates progress with accumulation of scientific knowledge. I argue that the epistemic conception fails to fully capture scientific progress: theoretical progress, in particular, can transcend scientific knowledge in important ways. Sometimes theoretical progress can be a matter of new theories ‘latching better onto unobservable reality’ in a way that need not be a matter of new knowledge. Recognising this further dimension of theoretical progress is particularly significant for understanding scientific realism, since realism is naturally (...) construed as the claim that science makes theoretical progress. Some prominent realist positions are best understood in terms of commitment to theoretical progress that cannot be equated with accumulation of scientific knowledge. (shrink)

The epistemic conception of scientific progress equates progress with accumulation of scientific knowledge. I argue that the epistemic conception fails to fully capture scientific progress: theoretical progress, in particular, can transcend scientific knowledge in important ways. Sometimes theoretical progress can be a matter of new theories ‘latching better onto unobservable reality’ in a way that need not be a matter of new knowledge. Recognising this further dimension of theoretical progress is particularly significant for understanding scientific realism, since realism is naturally (...) construed as the claim that science makes theoretical progress. Some prominent realist positions are best understood in terms of commitment to theoretical progress that cannot be equated with accumulation of scientific knowledge. (shrink)

Many realist writings exemplify the spirit of ‘recipe realism’. Here I characterise recipe realism, challenge it, and propose replacing it with ‘exemplar realism’. This alternative understanding of realism is more piecemeal, robust, and better in tune with scientists’ own attitude towards their best theories, and thus to be preferred.

Matthias Egg argues that scientific realism can be reconciled with quantum mechanics and its foundational underdetermination by focusing realist commitments on ‘effective’ ontology. I argue in general terms that Egg’s effective realism is ontologically overly promiscuous. I illustrate the issue in relation to both Newtonian mechanics and quantum mechanics.

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories.

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.

For Knox, ‘spacetime’ is to be defined functionally, as that which picks out a structure of local inertial frames. Assuming that Knox is motivated to construct this functional definition of spacetime on the grounds that it appears to identify that structure which plays theoperationalrole of spacetime—i.e., that structure which is actually surveyed by physical rods and clocks built from matter fields—we identify in this paper important limitations of her approach: these limitations are based upon the fact that there is a (...) gap between inertial frame structure and that which is operationally significant in the above sense. We present five concrete cases in which these two notions come apart, before considering various ways in which Knox’s spacetime functionalism might be amended in light of these issues. (shrink)

In a recent article in this journal, Sus purports to account for what have been identified as the ‘two miracles’ of general relativity—that (1) the local symmetries of all dynamical equations for matter fields coincide, and (2) the symmetries of the dynamical equations governing matter fields coincide locally with the symmetries of the metric field—by application of the familiar result that every symmetry of the action is also a symmetry of the resulting equations of motion. In this reply, we argue (...) that, while otherwise exemplary in its clarity, Sus’ paper fails in this regard, for it rests upon a illegitimate application of the aforementioned result. Thus, we conclude, pace Sus, that these two miracles persist in general relativity. (shrink)

The equivalence principle has constituted one of the cornerstones of discussions in the foundations of spacetime theories over the past century. However, up to this point the principle has been considered overwhelmingly only within the context of relativistic physics. In this article, we demonstrate that the principle has much broader, super-theoretic significance: to do so, we present a unified framework for understanding the principle in its various guises, applicable to both relativistic and Newtonian contexts. We thereby deepen significantly our understanding (...) of the role played by the equivalence principle in a broad class of spacetime theories. (shrink)