'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

I discuss several issues related to "classical" spacetime structure. I review Galilean, Newtonian, and Leibnizian spacetimes, and briefly describe more recent developments. The target audience is undergraduates and early graduate students in philosophy; the presentation avoids mathematical formalism as much as possible.

The celu of the philosophical literature on the hole argument is the 1987 paper by Earman \& Norton ["What Price Space-time Substantivalism? The Hole Story" Br. J. Phil. Sci.]. This paper has a well-known back-story, concerning work by Stachel and Norton on Einstein's thinking in the years 1913-15. Less well-known is a connection between the hole argument and Earman's work on Leibniz in the 1970s and 1980s, which in turn can be traced to an argument first presented in 1975 by (...) Howard Stein. Remarkably, this thread originates with a misattribution: the argument Earman attributes to Stein, which ultimately morphs into the hole argument, was not the argument Stein gave. The present paper explores this episode and presents some reflections on how it bears on the subsequent literature. (shrink)

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)

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)

The analysis of the temporal structure of canonical general relativity and the connected interpretational questions with regard to the role of time within the theory both rest upon the need to respect the fundamentally dual role of the Hamiltonian constraints found within the formalism. Any consistent philosophical approach towards the theory must pay dues to the role of these constraints in both generating dynamics, in the context of phase space, and generating unphysical symmetry transformations, in the context of a hypersurface (...) embedded within a solution. A first denial of time in the terms of a position of reductive temporal relationalism can be shown to be troubled by failure on the first count, and a second denial in the terms of Machian temporal relationalism can be found to be hampered by failure on the second. A third denial of time, consistent with both of the Hamiltonian constraints roles, is constituted by the implementation of a scheme for constructing observables in terms of correlations and leads to a radical Parmenidean timelessness. The motivation for and implications of each of these three denials are investigated. (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)

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.

It is widely believed that shapes are intrinsic properties. But this claim is hard to defend. I survey all known theories of shape properties, and argue that each theory is either incompatible with the claim that shapes are intrinsic, or can be shown to be false.

The implications for the substantivalist–relationalist controversy of Barbour and Bertotti's successful implementation of a Machian approach to dynamics are investigated. It is argued that in the context of Newtonian mechanics, the Machian framework provides a genuinely relational interpretation of dynamics and that it is more explanatory than the conventional, substantival interpretation. In a companion paper (Pooley [2002a]), the viability of the Machian framework as an interpretation of relativistic physics is explored. 1 Introduction 2 Newton versus Leibniz 3 Absolute space versus (...) an affine connection 4 Anti-relationalist arguments 5 Rehabilitating relationalism 6 Dynamics on the relative configuration space 7 Intrinsic particle dynamics 8 Conclusion. (shrink)

Absolutism about mass claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Dasgupta, Oxford studies in metaphysics, Oxford University Press, Oxford, 2013) argues for comparativism about mass, in the context of Newtonian Gravity. Such an argument requires proving that comparativism is empirically adequate. Dasgupta equates this to showing that absolute masses are undetectable, and attempts to do so. This paper develops an argument by Baker to the contrary: absolute masses are in fact empirically meaningful, that is (...) detectable. Additionally, it is argued that the requirement of empirical adequacy should not be cashed out in terms of undetectability in the first place. The paper closes by sketching the possible strategies that remain for the comparativist. Along the way a framework is developed that is useful for thinking about these issues: Ozma games—how could one explain to an alien civilisation what an absolute mass is? (shrink)

Absolutism about mass within Newtonian gravity claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Defenders of comparativism promise to recover all the empirical and theoretical virtues of absolutism, but at a lower ‘metaphysical cost’. This article develops a Machian form of comparativism about mass in Newtonian gravity, obtained by replacing Newton’s constant in the law of universal gravitation by another constant divided by the sum over all masses. Although this form of comparativism is indeed empirically (...) equivalent to the absolutist version of Newtonian gravity—thereby meeting the challenge posed by the comparativist’s bucket argument—it is argued that the explanatory power and metaphysical parsimony of comparativism are highly questionable. (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)

This article gives an explicit presentation of Newtonian gravitation on the backdrop of Maxwell space-time, giving a sense in which acceleration is relative in gravitational theory. However, caution is needed: assessing whether this is a robust or interesting sense of the relativity of acceleration depends on some subtle technical issues and on substantive philosophical questions over how to identify the space-time structure of a theory.

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries. Overall, the account meshes well with standard treatments of symmetries. But the distinction between the common core and the dual theories prompts a distinction between three kinds of symmetry: which we call ‘stipulated’, ‘accidental’ and ‘proper’.

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.

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)

