In this paper, I argue that the Hole Argument can be formulated without using the notion of isomorphism, and for this reason it is not threatened by the criticism of Halvorson and Manchak (Br J Philos Sci, 2022. https://doi.org/10.1086/719193). Following Earman and Norton (Br J Philos Sci 38, pp. 515–525, 1987), I divide the Hole Argument into two steps: the proof of the Gauge Theorem and the transition from the Gauge Theorem to the conclusion of radical (...) indeterminism. In the analaysis of the first step, I argue that the Gauge Theorem does not rely on the notion of isomorphism but on the notion of the diffeomorphism-invariance of the equations of local spacetime theories; however, for this approach to work, the definition of local spacetime theories needs certain amendments with respect to Earman and Norton’s formulation. In the analysis of the second step, I postulate that we should use the notion of radical indeterminism instead of indeterminism simpliciter and that we should not decide in advance what kind of maps are to be used in comparing models. Instead, we can tentatively choose some kind of maps for this purpose and check whether a given choice leads to radical indeterminism involving empirically indistinguishable models. In this way, the use of the notion of isomorphism is also avoided in the second step of the Hole Argument. A general picture is that physical equivalence can be established by means of an iterative procedure in which we examine various candidate classes of maps, and, depending on the outcomes, we need to broaden or narrow these classes. The Hole Argument can be viewed as a particular instance of this procedure. (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.

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond (...) to the criticisms of Tim Maudlin and Jeremy Butterfield. (shrink)

The Hole Argument was originally formulated by Einstein and it haunted him as he struggled to understand the meaning of spacetime coordinates in the context of the diffeomorphism invariance of general relativity. This argument has since been put to philosophical use by Earman and Norton to argue against a substantival conception of spacetime. In the present work I demonstrate how Earman and Norton’s Hole Argument can be extended to exclude everything and not merely substantival manifolds. (...) These casualties of the hole demonstrate that the Hole Argument hinges essentially on our notion of determinism and not on the diffeomorphic freedom of general relativity. Just as Earman and Norton argue that we should not let our metaphysics run roughshod over the structure of our physical theories, so I will argue that, in particular, we should not uncritically allow our metaphysics to dictate what our physical theories must determine. The central conviction which drives the arguments of this paper is that deterministic theories are not required to determine for future moments what they cannot determine for any present or past moments. I provide two arguments to the effect that a physically informed notion of determinism does not require general relativity to determine substantival facts. Consequently the Hole Argument cannot be used against substantival spacetime. The position that I advocate is an instance of “sophisticated determinism.”. (shrink)

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role (...) of the Univalence Axiom in the treatment of the Hole Argument in HoTT is clarified. (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)

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)

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.

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.

We argue that several apparently distinct responses to the hole argument, all invoking formal or mathematical considerations, should be viewed as a unified “mathematical response.” We then consider and rebut two prominent critiques of the mathematical response before reflecting on what is ultimately at issue in this literature.

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.

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.

Jim Weatherall has suggested that Einstein's hole argument, as presented by Earman and Norton, is based on a misleading use of mathematics. I argue on the contrary that Weatherall demands an implausible restriction on how mathematics is used. The hole argument, on the other hand, is in no new danger at all.

Einstein algebras have been suggested (Earman 1989) and rejected (Rynasiewicz 1992) as a way to avoid the hole argument against spacetime substantivalism. In this article, I debate their merits and faults. In particular, I suggest that a gauge‐invariant interpretation of Einstein algebras that avoids the hole argument can be associated with one approach to quantizing gravity, and, for this reason, is at least as well motivated as sophisticated substantivalist and relationalist interpretations of the standard tensor formalism.

Ladyman and Presnell have recently argued that the Hole argument is naturally resolved when spacetime is represented within homotopy type theory rather than set theory. The core idea behind their proposal is that the argument does not confront us with any indeterminism, since the set-theoretically different representations of spacetime involved in the argument are homotopy type-theoretically identical. In this article, we will offer a new resolution based on ZFC set theory to the argument. It neither (...) relies on a constructive-intuitionistic form of mathematics, as used by Ladyman and Presnell, nor is foundationally problematic, such as the existing set-theoretic suggestions. (shrink)

This special issue of Foundations of Physics collects together articles representing some recent new perspectives on the hole argument in the history and philosophy of physics. Our task here is to introduce those new perspectives.

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)

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.

In his paper, ‘Regarding the ‘Hole Argument”, Weatherall suggests that models of general relativity related by a hole diffeomorphism must be regarded as being physically equivalent. At a later stage in the paper, however, he also argues that there is a sense in which two such models may be regarded as being empirically distinct—a fortiori physically distinct. We attempt to delineate the logic behind these two prima facie contradictory claims. We argue that the latter sense rests upon (...) a misunderstanding of the import of shift arguments in the foundations of spacetime theories. (shrink)

