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.

I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to ``explain'' inertial motion. I argue that there is a sense in which both theories may be understood to explain inertial motion, but that the sense of ``explain'' is rather different from what one might have expected. This sense of explanation is (...) connected with a view of theories---I call it the ``puzzleball view''---on which the foundations of a physical theory are best understood as a network of mutually interdependent principles and assumptions. (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)

Newton's Principia introduced conceptions of space and time that launched one of themost famous and sustained debates in the history of physics, a controversy that involves fundamentalconcerns in the foundations of physics, metaphysics, and scientific epistemology.This bookintroduces and clarifies the historical and philosophical development of the clash between Newton'sabsolute conception of space and Leibniz's relational one. It separates the issues and provides newperspectives on absolute relational accounts of motion and relational-substantival accounts of theontology of space time.Earman's sustained treatment and imaginative (...) insights raise to a new levelthe debate on these important issues at the boundary of philosophy and physics. He surveys thehistory of the controversy from Newton to Einstein develops the mathematics and physics needed topose the issues in sharp form and provides a persuasive assessment of the philosophical problemsinvolved.Most importantly, Earman revitalizes the connection of the debate to contemporary science.He shows, for example, how concerns raised by Leibniz form the core of ongoing debate on thefoundations of general theory of relativity, moving the discussion into a new and vital arena andintroducing arguments that will be discussed for years to come.John Earman is Professor of Historyand Philosophy of Science at the University of Pittsburgh. A Bradford Book. (shrink)

This Handbook provides an overview of many of the topics that currently engage philosophers of physics. It surveys new issues and the problems that have become a focus of attention in recent years. It also provides up-to-date discussions of the still very important problems that dominated the field in the past.

1.1 Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Tangent Vectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (...) . . . . . . . . . . . 7 1.3 Vector Fields, Integral Curves, and Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Tensors and Tensor Fields on Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.5 The Action of Smooth Maps on Tensor Fields . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.6 Lie Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 1.7 Derivative Operators and Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.8 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 1.9 Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 1.10 Hypersurfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 1.11 Volume Elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96.. (shrink)

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

Weinberg's 1972 work, in his description, had two purposes. The first was practical to bring together and assess the wealth of data provided over the previous decade while realizing that newer data would come in even as the book was being printed. He hoped the comprehensive picture would prepare the reader and himself to that new data as it emerged. The second was to produce a textbook about general relativity in which geometric ideas were not given a starring role for (...) (in his words) too great an emphasis on geometry can only obscure the deep connections between gravitation and the rest of physics. (shrink)

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I survey (...) the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

I argue that there is natural relationist interpretation of Newtonian and relativistic non-quantum physics. Although relationist, this interpretation does not fall prey to the traditional objections based on the existence of inertial effects.

As far as classical physics is concerned, it is possible to trace causal relations between physical objects back to intrinsic properties of these objects. On this view, causal relations turn out to be internal instead of external relations, supervening on intrinsic properties of the relata. However, one can raise doubts about this view already in Newtonian mechanics. The decisive blow to this view comes from quantum physics, with Bell’s theorem proving that no dynamics based on local, intrinsic properties of quantum (...) objects can yield the empirical predictions of quantum mechanics. Nonetheless, quantum entanglement by no means implies that we have to abandon an ontology of objects in favour of an ontology of structures. Any of the known proposals for a quantum ontology of matter in space-time is committed to objects. However, on any of these proposals, what determines the dynamics of these objects are not local, intrinsic properties, but a global or holistic property instantiated by all the objects together – that is, a structure that takes all the objects in the universe as its relata. The view set out in this paper thus amounts to combining ontic structural realism with an ontology of objects that can be conceived as substances. This suggestion is illustrated by drawing on the ontology of quantum physics worked out by Bohm and Bell. (shrink)

Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the ``observables'') of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent) is essentially the same. The temptation (...) to think otherwise stems from a misunderstanding of the meaning of spacetime coordinates in background-dependent theories. (shrink)

I argue that the need to understand spacetime structure as emergent in quantum gravity is less radical and surprising it might appear. A clear understanding of the link between general relativity's geometrical structures and empirical geometry reveals that this empirical geometry is exactly the kind of thing that could be an effective and emergent matter. Furthermore, any theory with torsion will involve an effective geometry, even though these theories look, at first glance, like theories with straightforward spacetime geometry. As it's (...) highly likely that there will be a role for torsion in quantum gravity, it's also highly likely that any theory of quantum gravity will require us to get to grips with emergent spacetime structure. (shrink)

Abstract: There are two traditionally rival views about the nature of time: substantivalism that takes time to be a substance that exists independently of events located in it, and relationism that takes time to be constructed out of events. In this paper, first, I want to make some progress with respect to the debate between these two views, and I do this mainly by examining the strategies they use to face the possibilities of ‘empty time’ and ‘time without change’. As (...) we shall see, the two allegedly very different rival views are much less different than has been thought: their structure is extremely similar, their strategies are extremely similar, and they can both face the possibilities of ‘empty time’ and ‘time without change’ in the same way. Thus, I argue in favour of a certain kind of equivalence between the two views; I discuss a Strong and a Weak version of this claim; and I provide reasons for endorsing the former. I also discuss the parallel between this pair of views about the nature of time and another analogous pair of views: the bundle theory and the substratum theory about the nature of material objects, with respect to the problem with Identity of Indiscernibles. (shrink)

