The Hole Argument

It is shown that the heuristic "derivation" of the Schrödinger equation in quantum mechanics textbooks can be turned into a real derivation by resorting to spacetime translation invariance and relativistic invariance.

The hole argument concludes that substantivalism about spacetime entails the radical indeterminism of the general theory of relativity (GR). In this paper, I amend and defend a response to the hole argument first proposed by Butterfield (1989) that relies on the idea of counterpart substantivalism. My amendment clarifies and develops the metaphysical presuppositions of counterpart substantivalism and its relation to various definitions of determinism. My defence consists of two claims. First, contra Weatherall (2018) and others: the hole argument is not (...) a blunder resulting from a mistaken view on how mathematical physics works, and requires a developed (meta)metaphysical response. Second, contra Melia (1999) and others: one can be content with a notion of determinism for GR which is not sensitive to merely haecceitistic differences. (shrink)

The hole argument purportedly shows that spacetime substantivalism implies a pernicious form of indeterminism. We show that the argument is seductive only because it mistakes a trivial claim (viz. there are isomorphic models) for a significant claim (viz. there are hole isomorphisms). We prove that the latter claim is false -- thereby closing the debate about whether substantivalism implies indeterminism.

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

The infamous Hole Argument has led philosophers to develop various versions of substantivalism, of which metric essentialism and sophisticated substantivalism are the most popular. In this journal, Trevor Teitel has recently advanced novel arguments against both positions. However, Teitel does not discuss the position of Jeremy Butterfield, which appeals to Lewisian counterpart theory in order to avoid the Hole Argument. In this note I show that the Lewis-Butterfield view is immune to Teitel’s challenges.

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

This paper reviews the hole argument as an argument against spacetime substantivalism. After a careful presentation of the argument itself, I critically review possible responses.

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (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.

This paper is a brief (and hopelessly incomplete) non-standard introduction to the philosophy of space and time. It is an introduction because I plan to give an overview of what I consider some of the main questions about space and time: Is space a substance over and above matter? How many dimensions does it have? Is space-time fundamental or emergent? Does time have a direction? Does time even exist? Nonetheless, this introduction is not standard because I conclude the discussion by (...) presenting the material with an original spin, guided by a particular understanding of fundamental physical theories, the so-called primitive ontology approach. (shrink)

Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological (structural) Memory (OntoMemory), the measure of being of the whole, “the soul of matter”, qualitative quantity of the absolute forms of existence of matter (absolute states). “Information” and “time” (...) are multivalent phenomena of Ontological Memory substantiating the essential unity of the world on the “horizontal” and “vertical”. Ontological constructing of dialectics of Logos self-motion, total unification of matter, “grasp” of the nature of information leads to the necessity of introducing a new unit of information showing the ideas of dialectical formation and generation of new structures and meanings, namely Delta-Logit (Δ-Logit), qualitative quantum-prototecton, fundamental organizing, absolute existential-extreme. The simplest mathematical symbol represents the dialectical microprocessor of the Nature. Ontological formula of John A. Wheeler «It from Bit» [2] is “grasped” as the first dialectic link in the chain of ontological formulas → “It from Δ-Logit” → “It from OntoMemory” → “It from Logos, Logos into It”. Ontological Memory - core, semantic attractor of the new conceptual structure of the world of the Information Age, which is based on Absolute generating structure («general framework structure»), the representant of onto-genetic code and algorithm of the Universe. (shrink)

In general relativity, a spacetime and a gravitational field form an indivisible unit: no field, no spacetime. This is a lesson of Einstein's hole argument. We use a simple transformation in a Schwartzschild pacetime to illustrate this.