It is argued that Minkowski space-time cannot serve as the deep structure within a ``constructive'' version of the special theory of relativity, contrary to widespread opinion in the philosophical community.

We approach the physics of \emph{minimal coupling} in general relativity, demonstrating that in certain circumstances this leads to violations of the \emph{strong equivalence principle}, which states that, in general relativity, the dynamical laws of special relativity can be recovered at a point. We then assess the consequences of this result for the \emph{dynamical perspective on relativity}, finding that potential difficulties presented by such apparent violations of the strong equivalence principle can be overcome. Next, we draw upon our discussion of the (...) dynamical perspective in order to make explicit two `miracles' in the foundations of relativity theory. We close by arguing that the above results afford us insights into the nature of special relativity, and its relation to general relativity. (shrink)

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories.

Constructivists, such as Harvey Brown, urge that the geometries of Newtonian and special relativistic spacetimes result from the properties of matter. Whatever this may mean, it commits constructivists to the claim that these spacetime geometries can be inferred from the properties of matter without recourse to spatiotemporal presumptions or with few of them. I argue that the construction project only succeeds if constructivists antecedently presume the essential commitments of a realist conception of spacetime. These commitments can be avoided only by (...) adopting an extreme form of operationalism. (shrink)

This paper engages with the following closely related questions that have recently received some attention in the literature: what is the status of the equivalence principle in general relativity?; how does the metric field obtain its property of being able to act as a metric?; and is the metric of GR derivative on the dynamics of the matter fields? The paper attempts to complement these debates by studying the spin-2 approach to gravity. In particular, the paper argues that three lessons (...) can be drawn from the spin-2 approach: different from what is sometimes claimed in the literature, central aspects of the non-linear theory of GR are already derivable in classical spin-2 theory; in particular, ‘universal coupling’ can be considered a derived ‘theorem’ in both the classical and the quantum spin-2 approach; this provides new insights for the investigation of the equivalence principle; the ‘second miracle’ that Read et al. argue characterises GR is explained in the classical as well as in the quantum version of the spin-2 approach; the spin-2 approach allows for an ontological reduction of the metrical part of spacetime to the dynamics of matter fields. (shrink)

A version of relationism that takes spatiotemporal structures—spatial geometry and a standard of inertia—to supervene on the history of relations between bodies is described and defended. The account is used to explain how the relationist should construe models of Newtonian mechanics in which absolute acceleration manifestly does not supervene on the relations; Ptolemaic and Copernican models for example. The account introduces a new way in which a Lewis-style ‘best system’ might capture regularities in a broadly Humean world; a defence is (...) given against a charge of indeterminism that applies to any such approach to laws. (shrink)

We should see the debate over the existence of spacetime as a debate about the fundamentality of spatiotemporal structure to the physical world. This is a non-traditional conception of the debate, which captures the spirit of the traditional one. At the same time, it clarifies the point of contention between opposing views and offsets worries that the dispute is stagnant or non-substantive. It also unearths a novel argument for substantivalism, given current physics. Even so, that conclusion can be overridden by (...) future physics. I conclude that this debate is a substantive one, which the substantivalist is currently winning. (shrink)

More often than not, recently popular structuralist interpretations of physical theories leave the central concept of a structure insufficiently precisified. The incipient causal sets approach to quantum gravity offers a paradigmatic case of a physical theory predestined to be interpreted in structuralist terms. It is shown how employing structuralism lends itself to a natural interpretation of the physical meaning of causal set theory. Conversely, the conceptually exceptionally clear case of causal sets is used as a foil to illustrate how a (...) mathematically informed rigorous conceptualization of structure serves to identify structures in physical theories. Furthermore, a number of technical issues infesting structuralist interpretations of physical theories such as difficulties with grounding the identity of the places of highly symmetrical physical structures in their relational profile and what may resolve these difficulties can be vividly illustrated with causal sets. (shrink)

Michel Janssen and Harvey Brown have driven a prominent recent debate concerning the direction of an alleged arrow of explanation between Minkowski spacetime and Lorentz invariance of dynamical laws in special relativity. In this article, I critically assess this controversy with the aim of clarifying the explanatory foundations of the theory. First, I show that two assumptions shared by the parties—that the dispute is independent of issues concerning spacetime ontology, and that there is an urgent need for a constructive interpretation (...) of special relativity—are problematic and negatively affect the debate. Second, I argue that the whole discussion relies on a misleading conception of the link between Minkowski spacetime structure and Lorentz invari-ance, a misconception that in turn sheds more shadows than light on our understand-ing of the explanatory nature and power of Einstein’s theory. I state that the arrow connecting Lorentz invariance and Minkowski spacetime is not explanatory and uni-directional, but analytic and bidirectional, and that this analytic arrow grounds the chronogeometric explanations of physical phenomena that special relativity offers. (shrink)

The purpose of this paper is to evaluate the `Lorentzian Pedagogy' defended by J.S. Bell in his essay ``How to teach special relativity'', and to explore its consistency with Einstein's thinking from 1905 to 1952. Some remarks are also made in this context on Weyl's philosophy of relativity and his 1918 gauge theory. Finally, it is argued that the Lorentzian pedagogy---which stresses the important connection between kinematics and dynamics---clarifies the role of rods and clocks in general relativity.

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

