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.

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)

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)

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.

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)

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.

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 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)

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)

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 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.

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)

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.

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)

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.

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.

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)

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)

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)

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)

”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)

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 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)

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)

ABSTRACT John Dewey argued in his Art as Experience that the significance of art as experience was of incomparable importance for the adventure of philosophical thought. He claimed that while both move in the medium of imaginative mind, art provides a “unique control” for the “imaginative ventures of philosophy.” In this article I examine, relying on a range of sources, some pivotal implications of this claim and especially how various forms of art and aesthetic experience can exemplify and further ways (...) of formulating, presenting, and critically engaging focal issues, both methodological and substantive, of the tasks of philosophy. The originary context of philosophy is agonistic, wresting meaning from the noise of meaninglessness or discerning order in a seeming world of chaos, not merely that of winning an argument. Both philosophy and art have attempted to fill a “hole in sense” by various practices, discursive in the case of philosophy and nondiscursive or “presentational” in the case of art. But art forms offer us models for a plurality of philosophical approaches to the task of enabling us to maintain and restore our existential and experiential balance within what Dewey called the “moving unbalanced balance of things.”. (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)

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 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)

After some background setting in which it is shown how Maudlin's (1989, 1990) response to the hole argument of Earman and Norton (1987) is related to that of Rynasiewicz (1994), it is argued that the syntactic proposals of Mundy (1992) and of Leeds (1995), which claim to dismiss the hole argument as an uninteresting blunder, are inadequate. This leads to a discussion of how the responses of Maudlin and Rynasiewicz relate to issues about gauge freedom and (...) relativity principles. (shrink)

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.

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)

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).

The Indian Buddhist Mādhyamika master Candrakīrti (ca. 7th century CE) grounds his philosophy in _lokaprasiddhi_ / -_prasiddha_, “that which is common knowledge / generally accepted among people in the world.” This raises the question of whether Candrakīrti accepts _everything_ that is “common knowledge” or instead distinguishes and privileges certain justifiable beliefs within common knowledge. Tom J.F. Tillemans has argued that Candrakīrti advocates a “lowest common denominator” version of _lokaprasiddhi_ instead of a model which promotes “in some areas at least, more (...) of a qualitative hierarchy of opinions and thus criticism by optimally qualified, insightful individuals.” In this way Candrakīrti is characterized as a “typical Prāsaṅgika” who advocates “a populist _lokaprasiddha_ and global error theory,” leading to “a dismal slough of relativism” in which Candrakīrti is compelled to uncritically acquise in the opinions of “average worldlings.” I argue that Candrakīrti instead employs a version of _lokaprasiddhi_ that distinguishes expert knowledge from the untutored notions of the _hoi polloi_. This argument is based upon a new interpretation of _āgama_ Candrakīrti twice quotes, and Candrakīrti’s usage of the terms _lokaprasiddhi_ / -_prasiddha_, _loka_- / _laukikavyavahāra_, _saṃvṛti_ and _saṃvṛtisatya_, and _laukika paramārtha_. I conclude that Candrakīrti presents himself as an expert in the determination of mundane affairs (_laukikārthaviniścayanipuṇa_), the foremost of which is the “mundane ultimate” (_laukika paramārtha_), the Buddha’s teaching of the path to liberation. Candrakīrti illucidates this for those following “the Victor’s path of reasoning” (_jinasya yuktipathānuyāyin_). He bases his philosophy in a position that is simply mundane (_laukika eva pakṣe sthitvā_), but which is nevertheless rationally demonstrable within the parameters of that which is common knowledge among people in the world (_lokaprasiddhi_). (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)

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)

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)