INTRODUCTION In Einstein's theory of gravitation matter and its dynamical interaction are based on the notion of an intrinsic geometric structure of the space -time continuum. The ideal aspiration, the ultimate aim, of the theory is not more and ...

Since antiquity, natural philosophers have struggled to comprehend the nature of three tightly interconnected concepts: space, time, and motion. A proper understanding of motion, in particular, has been seen to be crucial for deciding questions about the natures of space and time, and their interconnections. Since the time of Newton and Leibniz, philosophers’ struggles to comprehend these concepts have often appeared to take the form of a dispute between absolute conceptions of space, time and motion, and relational conceptions. This article (...) guides the reader through some of the history of these philosophical struggles. Rather than taking sides in the (alleged) ongoing debates, or reproducing the standard dialectic recounted in most introductory texts, we have chosen to scrutinize carefully the history of the thinking of the canonical participants in these debates — principally Descartes, Newton, Leibniz, Mach and Einstein. Readers interested in following up either the historical questions or current debates about the natures of space, time and motion will find ample links and references scattered through the discussion and in the Other Internet Resources section below. (shrink)

I offer a novel argument for spacetime substantivalism: We should take the spacetime of general relativity to be a substance because of its active role in gravitational causation. As a clear example of this causal behavior I offer the cosmological constant, a term in the most general form of the Einstein field equations which causes free floating objects to accelerate apart. This acceleration cannot, I claim, be causally explained except by reference to spacetime itself.

All accounts of causality that presuppose the propagation or transfer or some physical stuff to be an essential part of the causal relation rely for the force of their causal claims on a principle of conservation for that stuff. General Relativity does not permit the rigorous formulation of appropriate conservation principles. Consequently, in so far as General Relativity is considered and fundamental physical theory, such accounts of causality cannot be considered fundamental. The continued use of such accounts of causality ought (...) not be proscribed, but justification is due from those who would use them. (shrink)

Scheibe is one of the most important philosophers of science in Germany. He has written extensively on all the problems that confront the philosophy of physics: rationalism vs. empiricism; reductionism; the foundations of quantum mechanics; space-time, and much more. Since little of his work has been translated into English, he is not yet well known internationally. However, this collection of some 40 of his papers will remedy this unfortunate situation.

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)

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)

I argue that, contrary to folklore, Einstein never really cared for geometrizing the gravitational or the electromagnetic field; indeed, he thought that the very statement that General Relativity geometrizes gravity "is not saying anything at all". Instead, I shall show that Einstein saw the "unification" of inertia and gravity as one of the major achievements of General Relativity. Interestingly, Einstein did not locate this unification in the field equations but in his interpretation of the geodesic equation, the law of motion (...) of test particles. (shrink)

An energy condition, in the context of a wide class of spacetime theories, is, crudely speaking, a relation one demands the stress-energy tensor of matter satisfy in order to try to capture the idea that "energy should be positive". The remarkable fact I will discuss in this paper is that such simple, general, almost trivial seeming propositions have profound and far-reaching import for our understanding of the structure of relativistic spacetimes. It is therefore especially surprising when one also learns that (...) we have no clear understanding of the nature of these conditions, what theoretical status they have with respect to fundamental physics, what epistemic status they may have, when we should and should not expect them to be satisfied, and even in many cases how they and their consequences should be interpreted physically. Or so I shall argue, by a detailed analysis of the technical and conceptual character of all the standard conditions used in physics today, including examination of their consequences and the circumstances in which they are believed to be violated. (shrink)

I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum of (...) the flat connection and the gravitational field. 1 Introduction2 Newtonian Gravity: The Orthodox Approach3 Newtonian Gravity: Additional Symmetries4 Cosmological Considerations5 A Newtonian Equivalence Principle: Inertial Frames in Newtonian Gravitation6 Theory Equivalence?7 Conclusion. (shrink)

The clock hypothesis of relativity theory equates the proper time experienced by a point particle along a timelike curve with the length of that curve as determined by the metric. Is it possible to prove that particular types of clocks satisfy the clock hypothesis, thus genuinely measure proper time, at least approximately? Because most real clocks would be enormously complicated to study in this connection, focusing attention on an idealized light clock is attractive. The present paper extends and generalized partial (...) results along these lines with a theorem showing that, for any timelike curve in any spacetime, there is a light clock that measures the curve’s length as accurately and regularly as one wishes. (shrink)

This contributed volume is the result of a July 2010 workshop at the University of Wuppertal Interdisciplinary Centre for Science and Technology Studies which brought together world-wide experts from physics, philosophy and history, in order to address a set of questions first posed in the 1950s: How do we compare spacetime theories? How do we judge, objectively, which is the “best” theory? Is there even a unique answer to this question? -/- The goal of the workshop, and of this book, (...) is to contribute to the development of a meta-theory of spacetime theories. Such a meta-theory would reveal insights about specific spacetime theories by distilling their essential similarities and differences, deliver a framework for a class of theories that could be helpful as a blueprint to build other meta-theories, and provide a higher-level viewpoint for judging which theory most accurately describes nature. But rather than drawing a map in broad strokes, the focus is on particularly rich regions in the “space of spacetime theories.” -/- This work will be of interest to physicists, as well as philosophers and historians of science working with or interested in General Relativity and/or Space, Time and Gravitation more generally. (shrink)