Algebraic substantivalism, as an interpretation of general relativity formulated in the Einstein algebra formalism, avoids the hole argument against manifold substantivalism. In this essay, I argue that this claim is well-founded. I first identify the hole argument as an argument against a specific form of semantic realism with respect to spacetime. I then consider algebraic substantivalism as an alternative form of semantic realism. In between, I justify this alternative form by reviewing the Einstein algebra formalism (...) and indicating the extent to which it is expressively equivalent to the standard formalism of tensor analysis on differential manifolds. (shrink)

We address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole (...) class='Hi'>argument. (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.

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 (...) class='Hi'>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)

In a recent article, Halvorson and Manchak (Br J Philos Sci, Forthcoming) claim that there is no basis for the Hole Argument, because (in a certain sense) hole isometries are unique. This raises two important questions: (a) does their argument succeed?; (b) how does this formalist response to the Hole Argument relate to other recent responses to the Hole Argument in the same tradition—in particular, that of Weatherall (Br J Philos Sci 69(2):329–350, (...) 2018)? In this article, _ad_ (a), we argue that Halvorson and Manchak’s claim does not go through; _ad_ (b), we argue that although one _prima facie_ plausible reading would see Halvorson and Manchak as filling an important hole (no pun intended) in Weatherall’s argument, in fact this reading is implausible; there is no need to supplement Weatherall’s work with Halvorson and Manchak’s results. (shrink)

One of the most serious theoretical obstacles to contemporary spacetime substantivalism is Earman and Norton's hole argument. We argue that applying the bundle theory of substance to spacetime points allows spacetime substantivalists to escape the conclusion of this argument. Some philosophers have claimed that the bundle theory cannot be applied to substantival spacetime in this way due to problems in individuating spacetime points in symmetrical spacetimes. We demonstrate that it is possible to overcome these difficulties if spatiotemporal (...) properties are viewed as tropes rather than universals. (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)

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)

Doubts are raised concerning Rickles' claim that ``an exact analog of the hole argument can be constructed in the loop representation of quantum gravity'' (Rickles, `A new spin on the hole argument', Studies in History and Philosophy of Modern Physics 36 (2005) 415–434).

John Earman and John Norton have argued that substantivalism leads to a radical form of indeterminism within local spacetime theories. I compare their argument to more traditional arguments typical in the Relationist/Substantivalist dispute and show that they all fail for the same reason. All these arguments ascribe to the substantivalist a particular way of talking about possibility. I argue that the substantivalist is not committed to the modal claims required for the arguments to have any force, and show that (...) this naturally leads to an alteration in the way determinism is characterized for local spacetime theories. (shrink)

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. (...) Accordingly, I search for a conception of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

The following argument is widely assumed to be invalid: there is a pain in my finger; my finger is in my mouth; therefore, there is a pain in my mouth. The apparent invalidity of this argument has recently been used to motivate the conclusion that pains are not spatial entities. We argue that this is a mistake. We do so by drawing attention to the metaphysics of pains and holes and provide a framework for their location which both (...) vindicates the argument's validity and explains why it appears invalid. To this end, we show that previously proposed explanations for the apparent invalidity of the argument fail. Moreover, we show that our account accommodates and explains seemingly opposing linguistic data. We conclude that the ‘pain-in-mouth argument’ does not undermine the view that pains are spatial entities. (shrink)

I argue that Earman and Norton's familiar "hole argument" raises questions as to whether GTR is a deterministic theory only given a certain assumption about determinism: namely, that to ask whether a theory is deterministic is to ask about the physical situations described by the theory. I think this is a mistake: whether a theory is deterministic is a question about what sentences can be proved within the theory. I show what these sentences look like: for interesting theories, (...) a harmless bit of infinitary logic puts in an appearance. (shrink)

Recent developments point to a breakdown in the generalized second law of thermodynamics for theories with Lorentz symmetry violation. It appears possible to construct a perpetual motion machine of the second kind in such theories, using a black hole to catalyze the conversion of heat to work. Here we describe and extend the arguments leading to that conclusion. We suggest the inference that local Lorentz symmetry may be an emergent property of the macroscopic world with origins in a microscopic (...) second law of causal horizon thermodynamics. (shrink)

Stationary spacetimes containing a black hole have several properties akin to those of atoms. For instance, such spacetimes have only three classical degrees of freedom, or observables, which may be taken to be the mass, the angular momentum, and the electric charge of the hole. There are several arguments supporting a proposal originally made by Bekenstein that quantization of these classical degrees of freedom gives an equal spacing for the horizon area spectrum of black holes. We review some (...) of these arguments and introduce a specific Hamiltonian quantum theory of black holes. Our Hamiltonian quantum theory gives, among other things, a discrete spectrum for the classical observables, and it produces an area spectrum which is closely related to Bekenstein's proposal. We also present a foamlike model of horizons of spacetime. In our model spacetime horizon consists of microscopic Schwarzschild black holes. Applying our Hamiltonian approach to this model we find that the entropy of any horizon is one quarter of its area. (shrink)