Two symmetry arguments are discussed, each purporting to show that there is no more room for a preferred division of spacetime into instants of time in general relativistic cosmology than in Minkowski spacetime. The first argument is due to Gödel, and concerns the symmetries of his famous rotating cosmologies. The second turns upon the symmetries of a certain space of relativistic possibilities. Both arguments are found wanting.

Prominently, Norton argues against constructivism about spacetime theories, the doctrine that spatiotemporal structure in the dynamics only has derivative status. Among other things, he accuses Brown and Pooley's dynamical approach to special relativity of being merely half-way constructivist: setting up relativistic fields as presupposed in the dynamical approach to special relativity already requires spatiotemporal background structure. We first assess a recent solution proposal by Menon and then provide our very own defense of constructivism along two independent lines.

I discuss the debate between dynamical versus geometrical approaches to spacetime theories, in the context of both special and general relativity, arguing that the debate takes a substantially different form in the two cases; different versions of the geometrical approach—only some of which are viable—should be distinguished; in general relativity, there is no difference between the most viable version of the geometrical approach and the dynamical approach. In addition, I demonstrate that what have previously been dubbed two ‘miracles’ of general (...) relativity admit of no resolution from within general relativity, on either the dynamical or ‘qualified’ geometrical approaches, modulo some possible hints that the second ‘miracle’ may be resolved by appeal to recent results regarding the ‘geodesic principle’ in GR. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought. While it dramatically clarifies some issues, it can also lead to misunderstandings of some figures, and is a very poor tool indeed for others - Leibniz in particular. (ii) I will show how to blunt a very influential argument against a relational conception of spacetime - the view that the properties and (...) relations of bodies exhaust the spatiotemporal. (shrink)

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 this paper I examine the connection between symmetry and modality from the perspective of `reduction' methods in geometric mechanics. I begin by setting the problem up as a choice between two opposing views: reduction and non-reduction. I then discern four views on the matter in the literature; they are distinguished by their advocation of distinct geometric spaces as representing `reality'. I come down in favour of non-reductive methods.

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

This essay demonstrates the inadequacy of contemporary substantivalist and relationist interpretations of quantum gravity hypotheses via an historical investigation of the debate on the underlying ontology of space in the seventeenth century. Viewed in the proper context, there are crucial similarities between seventeenth century theories of space and contemporary work on the ontological foundations of spacetime theories, and these similarities challenge the utility of the substantival/relational dichotomy by revealing a host of underlying conceptual issues that do not naturally align with (...) that distinction. (shrink)

In this paper I wish to make some headway on understanding what \emph{kind} of problem the ``problem of time'' is, and offer a possible resolution---or, rather, a new way of understanding an old resolution. The response I give is a variation on a theme of Rovelli's \emph{evolving constants of motion} strategy. I argue that by giving correlation strategies a \emph{structuralist} basis, a number of objections to the standard account can be blunted. Moreover, I show that the account I offer provides (...) a suitable ontology for time in both classical and quantum canonical general relativity. (shrink)

This thesis concerns the metaphysics of scale. It investigates the implications of a physical determinable being dimensionful. In particular, it considers the case study of mass, as it features within Newtonian Gravity. Nevertheless, most of the terminology, methodology and arguments developed should be relatively straightforwardly applicable to other determinables and theories. -/- Weak Absolutism about mass holds that mass ratios obtain in virtue of absolute masses. Weak Comparativism denies this. In the first five chapters I argue in favour of Weak (...) Absolutism over Weak Comparativism. The sixth chapter argues against reducing mass to other non-mass facts. The overall conclusion is Strong Absolutism about mass within Newtonian Gravity: mass ratios obtain in virtue of absolute masses, which themselves are fundamental (i.e. they do not require anything further in order to obtain). -/- Comparativism promises to recover all the virtues of absolutism, in particular its empirical adequacy, but at a lower 'metaphysical cost'. Special attention is given to Dasgupta's recent comparativist proposal. Dasgupta interprets the requirement of empirical adequacy in terms of the undetectability of the absolute mass scale. I argue that undetectability is an unsuitable way of understanding empirical adequacy and that we would do better to understand it in terms of a theory's ability to correctly generate the set of empirically possible worlds (or at least the actual world). I refute Dasgupta's comparativism both on my terms and on his own terms. I subsequently develop and strongly criticise alternative versions of comparativism. Chapter five sheds doubt on the supposed 'metaphysical parsimony' of comparativism. -/- This debate should be of particular interest to readers who engage with the substantivalism-relationalism debate. These debates are much more entwined than previously acknowledged, which provides a significant source of mutual inspiration, although I do also draw out some important disanalogies. -/- . (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.