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.

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 elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

The paper presents a program to construct a non-relativistic relational Bohmian theory, that is, a theory of N moving point-like particles that dispenses with space and time as fundamental background structures. The relational program proposed is based on the best-matching framework originally developed by Julian Barbour. In particular, the paper focuses on the conceptual problems that arise when trying to implement such a program. It is argued that pursuing a relational strategy in the Bohmian context leads to a more parsimonious (...) ontology than that of standard Bohmian mechanics without betraying the original motivations for adopting a primitive ontology approach to quantum physics. It is also shown how a relational Bohmian approach might clarify the issue of the timelessness of the dynamics resulting from the quantization of a classical relational system of particles. (shrink)

The paper presents an inquiry into the question regarding the compatibility of Bohmian mechanics, intended as a non-local theory of moving point-like particles, with background independence. This issue is worth being investigated because, if the Bohmian framework has to be of some help in developing new physics, it has to be compatible with the most well-established traits of modern physics, background independence being one of such traits. The paper highlights the fact that the notion of background independence in the context (...) of spacetime physics is slippery and interpretation-laden. It is then suggested that the best-matching framework developed by Julian Barbour might provide a robust enough meaning of background independence. The structure of Bohmian dynamics is evaluated against this framework, reaching some intermediate results that speak in favor of the fact that Bohmian mechanics can be made background independent. (shrink)

Symplectic reduction is a formal process through which degeneracy within the mathematical representations of physical systems displaying gauge symmetry can be controlled via the construction of a reduced phase space. Typically such reduced spaces provide us with a formalism for representing both instantaneous states and evolution uniquely and for this reason can be justifiably afforded the status of fun- damental dynamical arena - the otiose structure having been eliminated from the original phase space. Essential to the application of symplectic reduction (...) is the precept that the first class constraints are the relevant gauge generators. This prescription becomes highly problematic for reparameterization invariant theories within which the Hamiltonian itself is a constraint; not least because it would seem to render prima facie distinct stages of a history physically identical and observable functions changeless. Here we will consider this problem of time within non-relativistic me- chanical theory with a view to both more fully understanding the temporal struc- ture of these timeless theories and better appreciating the corresponding issues in relativistic mechanics. For the case of nonrelativistic reparameterization invariant theory application of symplectic reduction will be demonstrated to be both unnec- essary; since the degeneracy involved is benign; and inappropriate; since it leads to a trivial theory. With this anti-reductive position established we will then examine two rival methodologies for consistently representing change and observable func- tions within the original phase space before evaluating the relevant philosophical implications. We will conclude with a preview of the case against symplectic re- duction being applied to canonical general relativity. (shrink)

Sklar ([1974]) claimed that relationalism about ontology-the doctrine that space and time do not exist-is compatible with Newtonian mechanics. To defend this claim he sketched a relationalist interpretation of Newtonian mechanics. In his interpretation, absolute acceleration is a fundamental, intrinsic property of material bodies; that a body undergoes absolute acceleration does not entail that space and time exist. But Sklar left his proposal as just a sketch; his defense of relationalism succeeds only if the sketch can be filled in. I (...) argue that this cannot be done. There can be no (relationalist) dynamical laws of motion based on Sklar's proposal that capture the content of Newton's theory. So relationalists must look elsewhere for a relationalist interpretation of Newtonian mechanics. (shrink)