The compact and, with \ M\, very massive object located at the center of the Milky Way is currently the very best candidate for a supermassive black hole in our immediate vicinity. The strongest evidence for this is provided by measurements of stellar orbits, variable X-ray emission, and strongly variable polarized near-infrared emission from the location of the radio source Sagittarius A* in the middle of the central stellar cluster. Simultaneous near-infrared and X-ray observations of SgrA* have revealed insights (...) into the emission mechanisms responsible for the powerful near-infrared and X-ray flares from within a few tens to one hundred Schwarzschild radii of such a putative SMBH. If SgrA* is indeed a SMBH it will, in projection onto the sky, have the largest event horizon and will certainly be the first and most important target for very long baseline interferometry observations currently being prepared by the event horizon telescope. These observations in combination with the infrared interferometry experiment GRAVITY at the very large telescope interferometer and other experiments across the electromagnetic spectrum might yield proof for the presence of a black hole at the center of the Milky Way. The large body of evidence continues to discriminate the identification of SgrA* as a SMBH from alternative possibilities. It is, however, unclear when the ever mounting evidence for SgrA* being associated with a SMBH will suffice as a convincing proof. Additional compelling evidence may come from future gravitational wave observatories. This manuscript reviews the observational facts, theoretical grounds and conceptual aspects for the case of SgrA* being a black hole. We treat theory and observations in the framework of the philosophical discussions about “realism and underdetermination”, as this line of arguments allows us to describe the situation in observational astrophysics with respect to supermassive black holes. Questions concerning the existence of supermassive black holes and in particular SgrA* are discussed using causation as an indispensable element. We show that the results of our investigation are convincingly mapped out by this combination of concepts. (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)

The publication in 2015 (ed. Li) of Chap. 6 of the rediscovered Sanskrit text of Candrakīrti’s Madhyamakāvatāra (MA) allows us to witness more directly Candrakīrti’s careful and deliberate critique of the ‘chariot argument’ for the merely conventional existence of the self in Indian Abhidharmic thought. I argue that in MA 6.140–141, Candrakīrti alludes to the use of the chariot argument in the Milindapañha as negating only the view of a permanent self (compared to an elephant), rather than negating (...) ego-identification (compared to a snake in its hole). In contrast to this misuse of the chariot argument, in MA 6.150–165 Candrakīrti uses the chariot argument as an allegory to enable the meditator to refute the basis of ego-identification in seven ways. Candrakīrti’s use of the chariot argument does not establish any theory about the self or not-self, but acts as a guide to meditation as part of philosophy as a spiritual practice with the goal of liberation. (shrink)

This paper discusses some philosophical aspects related to the recent publication of the experimental results of the 2017 black hole experiment, namely the first image of the supermassive black hole at the center of galaxy M87. In this paper I present a philosophical analysis of the 2017 Event Horizon Telescope (EHT) black hole experiment. I first present Hacking’s philosophy of experimentation. Hacking gives his taxonomy of elements of laboratory science and distinguishes a list of elements. I show (...) that the EHT experiment conforms to major elements from Hacking’s list. I then describe with the help of Galison’s Philosophy of the Shadow how the EHT Collaboration created the famous black hole image. Galison outlines three stages for the reconstruction of the black hole image: Socio-Epistemology, Mechanical Objectivity, after which there is an additional SocioEpistemology stage. I subsequently present my own interpretation of the reconstruction of the black hole image and I discuss model fitting to data. I suggest that the main method used by the EHT Collaboration to assure trust in the results of the EHT experiment is what philosophers call the Argument from Coincidence. I show that using this method for the above purpose is problematic. I present two versions of the Argument from Coincidence: Hacking’s Coincidence and Cartwright’s Reproducibility by which I analyse the EHT experiment. The same estimation of the mass of the black hole is reproduced in four different procedures. The EHT Collaboration concludes: the value we have converged upon is robust. I analyse the mass measurements of the black hole with the help of Cartwright’s notion of robustness. I show that the EHT Collaboration construe Coincidence/Reproducibility as Technological Agnosticism and I contrast this interpretation with van Fraassen’s scientific agnosticism. (shrink)

The Argument from Vagueness for Universalism contends that any non-arbitrary restriction on composition must be vague, but that vague composition leads to unacceptable count indeterminacy. One common response to the argument is that borderline cases of composition don’t necessarily lead to count indeterminacy because a determinately existing thing may be a borderline case of a presently existing concrete composite object. We can collectively refer to such views as versions of the Status Response. This paper argues that the Status (...) Response cannot handle count indeterminacy about various categories of things, such as events, states of affairs, tropes, holes, shadows, and created abstracta, when these are understood in the right way. This makes the Status Response objectionablfy ad hoc, which should lead us to look for alternative ways of resisting the Argument from Vagueness. (shrink)