The relationship between Albert Einstein’s special theory of relativity and Hendrik A. Lorentz’s ether theory is best understood in terms of competing interpretations of Lorentz invariance. In the 1890s, Lorentz proved and exploited the Lorentz invariance of Maxwell’s equations, the laws governing electromagnetic fields in the ether, with what he called the theorem of corresponding states. To account for the negative results of attempts to detect the earth’s motion through the ether, Lorentz, in effect, had to assume that the laws (...) governing the matter interacting with the fields are Lorentz invariant as well. This additional assumption can be seen as a generalization of the well-known contraction hypothesis. In Lorentz’s theory, it remained an unexplained coincidence that both the laws governing fields and the laws governing matter should be Lorentz invariant. In special relativity, by contrast, the Lorentz invariance of all physical laws directly reflects the Minkowski space-time structure posited by the theory. One can use this observation to produce a common-cause argument to show that the relativistic interpretation of Lorentz invariance is preferable to Lorentz’s interpretation. (shrink)

In a number of publications, John Earman has advocated a tertium quid to the usual dichotomy between substantivalism and relationism concerning the nature of spacetime. The idea is that the structure common to the members of an equivalence class of substantival models is captured by a Leibniz algebra which can then be taken to directly characterize the intrinsic reality only indirectly represented by the substantival models. An alleged virtue of this is that, while a substantival interpretation of spacetime theories falls (...) prey to radical local indeterminism, the Leibniz algebras do not. I argue that the program of Leibniz algebras is subject to radical local indeterminism to the same extent as substantivalism. In fact, for the category of topological spaces of interest in spacetime physics, the program is equivalent to the original spacetime approach. Moreover, the motivation for the program--that isomorphic substantival models should be regarded as representing the same physical situation--is misguided. (shrink)

It has recently been argued that Harvey Brown and Oliver Pooley’s ‘dynamical approach’ to special relativity should be understood as what might be called an ontologically and ideologically relationalist approach to Minkowski geometry, according to which Minkowski geometrical structure supervenes upon the symmetries of the best-systems dynamical laws for a material world with primitive topological or differentiable structure. Fleshing out the details of some such primitive structure, and a conception of laws according to which Minkowski geometry could so supervene, has (...) been referred to by some as the ‘constructivist project’. Here, it is explained that Nick Huggett’s work on ‘regularity relationalism’ provides a framework for such an approach, and a relativistic version of Huggett’s regularity relationalism is outlined for that purpose. Finally, by way of examples, it is shown that this approach fails in the simplest cases. Still, reasons are given for which this should not necessarily discourage an advocate of this interpretation of the dynamical approach. _1_ Introduction to the Dynamical Approach _2_ Huggett’s Regularity Relationalism _3_ The Dynamical Approach as a Form of Regularity Relationalism _4_ A Simple Way to Set the Stage _5_ A First Attempt _5.1_ Complex-valued planewave solutions _5.2_ Real-valued planewave solutions _6_ More General Solutions _7_ Summary and Reflections. (shrink)

According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) physical fields are (...) primitive. We explain how the theory of natural operations in differential geometry—the modern formalism behind classifying diffeomorphism-invariant constructions—can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. (shrink)

Brown and Pooley’s ‘dynamical approach’ to physical theories asserts, in opposition to the orthodox position on physical geometry, that facts about physical geometry are grounded in, or explained by, facts about dynamical fields, not the other way round. John Norton has claimed that the proponent of the dynamical approach is illicitly committed to spatiotemporal presumptions in ‘constructing’ space-time from facts about dynamical symmetries. In this article, I present an abstract, algebraic formulation of field theories and demonstrate that the proponent of (...) the dynamical approach is not committed, in special relativity, to the illicit presumptions to which Norton refers. (shrink)