Ulrich Meyer's book The Nature of Time uses tense logic to argue for a `modal' view of time, which replaces substantial times with `ersatz times' constructed using conceptually basic tense operators. He also argues against Bertrand Russell's relationist theory, in which times are classes of events, and against the idea that relativity compels the integration of time and space. I find fault with each of these negative arguments, as well as with Meyer's purported reconstruction of empty spacetime from tense operators (...) and substantial spatial points. I suggest that Meyer's positive project is best conceived as an elimination of time in the mode of Julian Barbour's The End of Time. (shrink)

Some authors, inspired by the theoretical requirements for the formulation of a quantum theory of gravity, proposed a relational reconstruction of the quantum parameter-time—the time of the unitary evolution, which would make quantum mechanics compatible with relativity. The aim of the present work is to follow the lead of those relational programs by proposing a relational reconstruction of the event-time—which orders the detection of the definite values of the system’s observables. Such a reconstruction will be based on the modal-Hamiltonian interpretation (...) of quantum mechanics, which provides a clear criterion to select which observables acquire a definite value and to specify in what situation they do so. (shrink)

La interpretación modal-hamiltoniana fue introducida para resolver ciertos problemas de interpretación vinculados a su ontología y a la medición cuántica. Su regla de actualización establece que todo sistema cerrado tiene su energía bien definida, y debido a la indeterminación entre la energía y el tiempo esto plantea un interrogante respecto a la situación temporal de estos sistemas. En este trabajo se analiza el problema del tiempo en sistemas cerrados y se propone la reconstrucción de un tiempo relacional compatible con la (...) perspectiva holista. (shrink)

This dissertation concerns the nature of spacetime. It is divided into two parts. The first part, which comprises chapters 1, 2, and 3, addresses ontological questions: does spacetime exist? And if so, are there any other spatiotemporal things? In chapter 1 I argue that spacetime does exist, and in chapter 2 I respond to modal arguments against this view. In chapter 3 I examine and defend supersubstantivalism—the claim that all concrete physical objects (tables, chairs, electrons and quarks) are regions of (...) spacetime. Four-dimensional spacetime, we are often told, ‘unifies’ space and time; if we believe in spacetime, then we do not believe that space and time are separately existing things. But that does not mean that there is no distinction between space and time: we still distinguish between the spatial aspects and the temporal aspects of spacetime. The second part of this dissertation, comprising chapter 4, looks at this distinction. How is it made? In virtue of what are the temporal aspects of spacetime temporal, rather than spatial? The standard view is that the temporal aspects of spacetime are temporal because they play a distinctive role in the geometry of spacetime. I argue that this view is false, and that the temporal aspects are temporal because they play a distinctive role in the geometry of spacetime and in the laws of nature. (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)

The problem of theoretical equivalence is traditionally understood as the problem of specifying when superficially dissimilar accounts of the world are reformulations of a single underlying theory. One important strategy for answering this question has been to appeal to formal relations between theoretical structures. This article presents two reasons to think that such an approach will be unsuccessful and suggests an alternative account of theoretical equivalence, based on the notion of interpretive equivalence, in which the problem is merely an instance (...) of a broader problem in the philosophy of physics. I thus conclude that there is no distinctive problem of theoretical equivalence at all. Two difficulties my approach raises for realist replies to the threat of underdetermination are then discussed, with particular emphasis on a recent reply by Norton. 1 Introduction2 Methodological Confusion3 Asymmetrical Equivalence3.1 Maxwell’s field equations3.2 Classical Lagrangian dynamics4 Formal Approaches: Quine and Glymour5 Theoretical Equivalence as Interpretive Equivalence6 Theoretical Equivalence without Interpretive Judgement?7 Lessons for Underdetermination. (shrink)

This review of Julian Barbour's The End of Time ([1999]) discusses his Machian theories of dynamics, and his proposal that a Machian perspective enables one to solve the problem of time in quantum geometrodynamics, viz. by saying that there is no time! 1 Introduction 2 Machian themes in classical physics 2.1 The status quo 2.2 Machianism 2.2.1 The temporal metric as emergent 2.2.2 Machian theories 2.2.3 Assessing intrinsic dynamics 3 The end of time? 3.1 Time unreal? The classical case 3.1.1 (...) Spontaneity 3.1.2 Barbour's vision: time capsules 3.2 Evidence from quantum physics? 3.2.1 Mott scattering as a model for time capsules 3.2.2 Solving the problem of time? (shrink)

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.

The classical field theories that underlie the quantum treatments of the electromagnetic, weak, and strong forces share a peculiar feature: specifying the initial state of the field determines the evolution of some degrees of freedom of the theory while leaving the evolution of some others wholly arbitrary. This strongly suggests that some of the variables of the standard state space lack physical content-intuitively, the space of states of such a theory is of higher dimension than the corresponding space of genuine (...) physical possibilities. The structure of such theories can helpfully be characterized in terms of the action of symmetry groups on their space of states; and the conceptual problems surrounding their strange behavior can be sharpened in light of the observation that it is usually possible to eliminate the redundant variables associated with these symmetries-which turn out to be precisely those variables whose evolution is unconstrained by the dynamical laws of the theory. This paper discusses this approach, uses it to frame questions about the interpretation of classical gauge theories, and to reflect (pessimistically) on our prospects of reaching satisfactory answers to these questions. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on the (...) Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (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)

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)

This essay is a discussion of the philosophical and foundational issues that arise in non-relativistic quantum theory. After introducing the formalism of the theory, I consider: characterizations of the quantum formalism, empirical content, uncertainty, the measurement problem, and non-locality. In each case, the main point is to give the reader some introductory understanding of some of the major issues and recent ideas.

Some recent philosophical debate about persistence has focussed on an argument against perdurantism that discusses rotating perfectly homogeneous discs. The argument has been mostly discussed by metaphysicians, though it appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. After introducing the argument and emphasizing the relevance of physics, I review some metaphysicians' replies to the argument, especially those by Callender, Lewis, Robinson and Sider. Thereafter, I argue (...) for three main conclusions. They all arise from the fact, emphasized in Section 2, that classical mechanics is both more subtle, and more problematic, than philosophers generally realize. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ``imagine away'' the dynamical effects of rotation. The second is that in general relativity, the RDA fails because of frame-dragging. The third is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated. Namely, by the perdurantist taking objects in classical mechanics to have only temporally extended, i.e. non-instantaneous, temporal parts: which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of `definition' than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts: can do the jobs within the endurantism- perdurantism debate that the perdurantist wants temporal parts to do; and are supported by both classical and quantum mechanics. (shrink)

