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)

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)

In this paper, I will argue that metaphysicians ought to utilize quantum theories of gravity as incubators for a future metaphysics. In §1, I will argue why this ought to be done. In §2, I will present case studies from the history of science where physical theories have challenged both the dogmatic and speculative metaphysician. In §3, I will present two theories of QG and demonstrate the challenge they pose to certain aspects of our current metaphysics; in particular, how they (...) challenge our understanding of the abstract-concrete distinction. In this section I demonstrate how five different accounts of the distinction each fail to hold under the received interpretations of loop quantum gravity and string theory. The central goal of this paper is to encourage metaphysicians to look to physical theories, especially those involving cosmology such as string theory and loop quantum gravity, when doing metaphysics. (shrink)

In this paper, I will argue that metaphysicians ought to utilize quantum theories of gravity as incubators for a future metaphysics. I will argue why this ought to be done and will present cases studies from the history of science where physical theories have challenged both the dogmatic and speculative metaphysician. I provide two theories of QG and demonstrate the challenge they pose to certain aspects of our current metaphysics; in particular, how they challenge our understanding of the abstract–concrete distinction. (...) I demonstrate how five different accounts of the distinction each fail to hold under the received interpretations of loop quantum gravity and string theory. The central goal of this paper is to encourage metaphysicians to look to physical theories, especially those involving cosmology such as string theory and loop quantum gravity, when doing metaphysics. (shrink)

It is argued that certain quantum theories of gravity — string theory, loop quantum gravity, non-commutative field theory — do not include spacetime as part of their fundamental ontology. There is a concern in the literature that theories of this kind are physically opaque and empirically incoherent. In this paper, I clarify and amend Huggett and Wüthrich’s argument against these claims. Whereas the content of this paper centres on the disappearance and re-emergence of spacetime in quantum gravity, much of the (...) philosophical work centres more generally on issues of (emergent) ontology and how this ontology can be extracted from formal theories, the role of formal derivations in justifying ontological relations, the nature of Kuhnian revolutions, and the application of these revolutions to quantum gravity. (shrink)

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)

The conceptual incompatibility between General Relativity and Quantum Mechanics is generally seen as a sufficient motivation for the development of a theory of Quantum Gravity. If - so a typical argumentation - Quantum Mechanics gives a universally valid basis for the description of the dynamical behavior of all natural systems, then the gravitational field should have quantum properties, like all other fundamental interaction fields. And, if General Relativity can be seen as an adequate description of the classical aspects of gravity (...) and spacetime - and their mutual relation -, this leads, together with the rather convincing arguments against semi-classical theories of gravity, to a strategy which takes a quantization of General Relativity as the natural avenue to a theory of Quantum Gravity. And, because in General Relativity the gravitational field is represented by the spacetime metric, a quantization of the gravitational field would in some sense correspond to a quantization of geometry. Spacetime would have quantum properties. But, this direct quantization strategy to Quantum Gravity will only be successful, if gravity is indeed a fundamental interaction. Only if it is a fundamental interaction, the given argumentation is valid, and the gravitational field, as well as spacetime, should have quantum properties. - What, if gravity is instead an intrinsically classical phenomenon? Then, if Quantum Mechanics is nevertheless fundamentally valid, gravity can not be a fundamental interaction; a classical and at the same time fundamental gravity is excluded by the arguments against semi-classical theories of gravity. An intrinsically classical gravity in a quantum world would have to be an emergent, induced or residual, macroscopic effect, caused by a quantum substrate dominated by other interactions, not by gravity. Then, the gravitational field (as well as spacetime) would not have any quantum properties. And then, a quantization of gravity (i.e. of General Relativity) would lead to artifacts without any relation to nature. The serious problems of all approaches to Quantum Gravity that start from a direct quantization of General Relativity (e.g. non-perturbative canonical quantization approaches like Loop Quantum Gravity) or try to capture the quantum properties of gravity in form of a 'graviton' dynamics (e.g. Covariant Quantization, String Theory) - together with the, meanwhile, rich spectrum of (more or less advanced) theoretical approaches to an emergent gravity and/or spacetime - make this latter option more and more interesting for the development of a theory of Quantum Gravity. The most advanced emergent gravity (and spacetime) scenarios are of an information-theoretical, quantum-computational type. A paradigmatic model for the emergence of gravity and spacetime comes from the Pregeometric Quantum Causal Histories approach. (shrink)