I critically discuss two dogmas of the “dynamical approach” to spacetime in general relativity, as advanced by Harvey Brown [Physical Relativity Oxford:Oxford University Press] and collaborators. The first dogma is that positing a “spacetime geometry” has no implications for the behavior of matter. The second dogma is that postulating the “Strong Equivalence Principle” suffices to ensure that matter is “adapted” to spacetime geometry. I conclude by discussing “spacetime functionalism”. The discussion is presented in reaction to and sympathy with recent work (...) by James Read [“Explanation, geometry, and conspiracy in relativity theory” Thinking about Spacetime Boston: Birkäuser]. (shrink)

ABSTRACT It has recently been argued that Harvey Brown and Oliver Pooley’s ‘dynamical approach’ to special relativity should be understood as what might be called an ontologically and ideologically relationalist approach to Minkowski geometry, according to which Minkowski geometrical structure supervenes upon the symmetries of the best-systems dynamical laws for a material world with primitive topological or differentiable structure. Fleshing out the details of some such primitive structure, and a conception of laws according to which Minkowski geometry could so supervene, (...) has been referred to by some as the ‘constructivist project’. Here, it is explained that Nick Huggett’s work on ‘regularity relationalism’ provides a framework for such an approach, and a relativistic version of Huggett’s regularity relationalism is outlined for that purpose. Finally, by way of examples, it is shown that this approach fails in the simplest cases. Still, reasons are given for which this should not necessarily discourage an advocate of this interpretation of the dynamical approach. 1 Introduction to the Dynamical Approach 2 Huggett’s Regularity Relationalism 3 The Dynamical Approach as a Form of Regularity Relationalism 4 A Simple Way to Set the Stage 5 A First Attempt 5.1 Complex-valued planewave solutions 5.2 Real-valued planewave solutions 6 More General Solutions 7 Summary and Reflections. (shrink)

The paper provides a critical discussion of the Super-Humean view of spacetime and the “minimalist ontology” in terms of Leibnizian relations and primitive matter points, recently developed by Esfeld et al. It investigates, in particular, the empirical adequacy of the proposed metaphysics, arguing that Super-Humeanism cannot provide a plausible account of space and time without committing to bona fide geometric structure in the fundamental relations. Against this backdrop, I propose a moderate version of Super-Humeanism and discuss its possible application to (...) Euclidean space and General Relativity. (shrink)

The debate concerning the ontological status of spacetime is standardly construed as a dilemma between substantivalism and relationalism. I argue that a trilemma is more appropriate, emergent spacetime theories being the third category. Traditional philosophical arguments do not distinguish between emergent spacetime and substantivalism. It is arguments from physics that suggest giving up substantivalism in favour of emergent spacetime theories. The remaining new dilemma is between emergent spacetime and relationalism. I provide a list of questions, which one should consider when (...) discussing emergent spacetime theories, and apply them to a quantum superfluid toy model of emergent spacetime. (shrink)

The existence of a definite tangent space structure (metric with Lorentzian signature) in the general theory of relativity is the consequence of a fundamental assumption concerning the local validity of special relativity. There is then at the heart of Einstein's theory of gravity an absolute element which depends essentially on a common feature of all the non-gravitational interactions in the world, and which has nothing to do with space-time curvature. Tentative implications of this point for the significance of the vacuum (...) solutions in general relativity, and for the issue of quantising gravity, are briefly examined. (shrink)

Noncommutative geometries generalize standard smooth geometries, parametrizing the noncommutativity of dimensions with a fundamental quantity with the dimensions of area. The question arises then of whether the concept of a region smaller than the scale—and ultimately the concept of a point—makes sense in such a theory. We argue that it does not, in two interrelated ways. In the context of Connes’ spectral triple approach, we show that arbitrarily small regions are not definable in the formal sense. While in the scalar (...) field Moyal–Weyl approach, we show that they cannot be given an operational definition. We conclude that points do not exist in such geometries. We therefore investigate (a) the metaphysics of such a geometry, and (b) how the appearance of smooth manifold might be recovered as an approximation to a fundamental noncommutative geometry. (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.

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

We investigate the interplay and connections between symmetry properties of equations, the interpretation of coordinates, the construction of observables, and the existence of physical relativity principles in spacetime theories. Using the refined notion of an event as a "point-coincidence" between scalar fields that completely characterise a spacetime model, we also propose a natural generalisation of the relational local observables that does not require the existence of four everywhere invertible scalar fields. The collection of all point-coincidences forms in generic situations a (...) four-dimensional manifold, that is naturally identified with the physical spacetime. (shrink)