Belot, Earman, and Ruetsche (1999) dismiss the black hole remnant proposal as an inadequate response to the Hawking information loss paradox. I argue that their criticisms are misplaced and that, properly understood, remnants do offer a substantial reply to the argument against the possibility of unitary evolution in spacetimes that contain evaporating black holes. The key to understanding these proposals lies in recognizing that the question of where and how our current theories break down is at the heart (...) of these debates in quantum gravity. I also argue that the controversial nature of assessing the limits of general relativity and quantum field theory illustrates the significance of attempts to establish the proper borders of our effective theories. (shrink)

Belot, Earman, and Ruetsche dismiss the black hole remnant proposal as an inadequate response to the Hawking information loss paradox. I argue that their criticisms are misplaced and that, properly understood, remnants do offer a substantial reply to the argument against the possibility of unitary evolution in spacetimes that contain evaporating black holes. The key to understanding these proposals lies in recognizing that the question of where and how our current theories break down is at the heart of (...) these debates in quantum gravity. I also argue that the controversial nature of assessing the limits of general relativity and quantum field theory illustrates the significance of attempts to establish the proper borders of our effective theories. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet (...) is in the drawer. Ergo *there is a hole in the drawer”. (shrink)

It is commonly believed that people become selfish and turn to looting, price gouging, and other immoral behaviour in emergencies. This has been the basis for an argument justifying extraordinary measures in emergencies. It states that if emergencies are not curtailed, breakdown of moral norms threaten (‘the moral black hole’). Using the example of natural disasters, we argue that the validity of this argument in non-antagonistic situations, i.e. situations other than war and armed conflict, is highly questionable. (...) Available evidence suggests that people in such emergencies typically do not display panic reactions or exaggerated selfishness, and that phenomena such as looting and price gouging are rare. Furthermore, a version of the moral-black-hole argument based on the mere possibility of a moral black hole occurring runs into problems similar to those of Pascal’s Wager. We conclude that we should be wary against applying the moral-black-hole argument to non-antagonistic cases. (shrink)

In their modern classic ``What Price Substantivalism? The Hole Story'' Earman and Norton argued that substantivalism about spacetime points implies that general relativity is indeterministic and, for that reason, must be rejected as a candidate ontology for the theory. More recently, Earman has cottoned on to a related argument (in fact, related to a \emph{response} to the hole argument) that arises in the context of canonical general relativity, according to which the enforcing of determinism along standard (...) lines---using the machinery of gauge theory---leads to a `frozen universe' picture (grounded in an absence of changes in values of general relativity's observables). \emph{Prima facie} this would seem to land the anti-substantivalist in waters at least as deep as those that Earman and Norton argued troubled substantivalism. In this paper I introduce the argument in what I think are clearer terms than Earman's, and assess his treatment of the problem. For the most part I agree with Earman about the nature of the problem, but I find aspects of his discussion wanting, especially as regards his proposed ontology. I argue that ontological sense can be made of the changelessness if a structuralist stance is adopted with respect to a natural class of observables. (shrink)

Physical arguments stemming from the theory of black-hole thermodynamics are used to put constraints on the dynamics of closed-string tachyon condensation in Scherk–Schwarz compactifications. A geometrical interpretation of the tachyon condensation involves an effective capping of a noncontractible cycle, thus removing the very topology that supports the tachyons. A semiclassical regime is identified in which the matching between the tachyon condensation and the black-hole instability flow is possible. We formulate a generalized correspondence principle and illustrate it in several (...) different circumstances: an Euclidean interpretation of the transition from strings to black holes across the Hagedorn temperature and instabilities in the brane-antibrane system. (shrink)

I present in detail the case for regarding black hole thermodynamics as having a statistical-mechanical explanation in exact parallel with the statistical-mechanical explanation believed to underly the thermodynamics of other systems. I focus on three lines of argument: zero-loop and one-loop calculations in quantum general relativity understood as a quantum field theory, using the path-integral formalism; calculations in string theory of the leading-order terms, higher-derivative corrections, and quantum corrections, in the black hole entropy formula for extremal and (...) near-extremal black holes; recovery of the qualitative and quantitative structure of black hole statistical mechanics via the AdS/CFT correspondence. In each case I briefly review the content of, and arguments for, the form of quantum gravity being used at a introductory level: the paper is aimed at students and non-specialists and does not presume advanced knowledge of quantum gravity.. My conclusion is that the evidence for black hole statistical mechanics is as solid as we could reasonably expect it to be in the absence of a directly-empirically-verified theory of quantum gravity. (shrink)

Information theory presupposes the notion of an epistemic agent, such as a scientist or an idealized human. Despite that, information theory is increasingly invoked by physicists concerned with fundamental physics, physics at very high energies, or generally with the physics of situations in which even idealized epistemic agents cannot exist. In this paper, I shall try to determine the extent to which the application of information theory in those contexts is legitimate. I will illustrate my considerations using the case of (...) black hole thermodynamics and Bekenstein's celebrated argument for his formula for the entropy of black holes. This example is particularly pertinent to the theme of the present collection because it is widely accepted as `empirical data' in notoriously empirically deprived quantum gravity, even though the laws of black hole thermodynamics have so far evaded direct empirical confirmation. (shrink)