In the aftermath of the rediscovery of Einstein’s hole argument by Earman and Norton (1987), we hear that the ontological relational/substantival debate over the status of spacetime seems to have reached stable grounds. Despite Einstein’s early intention to cast GR’s spacetime as a relational entity à la Leibniz-Mach, most philosophers of science feel comfortable with the now standard sophisticated substantivalist (SS) account of spacetime. Furthermore, most philosophers share the impression that although relational accounts of certain highly restricted models of GR (...) are viable, at a deep down level, they require substantival spacetime structures. SS claims that although manifold spacetime points do not enjoy the sort of robust existence provided by primitive identity, it is still natural to be realistic about the existence of spacetime as an independent entity in its own right. It is argued that since the bare manifold lacks the basic spacetime structures –such as geometry and inertia- one should count as an independent spacetime the couple manifold +metric (M, g). The metric tensor field of GR encodes inertial and metrical structure so, in a way, it plays the explanatory role that Newtonian absolute space played in classical dynamics. In a nutshell, according to the SS account of spacetime, one should view the metric field of GR as the modern version of a realistically constructed spacetime since it has the properties –or contains the structures- that Newtonian space had. I will try to dismantle the widespread impression that a relational account of full GR is implausible. To do so, I will start by highlighting that when turning back to the original Leibniz-Newton dispute one sees that substantivalism turns out prima facie triumphant since Newton was able to successfully formulate dynamics. However, to give relationalism a fair chance, one can also put forward the following hypothetical questions: What if Leibniz –or some leibnizian- had had a good relational theory? What role would geometry play in this type of theory? Would it be natural to view geometry and inertia as intrinsic properties of substantival space –if not spacetime? Would it still seem natural to interpret the metric field of GR along substantival lines regardless of the fact that it also encodes important material properties such as energy-momentum? After bringing these questions out into the light I will cast some important doubts on the substantival (SS) interpretation of the metric field. Perhaps the metric turns out to be viewed as a relational matter field. Finally, to strengthen the relational account of spacetime I expect to remove the possible remaining interpretative tension by briefly discussing the relevance of two important facts: i) Dynamical variables are usually linked to material objects in physical theories. The metric field of GR is a dynamical object so, I claim, it should be viewed as a matter field. ii) Barbour and Bertotti (BB2, 1982) have provided and alternative formulation of classical dynamics. They provide a “genuinely relational interpretation of dynamics” (Pooley & Brown 2001). Geometry and inertia become –contra SS- relational structures in BB2. (shrink)

Analysis of Emmy Noether's 1918 theorems provides an illuminating method for testing the consequences of coordinate generality, and for exploring what else must be added to this requirement in order to give general covariance its far-reaching physical significance. The discussion takes us through Noether's first and second theorems, and then a third related theorem due originally to F. Klein. Contact will also be made with the contributions of, principally, J.L. Anderson, A. Trautman, P.A.M. Dirac, R. Torretti and the father of (...) the whole business, A. Einstein. (shrink)

Julian Barbour's approach to dynamics is reviewed. With a particular focus on questions of explanation and confirmation, the approach is contrasted with standard formulations of dynamics. This paper expands upon my commentary on Lawrence Sklar's paper at the Philosophy of Time Society meeting at the APA's Central Division meeting in Chicago, April 2004. Although a commentary, the current paper is comprehensible without reference to Sklar's paper.