The canonical formalism of general relativity affords a particularly interesting characterisation of the infamous hole argument. It also provides a natural formalism in which to relate the hole argument to the problem of time in classical and quantum gravity. In this paper we examine the connection between these two much discussed problems in the foundations of spacetime theory along two interrelated lines. First, from a formal perspective, we consider the extent to which the two problems can and cannot be precisely (...) and distinctly characterised. Second, from a philosophical perspective, we consider the implications of various responses to the problems, with a particular focus upon the viability of a `deflationary' attitude to the relationalist/substantivalist debate regarding the ontology of spacetime. Conceptual and formal inadequacies within the representative language of canonical gravity will be shown to be at the heart of both the canonical hole argument and the problem of time. Interesting and fruitful work at the interface of physics and philosophy relates to the challenge of resolving such inadequacies. (shrink)

This brief paper shows how an exact analogue of Einstein's original hole argument can be constructed in the loop representation of quantum gravity. The new argument is based on the embedding of spin-networks in a manifold and the action of the diffeomorphism constraint on them. The implications of this result are then discussed. I argue that the conclusions of many physicists working on loop quantum gravity---Rovelli and Smolin in particular---that the loop representation uniquely supports relationalism are unfounded.

Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...) special and general relativity. I move on to consider and reject two recent antisubstantivalist lines of thought. The interim conclusion is that the best argument for relationalism is an appeal to Ockham's razor. However, for this to be successful there must be genuine relationalist theories that share the theoretical virtues of their substantivalist rivals but without the additional ontological commitment. The bulk of the paper is therefore an investigation of various concrete relationalist proposals. I distinguish three options for the relationalist in the face of the success of Galilean invariant physics and trace how these generalise to relativistic physics. One of the options is particularly promising but, since its basic objects end up being spacetime points, this does not help the prospects of relationalism as traditionally conceived. I end with some reflections on the fate of substantivalism in the aftermath of the Hole Argument, concluding that we have as yet to be given good reasons to abandon the natural, substantivalist interpretation of current physics. (shrink)

Symplectic reduction is a formal process through which degeneracy within the mathematical representations of physical systems displaying gauge symmetry can be controlled via the construction of a reduced phase space. Typically such reduced spaces provide us with a formalism for representing both instantaneous states and evolution uniquely and for this reason can be justifiably afforded the status of fun- damental dynamical arena - the otiose structure having been eliminated from the original phase space. Essential to the application of symplectic reduction (...) is the precept that the first class constraints are the relevant gauge generators. This prescription becomes highly problematic for reparameterization invariant theories within which the Hamiltonian itself is a constraint; not least because it would seem to render prima facie distinct stages of a history physically identical and observable functions changeless. Here we will consider this problem of time within non-relativistic me- chanical theory with a view to both more fully understanding the temporal struc- ture of these timeless theories and better appreciating the corresponding issues in relativistic mechanics. For the case of nonrelativistic reparameterization invariant theory application of symplectic reduction will be demonstrated to be both unnec- essary; since the degeneracy involved is benign; and inappropriate; since it leads to a trivial theory. With this anti-reductive position established we will then examine two rival methodologies for consistently representing change and observable func- tions within the original phase space before evaluating the relevant philosophical implications. We will conclude with a preview of the case against symplectic re- duction being applied to canonical general relativity. (shrink)

In the first part of this paper a relational account of incongruent counterparts is defended against an argument due to Kant. I then consider a more recent attack on such an account, due to John Earman, which alleges that the relationalist cannot account for the lawlike left--right asymmetry manifested in parity-violating phenomena. I review Hoefer's, Huggett's and Saunders' responses to Earman's argument and argue that, while a relationalist account of parity-violating laws is possible, it comes at the cost of non-locality.

Modern cosmology treats space and time, or rather space-time, as concrete particulars. The General Theory of Relativity combines the distribution of matter and energy with the curvature of space-time. Here space-time appears as a concrete entity which affects matter and energy and is affected by the things in it. I question the idea that space-time is a concrete existing entity which both substantivalism and reductive relationism maintain. Instead I propose an alternative view, which may be called non-reductive relationism, by arguing (...) that space and time are abstract entities based on extension and changes. (shrink)

The implications for the substantivalist–relationalist controversy of Barbour and Bertotti's successful implementation of a Machian approach to dynamics are investigated. It is argued that in the context of Newtonian mechanics, the Machian framework provides a genuinely relational interpretation of dynamics and that it is more explanatory than the conventional, substantival interpretation. In a companion paper (Pooley [2002a]), the viability of the Machian framework as an interpretation of relativistic physics is explored. 1 Introduction 2 Newton versus Leibniz 3 Absolute space versus (...) an affine connection 4 Anti-relationalist arguments 5 Rehabilitating relationalism 6 Dynamics on the relative configuration space 7 Intrinsic particle dynamics 8 Conclusion. (shrink)

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...) actuality of what is virtual insofar as it is virtual’). In other words: to grasp what change is, one has to resort to the modal idiom of potentialities, while the fact that there is change is indicative of the fact that nature is full of modal properties. -/- Aristotle’s modal and kinetic realism finds a negative in the figure of the Megaric Diodorus Kronus. The polemical situation of Greek philosophy has indeed the dialectical advantage of not opposing the Aristotelian position to a sui generis straw man. Both in its reduction of modal judgements to temporal quantifications and in its dissolution of the reality of the state-of-being-in-motion in favour of a cinematographic view of processes, the philosophical figure of reductionist antirealism embodied by Diodorus constitutes an alternative that takes the opposite view of Aristotle’s realism. -/- The present study is structured as a discussion between these two positions. In the face of Diodorus’ antirealist challenges, Aristotle articulates modal and kinetic considerations: the answers he gives to Diodorus’ puzzles thus provide valuable insight into his metaphysics. Moreover, the examination of Aristotle’s and Diodorus’ metaphysics, because of their insight and originality, will not fail to interest the philosopher concerned with the metaphysical foundations of modern physics, insofar as the entanglement between modalities and processes is nowadays at the core of mechanics (phase spaces, path integrals, etc.). (shrink)

Leibniz Equivalence is a principle of applied mathematics that is widely assumed in both general relativity textbooks and in the philosophical literature on Einstein’s hole argument. In this article, I clarify an ambiguity in the statement of this Leibniz Equivalence, and argue that the relevant expression of it for the hole argument is strictly false. I then show that the hole argument still succeeds as a refutation of manifold substantivalism; however, recent proposals that the hole argument is undermined by principles (...) of representational equivalence do not fare so well. (shrink)

According to substantivalism, spacetime points and regions are real entities whose existence is not dependent on matter. In this paper, I motivate and defend a version of substantivalism which takes the totality of spacetime as fundamental, and show how this position avoids certain problem cases, in particular the objection from static Leibniz shifts, and better conforms to how we think about space in physics. I argue that, even though the static Leibniz shifts do not show ordinary substantivalism is committed to (...) in-principle undetectable physical structure ), they do indicate something problematic about the modal profile of space-time and its constituents. While the problem is modal, the solution cannot be solely a matter of revising the substantivalist's modal claims. Rather, I argue, the substantivalist must revise her background ontology of space-time. I show how this can be done by developing substantivalist theory that rejects this picture in favor of an alternative ontology of space-time in the spirit of priority monism. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

Gauge theories are theories that are invariant under a characteristic group of "gauge" transformations. General relativity is invariant under transformations of the diffeomorphism group. This has prompted many philosophers and physicists to treat general relativity as a gauge theory, and diffeomorphisms as gauge transformations. I argue that this approach is misguided.

In his paper ``What is Structural Realism?'' James Ladyman drew a distinction between epistemological structural realism and metaphysical (or ontic) structural realism. He also drew a suggestive analogy between the perennial debate between substantivalist and relationalist interpretations of spacetime on the one hand, and the debate about whether quantum mechanics treats identical particles as individuals or as `non-individuals' on the other. In both cases, Ladyman's suggestion is that an ontic structural realist interpretation of the physics might be just what is (...) needed to overcome the stalemate. The main thesis of this paper is that, whatever the interpretative difficulties of generally covariant spacetime physics are, they do not support or suggest structural realism. In particular, I hope to show that there is in fact no analogy that supports a similar interpretation of the metaphysics of spacetime points and of quantum particles. (shrink)

