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)

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)

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.

I describe three extant attempts to identify the global external symmetries within a Humean framework with theorems of some or other deductive systematization of the world, respectively, the best system, a meta-best system and a maximally simple system. Each has merits, but also serious flaws. Instead, I propose a view of global external symmetries as consequences of the structure of Humean-consistent world-making relations.

The existence and fundamentality of spacetime has been questioned in quantum gravity where spacetime is frequently described as emerging from a more fundamental non-spatiotemporal ontology. This is supposed to lead to various philosophical issues such as the problem of empirical coherence. Yet those issues assume beforehand that we actually understand and agree on the nature of spacetime. Reviewing popular conceptions of spacetime, we find that there is substantial disagreement on this matter, and little hope of resolving it. However, we argue (...) that this should not trouble us as these issues, which seem to suggest the need for an account of spacetime in quantum gravity, can be addressed without one. (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.

The hole argument has become one of the main issues in the philosophy of space-time after the article by Earman and Norton (1987), according to which a certain version of substantivalism (manifold substantivalism) cannot be defended because it brings about to a radical indeterminism. In this article, we try to show that, first, the naming of manifold substantivalism is not appropriate since as some philosophers have said, manifold points cannot be considered to have an independent identity. Second, with a commitment (...) to ontic structural realism, it is possible to offer a proper understanding of manifold substantivalism, which according to the hole argument, does not lead to the radical indeterminism. As a result, the hole argument does not arise, simply. Thus, the last point is that the fact that structural realism is able to solve the problem of the hole argument can itself be seen as considerable evidence in favor of this philosophical position, and thus, the degree of its confirmation goes up. (shrink)

I advance a stipulational account of symmetry-to-reality inference, according to which symmetries are part of the content of theories. For a theory to have a certain symmetry is for the theory to stipulate that models related by the symmetry represent the same possibility. I show that the stipulational account compares positively with alternatives, including Dasgupta’s epistemic account of symmetry, Møller-Nielsen’s motivational account, and so-called formal and ontic accounts. In particular, the stipulational account avoids the problems Belot and Dasgupta have raised (...) against formal and ontic accounts of symmetry while retaining many of the advantages of these otherwise-attractive frameworks. (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.

One of Julian Barbour’s main aims is to solve the problem of time that appears in quantum geometrodynamics (QG). QG involves the application of canonical quantization procedure to the Hamiltonian formulation of General Relativity. The problem of time arises because the quantization of the Hamiltonian constraint results in an equation that has no explicit time parameter. Thus, it appears that the resulting equation, as apparently timeless, cannot describe evolution of quantum states. Barbour attempts to resolve the problem by allegedly eliminating (...) time from his interpretation of QG. In order to evaluate the efficacy of his solution, it is necessary to ascertain in what sense time has been eliminated from his theory. I proceed to do so by developing a form of conceptual analysis that is applicable to the concept of time in physical theories and applying this analysis to Barbour’s account. (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)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (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)

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.

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

This paper defends a relational view of time based on recent work on quantum gravity. Julian barbour's relational approach to physical theory, in particular, is developed as a basis for a relational, rather than anti-realist, metaphysics of time.

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, I (...) believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give rise (...) to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

Gravity is the foundation of the current physical paradigm. Due to that gravity is strongly linked to the curvature of space-time, we research that it lacks of a valid physical concept of space-time, nevertheless that from the science philosophy, via substantivalism, it has tried respond. We found that is due to that the gnoseological process applied from the general relativity, necessarily us leads to metaphysic because ontologically space-time is a metaphysical entity. Thus, we arrive to the super substantivalism that from (...) metaphysics gives an answer on space-time rigorously exact with the vision of Einstein on physics. The result is that matter is nothing since all is space-time, i.e. geometry, therefore is a imperative of the physical science break the current paradigm. (shrink)

The issues I explore in this paper are best introduced by the table with which it begins. The left-hand entry in each row gives expression to a kind objectivity; the right-hand entry affirms the existence of a special kind of object. When philosophers believe in any of the entities on the right, it is typically because they think them necessary to ground the facts on the left. By the same token, when philosophers deny any of the facts on the left, (...) it is often because they cannot bring themselves to believe in the associated kind of object on the right. My project is to explore the extent to which it is possible to have the objectivity without the objects—for example, absolute motion without substantival space, objective predication without universals, objective synonymy without propositions, and objective modality without possible worlds. Each of these combinations would have been congenial to A.N. Prior. (shrink)

Substantivalism is the view that space exists in addition to any material bodies situated within it. Relationalism is the opposing view that there is no such thing as space; there are just material bodies, spatially related to one another. This paper assesses this issue in the context of classical physics. It starts by describing the bucket argument for substantivalism. It then turns to anti-substantivalist arguments, including Leibniz's classic arguments and their contemporary reincarnation under the guise of ‘symmetry’. It argues that (...) these anti-substantivalist arguments are stronger than is often acknowledged. (shrink)

This essay explores the use of platonist and nominalist concepts, derived from the philosophy of mathematics and metaphysics, as a means of elucidating the debate on spacetime ontology and the spatial structures endorsed by scientific realists. Although the disputes associated with platonism and nominalism often mirror the complexities involved with substantivalism and relationism, it will be argued that a more refined three-part distinction among platonist/nominalist categories can nonetheless provide unique insights into the core assumptions that underlie spatial ontologies, but it (...) also assists in critiquing alternative uses of nominalism, platonism, and both ontic and epistemic structural realism. (shrink)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

This article investigates the problem of the identity of the parts of space in Newton’s natural philosophy, as well as the holistic or structuralist nature of Newton’s ontology of space. Additionally, this article relates the lessons reached in this historical and philosophical investigation to analogous debates in contemporary space-time ontology. While previous contributions, by Nerlich, Huggett, and others, have proven to be informative in evaluating Newton’s claims, it will be argued that the underlying goals of Newton’s views have largely eluded (...) prior analysis and that Newton’s approach is similar, and lends support, to several current structuralist trends in the conception of space-time ontology. (shrink)

This essay presents an alternative to contemporary substantivalist and relationist interpretations of quantum gravity hypotheses by means of an historical comparison with the ontology of space in the seventeenth century. Utilizing differences in the spatial geometry between the foundational theory and the theory derived from the foundational, in conjunction with nominalism and platonism, it will be argued that there are crucial similarities between seventeenth century and contemporary theories of space, and that these similarities reveal a host of underlying conceptual issues (...) that the substantival/relational dichotomy fails to distinguish. (shrink)

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states – the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one hand, it seems plausible that Heisenberg subscribes to that view, given how he defends the notorious "collapse of the wave (...) function" by relating it to a sudden change in the epistemic situation of the observer registering a measured result. On the other hand, his remarks on quantum probabilities as "potentia" or "objective tendencies" are difficult to reconcile with such a reading. The accounts that are attributed to Heisenberg by the different possible readings considered are subjected to closer scrutiny; at the same time, their respective virtues and problems are discussed. _German_ Diese Arbeit untersucht mögliche Lesarten von Heisenbergs späten Bemerkungen über die Natur von Quantenzuständen. Insbesondere wird die Frage diskutiert, ob Heisenberg als Vertreter der epistemischen Auffassung von Quantenzuständen gelten kann – der Idee, dass Quantenzustände nicht Beschreibungen der objektiven Eigenschaften von Quantensystemen sind sondern die epistemischen Beziehungen von Beobachtern zu diesen Systemen widerspiegeln. Einerseits erscheint es plausibel, dass Heisenberg dieser Sichtweise zustimmt, wenn man sich ansieht, wie er den berüchtigten,,Kollaps der Wellenfunktion" verteidigt, indem er ihn mit einer plötzlichen Änderung in der Kenntnis des ein Messergebnis registrierenden Beobachters in Zusammenhang bringt. Andererseits sind seine Bemerkungen über quantenmechanische Wahrscheinlichkeiten als,,Potentia" oder,,objektive Tendenzen" mit einer solchen Lesart nur schwer in Einklang zu bringen. Die Positionen, die Heisenberg den verschiedenen möglichen Lesarten zufolge vertritt, werden eingehenden Untersuchungen unterzogen; gleichzeitig werden ihre jeweiligen Vorzüge und Probleme diskutiert. (shrink)

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)

This essay examines the underdetermination problem that plagues structuralist approaches to spacetime theories, with special emphasis placed on the epistemic brands of structuralism, whether of the scientific realist variety or not. Recent non-realist structuralist accounts, by Friedman and van Fraassen, have touted the fact that different structures can accommodate the same evidence as a virtue vis-à-vis their realist counterparts; but, as will be argued, these claims gain little traction against a properly constructed liberal version of epistemic structural realism. Overall, a (...) broad construal of spacetime theories along epistemic structural realist lines will be defended which draws upon both Friedman’s earlier work and the convergence of approximate structure over theory change, but which also challenges various claims of the ontic structural realists. (shrink)

Utilizing Einstein’s comparison of General Relativity and Descartes’ physics, this investigation explores the alleged conventionalism that pervades the ontology of substantival and relationist conceptions of spacetime. Although previously discussed, namely by Rynasiewicz and Hoefer, it will be argued that the close similarities between General Relativity and Cartesian physics have not been adequately treated in the literature—and that the disclosure of these similarities bolsters the case for a conventionalist interpretation of spacetime ontology.

By analyzing the meaning of time I argue, without endorsing operationalism, that time is necessarily related to physical systems which can serve as clocks. This leads to a version of relationism about time which entails that there is no time 'before' the universe. Three notions of metaphysical 'time' (associated, respectively, with time as a mathematical concept, substantivalism, and modal relationism) which might support the idea of time 'before' the universe are discussed. I argue that there are no good reasons to (...) believe that metaphysical 'time' can be identified with what we ordinarily call time. I also briefly review and criticize the idea of time 'before' the big bang, associated with some recent speculative models in modern cosmology, and I argue that if the big bang model is a (roughly) correct description of our universe, then the best current answer to the question in the title is that time did have a beginning. (shrink)

This is a very introductory introduction to some ways in which the special and general theories of relativity may bear upon metaphysical questions about the nature of time and space, and the persistence of objects.

In a companion paper (Pooley & Brown 2001) it is argued that Julian Barbour's Machian approach to dynamics provides a genuinely relational interpretation of Newtonian dynamics and that it is more explanatory than the conventional, substantival interpretation. In this paper the extension of the approach to relativistic physics is considered. General relativity, it turns out, can be reinterpreted as a perfectly Machian theory. However, there are difficulties with viewing the Machian interpretation as more fundamental than the conventional, spacetime interpretation. Moreover, (...) this state of affairs provides little solace for the relationist for, even when interpreted along Machian lines, general relativity is a substantival theory although the basic entity is space, not spacetime. (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.

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

Symmetry fundamentalism claims that symmetries should be taken metaphysically seriously as part of the fundamental ontology. The main aim of this paper is to bring some novel objections against this view. I make two points. The first places symmetry fundamentalism within a broader network of philosophical commitments. I claim that symmetry fundamentalism entails idealization realism which, in turn, entails the reification of further theoretical structures. This might lead to an overloaded ontology as well as open the way to criticisms from (...) metaphysical frameworks that reject such reifications. The second point contrasts symmetry fundamentalism with the now common view that regards symmetries as stipulations guiding empirical research and theory construction. I claim that both views clash each other and cannot be held together. I finish the paper with a more positive prospect that will be developed in future work—symmetry deflationism. (shrink)

The strong immanent realism (i.e., the view that there exist universals as entities capable of being wholly present wherever their instances are located) has been traditionally criticized for having certain absurd consequences. Although Gilmore (2003) replied to these criticisms by taking spatial relations involving universals as relativized to their locations, his reply has been rebutted by Keskinen et al. (2015). This paper aims to defend the strong immanent realism by proposing a new version of the relativization strategy, according to which (...) a spatial relation is to be relativized just to the extent that it contains universals or concrete particulars among its terms. This version, it will be argued, can satisfactorily address the objections hitherto posed to the strong immanent realism. (shrink)

In this article, we explore the heuristic power of the theoretical distinction between framework and interaction theories applied to the case of General Relativity. According to the distinction, theories and theoretical elements can be classified into two different groups, each with clear ontological, epistemic and functional content. Being so, to identify the group to which a theory belongs would suffice to know a priori its prospects and limitations in these areas without going into a detailed technical analysis. We make the (...) exercise here with General Relativity, anticipate its ontological, epistemic and functional content and show afterwords that such expectations are justified in this case, being consistent with formal issues of General Relativity. With this, we attempt to make a case for the use of the distinction as a powerful tool for scientific and philosophical analysis. (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.

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)

I present an argument against a relational theory of spacetime that regards spacetime as a ‘structural quality of the field’. The argument takes the form of a trilemma. To make the argument, I focus on relativistic worlds in which there exist just two fields, an electromagnetic field and a gravitational field. Then there are three options: either spacetime is a structural quality of each field separately, both fields together, or one field but not the other. I argue that the first (...) option founders on a problem of geometric coordination and that the second and third options collapse into substantivalism. In particular, on the third option it becomes clear that the relationalist’s path to Leibniz equivalence is no simpler or more straightforward than the substantivalist’s. 1Introduction 2Background 2.1Relational theories of spacetime 2.2Brief remarks on general relativity 3First Horn: Geometric Coordination 4Second Horn: Problems of Coincidence 5Third Horn: General Relativity and Gauge 5.1Preventing collapse 5.2The revised shift argument 6Conclusion. (shrink)

The debate on the ontological status of spacetime in General Relativity has historically seen two principal philosophical contenders: substantivalism, roughly the view that holds that spacetime exists apart from the material contents of the universe, and relationism, the doctrine that spacetime does not exist, i.e., it is a mere abstract web of spatiotemporal relations among bodies. This dispute, however, has rarely been fought on a cosmological battlefield. In this paper an attempt in this direction is made. The question at issue (...) is the following: is there any feature of our universe that requires or is best explained in terms of a substantival space? I claim that there is indeed: the expansion of the universe, perhaps the most important phenomenon in cosmology, can play such a role. (shrink)

This paper proposes a parallel in the forms of Aristotle’s and Einstein’s physics. It’s an exercise on conceptual analysis rather than history. The possible similarity between Aristotle’s world and the form (global geometry) of Einstein’s universe is discussed. The correlation between kinematics, dynamics and gravity in their respective theories is also studied. Finally, Aristotle’s ontology of space is compared to the relativistic ontology spacetime.

Debates about the ontological implications of the general theory of relativity have long oscillated between spacetime substantivalism and relationism. I evaluate such debates by claiming that we need a third option, which I refer to as “structural spacetime realism.” Such a tertium quid sides with the relationists in defending the relational nature of the spacetime structure, but joins the substantivalists in arguing that spacetime exists, at least in part, independently of particular physical objects and events, the degree of “independence” being (...) given by the extent to which geometrical laws exist “over and above” physical events exemplifying them. By showing that structural spacetime realism is the natural outcome of a semantic, model-theoretic approach to the nature of scientific theories, I conclude by arguing that the notion of partial isomorphic representation is the most plausible candidate to connect spacetime models with reality. (shrink)