Supposing that one is already familiar with special relativistic physics, what constitutes the best route via which to arrive at the architecture of the general theory of relativity? Although the later Einstein would stress the significance of mathematical and theoretical principles in answering this question, in this article we follow the lead of the earlier Einstein (circa 1916) and stress instead how one can go a long way to arriving at the general theory via inductive and empirical principles, without invoking (...) presumptions concerning the geometrical structure of the final theory. We focus on the construction of the kinematical structure and the terms describing the coupling of matter to gravity. General covariance, understood and employed as a straightforward extrapolation of empirical considerations, is central to our derivation, together with what we dub the `Methodological Equivalence Principle'. We argue that our approach has a number of virtues, both for one's understanding of the general theory of relativity, but also for pedagogy, since it stresses---to the greatest extent possible (a lesson which we inherit from Bell, [1976])---both the methodological precedence of dynamical considerations to interpretative issues and the theoretical continuity between general relativity and its precursors. We conclude by comparing our approach to other philosophical approaches to general relativity and discussing the significance of empirically motivated methodological principles in the philosophy of science. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

The present paper revisits the debate between realists about gravitational energy in GR and anti-realists/eliminativists. I re-assess the arguments underpinning Hoefer’s seminal eliminativist stance, and those of their realist detractors’ responses. A more circumspect reading of the former is proffered that discloses where the so far not fully appreciated, real challenges lie for realism about gravitational energy. I subsequently turn to Lam and Read’s recent proposals for such a realism. Their arguments are critically examined. Special attention is devoted to the (...) adequacy of Read’s appeals to functionalism, imported from the philosophy of mind. (shrink)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (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 cosmic singularity provides negligible evidence for creation in the finite past, and hence theism. A physical theory might have no metric or multiple metrics, so a ‘beginning’ must involve a first moment, not just finite age. Whether one dismisses singularities or takes them seriously, physics licenses no first moment. The analogy between the Big Bang and stellar gravitational collapse indicates that a Creator is required in the first case only if a Destroyer is needed in the second. The need (...) for and progress in quantum gravity and the underdetermination of theories by data make it difficult to take singularities seriously. The singularity exemplifies the sort of gap that is likely to be closed by scientific progress, obviating special divine action. The apparent irrelevance of cardinality to practices of counting infinite sets in classical field theory and Fourier analysis is noted. Introduction The Doctrine of Creation and Its Warrant Cardinality and Sizes of Infinity Modern Cosmology and Creation Tolerance or Intolerance toward Singularities? Leibniz against Incompetent Watchmaker? Induction from Earlier Theories' Breakdown? Stellar Collapse Implies Theistic Destroyer Stacking the Deck for GTR Quantum Gravity Tends to Resolve Singularities Vicious God-of-the-Gaps Character Fluctuating or Inaccessible Warrant Big Bang Cosmology Not Especially Congenial to Faith CiteULike Connotea Del.icio.us What's this? (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.

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance of (...) nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

I draw together some recent literature on the debate between dynamical versus geometrical approaches to spacetime theories, in order to argue that there exist defensible versions of the geometr...

Background independence is generally considered to be ‘the mark of distinction’ of general relativity. However, there is still confusion over exactly what background independence is and how, if at all, it serves to distinguish general relativity from other theories. There is also some confusion over the philosophical implications of background independence, stemming in part from the definitional problems. In this paper I attempt to make some headway on both issues. In each case I argue that a proper account of the (...) observables of such theories goes a long way in clarifying matters. Further, I argue, against common claims to the contrary, that the fact that these observables are relational has no bearing on the debate between substantivalists and relationalists, though I do think it recommends a structuralist ontology, as I shall endeavour to explain. (shrink)

Much discussion was inspired by the publication of Harvey Brown's book \textit{Physical Relativity} and the so-called dynamical approach to Special Relativity there advocated. At the center of the debate there is the question about the nature of the relation between spacetime and laws or, more specifically, between spacetime symmetries and the symmetries of laws. Originally, the relation was mainly assumed to be explanatory and the dispute expressed in terms of the arrow of explanation – whether it goes from spacetime (symmetries) (...) to (symmetries of) laws or vice-versa. Not everybody agreed with a setting that involves leaving ontology out. In a recent turn, the relation has been claimed to be analytical or definitional. In this paper I intend to examine critically this claim and propose a way to generally understand the relation between spacetime symmetries and symmetries of laws as deriving from constitutive principles. (shrink)

Canonically, ‘classic’ tests of general relativity (GR) include perihelion precession, the bending of light around stars, and gravitational redshift; ‘modern’ tests have to do with, _inter alia_, relativistic time delay, equivalence principle tests, gravitational lensing, strong field gravity, and gravitational waves. The orthodoxy is that both classic and modern tests of GR afford experimental confirmation of that theory _in particular_. In this article, we question this orthodoxy, by showing there are classes of both relativistic theories (with spatiotemporal geometrical properties different (...) from those of GR) and non-relativistic theories (in which the lightcones of a relativistic spacetime are ‘widened’) which would also pass such tests. Thus, (a) issues of underdetermination in the context of GR loom much larger than one might have thought, and (b) given this, one has to think more carefully about what exactly such tests in fact _are_ testing. (shrink)