I argue that the conviction, widespread among philosophers, that substantivalism enjoys a clear superiority over relationalism in both Newtonian and relativistic physics is ill-founded. There are viable relationalist approaches to understanding these theories, and the substantival-relational debate should be of interest to philosophers and physicists alike, because of its connection with questions about the correct space of states for various physical theories.

The analysis of the temporal structure of canonical general relativity and the connected interpretational questions with regard to the role of time within the theory both rest upon the need to respect the fundamentally dual role of the Hamiltonian constraints found within the formalism. Any consistent philosophical approach towards the theory must pay dues to the role of these constraints in both generating dynamics, in the context of phase space, and generating unphysical symmetry transformations, in the context of a hypersurface (...) embedded within a solution. A first denial of time in the terms of a position of reductive temporal relationalism can be shown to be troubled by failure on the first count, and a second denial in the terms of Machian temporal relationalism can be found to be hampered by failure on the second. A third denial of time, consistent with both of the Hamiltonian constraints roles, is constituted by the implementation of a scheme for constructing observables in terms of correlations and leads to a radical Parmenidean timelessness. The motivation for and implications of each of these three denials are investigated. (shrink)

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)

I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in (...) a more faithful mathematical representation of general relativity as used by physicists. It also gives a substantive notion of general covariance. (shrink)

What is the meaning of general covariance? We learn something about it from the hole argument, due originally to Einstein. In his search for a theory of gravity, he noted that if the equations of motion are covariant under arbitrary coordinate transformations, then particle coordinates at a given time can be varied arbitrarily - they are underdetermined - even if their values at all earlier times are held fixed. It is the same for the values of fields. The argument can (...) also be made out in terms of transformations acting on the points of the manifold, rather than on the coordinates assigned to the points. So the equations of motion do not fix the particle positions, or the values of fields at manifold points, or particle coordinates, or fields as functions of the coordinates, even when they are specified at all earlier times. It is surely the business of physics to predict these sorts of quantities, given their values at earlier times. The principle of general covariance therefore seems untenable. (shrink)

The main aim of our paper is to show that interpretative issues belonging to classical General Relativity (GR) might be preliminary to a deeper understanding of conceptual problems stemming from on-going attempts at constructing a quantum theory of gravity. Among such interpretative issues, we focus on the meaning of general covariance and the related question of the identity of points, by basing our investigation on the Hamiltonian formulation of GR. In particular, we argue that the adoption of a peculiar gauge-fixing (...) within the canonical reduction of ADM metric gravity may yield a new solution to the debate between substantivalists and relationists, by suggesting a \emph{tertium quid} between these two age-old positions. Such a third position enables us to evaluate the controversial relationship between entity realism and structural realism in a well-defined case study. After having indicated the possible developments of this approach in Quantum Gravity, we discuss the structuralist and holistic features of the class of spacetime models that are used in the above mentioned canonical reduction. (shrink)

”The last remnant of physical objectivity of space-time” is disclosed in the case of a continuous family of spatially non-compact models of general relativity. The physical individuation of point-events is furnished by the autonomous degrees of freedom of the gravitational field, which represent -as it were -the ontic part of the metric field. The physical role of the epistemic part is likewise clarified as embodying the unavoidable non-inertial aspects of GR. At the end the philosophical import of the Hole Argument (...) is substantially weakened and in fact the Argument itself dis-solved, while a specific four-dimensional holistic and structuralist view of space-time emerges, including elements common to the tradition of both substantivalism and relationism. The observables of our models undergo real temporal change: this gives new evidence to the fact that statements like the frozen-time character of evolution, as other ontological claims about GR, are model dependent. (shrink)