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)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

We outline an argument that a single-particle universe (a universe containing precisely one pointlike particle) can be described mathematically, in which observation can be considered meaningful despite the a priori impossibility of distinguishing between an observer and the observed. Moreover, we argue, such a universe can be observationally similar to the world we see around us. It is arguably impossible, therefore, to determine by experimental observation of the physical world whether the universe we inhabit contains one particle or many—modern scientific (...) theories cannot, therefore, be regarded as descriptions of ‘reality’, but are at best human artefacts. Our argument uses a formal model of spacetime that can be considered either relational or substantivalist depending on one’s preferred level of abstraction, and therefore suggests that this long-held distinction is also to some extent illusory. (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 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)

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.

One of the issues dividing "absolutists" and "relationists" is the question whether all motion is relative motion or, in the words of Earman, spacetime has "structures that support absolute quantities of motion." This paper argues that, despite the enormous literature bearing on the topic, it is problematic to formulate a general criterion for when a quantity counts as absolute in contrast to merely relative in a way that is not hopelessly parasitic on other, presumably distinct, senses of "absolute." Furthermore, I (...) suggest that the vicissitudes of the evolution of the concept of absolute motion have contributed to this difficulty. (shrink)

The paper attempts to clarify some fundamental aspects of an explanationof the concept of truth which is neither “deflationary” nor “substantive”.The main aspect examined in detail concerns the ontological dimension of truth, the mind/language-world connection traditionally associated with the concept of truth. It is claimed that it does not make sense to defend or reject a relatedness of truth to the ontological dimension so long as the kind of presupposed or envisaged ontology is not made explicit and critically examined. In (...) particular, it is shown that generally an “objectual” ontology is – often only implicitly – presupposed, i.e., an ontology admitting “objects” (substances), properties, relations, sometimes also facts, events, and the like. The paper demonstrates that such an ontology derives from the Principle of Semantic Sentential Compositionality and that this principle should be rejected. It introduces instead the Principle of Semantic Sentential Contextuality (or Context Principle) as the semantic basis of a new ontology, an ontology of “primary states of affairs”. After sketching such an ontology, it is shown that the relatedness of truth to the ontological dimension becomes intelligible. (shrink)

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)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).

This is the second part of an overview article on fundamentality in metaphysics and the philosophy of physics. Here, the notion of fundamentality is looked at from the viewpoint of the philosophical analysis of physics and physical theories. The questions are considered (1) whether physics can be regarded as fundamental with respect to other sciences, and in what sense; (2) what the label ‘fundamental physics’ should exactly be taken to mean; (3) on what grounds a particular physical theory should be (...) considered fundamental; (4) what should be regarded as fundamental according to particular theories of physics; and (5) what indications come from contemporary physics concerning the fundamental structure of reality. (shrink)

It is widely believed that relationism cannot make room for the possibility of intervals of time during which no changes occur. Benovsky has recently challenged this belief, arguing that relationists can account for the possibility of changeless time in much the same way as substantivalists do, thereby concluding that the two views are interchangeable for all theoretical purposes. This paper intends to defend the meaningfulness of the traditional dispute between substantivalists and relationists, by contending that the particular form of relationism (...) on which Benovsky has based his criticism is in fact alien to that debate. (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)

This paper scrutinises the tenability of a strict conceptual distinction between space and matter via the lens of the debate between modified gravity and dark matter. In particular, we consider Berezhiani and Khoury's novel 'superfluid dark matter theory' as a case study. Two families of criteria for being matter and being spacetime, respectively, are extracted from the literature. Evaluation of the new scalar field postulated by SFDM according to these criteria reveals that it is as much matter as anything could (...) possibly be, but alsoꟷbelow the critical temperature for superfluidityꟷas much spacetime as anything could possibly be. A sequel paper examines possible interpretations of SFDM in light of this result, as well as the consequences for our understanding of the modified gravity/ dark matter distinction and the broader spacetime–matter distinction. (shrink)

”The last remnant of physical objectivity of space-time” is disclosed in the case of a continuous family of spatially non-compact models of general relativity. The physical individuation of point-events is furnished by the autonomous degrees of freedom of the gravitational field, which represent -as it were -the ontic part of the metric field. The physical role of the epistemic part is likewise clarified as embodying the unavoidable non-inertial aspects of GR. At the end the philosophical import of the Hole Argument (...) is substantially weakened and in fact the Argument itself dis-solved, while a specific four-dimensional holistic and structuralist view of space-time emerges, including elements common to the tradition of both substantivalism and relationism. The observables of our models undergo real temporal change: this gives new evidence to the fact that statements like the frozen-time character of evolution, as other ontological claims about GR, are model dependent. (shrink)

This study deals with a controversy between Leibniz and Clarke concerning the relativity of space. Although substantivalism, i.e. an approach treating space as a substance, is to be indicated as the main target of Leibniz’s attack, it has usually been replaced by Newtonian absolutism instead, as a proper opposition to Leibniz’s relationalism. However, such absolutism has not been defined ontologically, but dynamically, as if the difference between their conceptions consisted of a different approach to the inertiallity of motion. However, this (...) would mean that while Leibniz intended to reduce all motion to an inertial one, Newton reduced it to a noninertial one instead, or that only one of them acknowledged the existence of noninertial motion at all. Nevertheless, none of them actually denied the existence of noninertial motion, and although all motion indeed seemed noninertial to Newton, Leibniz never responded to such a challenge in the course of their correspondence. (shrink)

The paper compares ontic structural realism in quantum physics with ontic structural realism about space–time. We contend that both quantum theory and general relativity theory support a common, contentful metaphysics of ontic structural realism. After recalling the main claim of ontic structural realism and its physical support, we point out that both in the domain of quantum theory and in the domain of general relativity theory, there are objects whose essential ways of being are certain relations so that these objects (...) do not possess an intrinsic identity. Nonetheless, the qualitative, physical nature of these relations is in the quantum case (entanglement) fundamentally different from the classical, metrical relations treated in general relativity theory. (shrink)

The traditional absolutist-relationist debate is still clearly formulable in the context of General Relativity Theory (GTR), despite the important differences between Einstein's theory and the earlier context of Newtonian physics. This paper answers recent arguments by Robert Rynasiewicz against the significance of the debate in the GTR context. In his (1996) (‘Absolute vs. Relational Spacetime: An Outmoded Debate?’), Rynasiewicz argues that already in the late nineteenth century, and even more so in the context of General Relativity theory, the terms of (...) the original Descartes–Newton–Leibniz dispute about space are not to be found. Nineteenth-century ether theories of electromagnetism, and the metric field of GTR, he claims, do not lend themselves to being interpreted clearly as either absolute space à la Newton, or relational structures à la either Descartes or Leibniz. I argue that, while in some imaginable theories Rynasiewicz's claim that the classical debate dissolves would be correct, in fact in the most important historical theories he discusses, this is not the case. In particular, I argue that in both Lorentz's ether theory and General relativity theory, there is a clear and compelling way to establish connections to the classical absolutist-relationist disputes, and that in both these theories it is the absolutist position that is prima facie victorious. To support my arguments and give a clear overview of the whole debate, I end by offering definitional sketches of relationism and absolutism (substantivalism) about spacetime in the context of contemporary physics. The sketches show the clear connections between these views today and their ancestors in Newton and Leibniz. But at the same time, they indicate how both views are not just claims about existing physical theories, but rather also bets about how future physics will clarify the ontological picture. (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)

The concept of the universe is used in physical cosmology differently from the usual meaning of the term, naively considered as the entire reality. Traditionally, thinking about the whole led to logical contradictions. Taking as reference the Kantian antecedent, different contemporary philosophical notions of the universe are analysed in the first part of this paper, including realist and constructivist approaches, as well as a notion of the universe as a physical object. In the second part, the specific notion from the (...) standard physical cosmology is discussed. Although modelling the universe as a physical system provides a specific way to define some global properties, the universe as a whole remains empirically inaccessible. Hence, the discussion about the under-determined global properties depends ultimately on philosophical preferences. Under these circumstances, it is argued that the realist interpretation of such properties becomes problematic because it leads to unstable conclusions. Finally, it is argued that the notion of the universe as conceived in standard cosmology is not necessarily consistent with an approach that considers it to be a physical object. (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.

The paper investigates the status of gravitational energy in Newtonian Gravity, developing upon recent work by Dewar and Weatherall. The latter suggest that gravitational energy is a gauge quantity. This is potentially misleading: its gauge status crucially depends on the spacetime setting one adopts. In line with Møller-Nielsen’s plea for a motivational approach to symmetries, we supplement Dewar and Weatherall’s work by discussing gravitational energy–stress in Newtonian spacetime, Galilean spacetime, Maxwell-Huygens spacetime, and Newton–Cartan Theory. Although we ultimately concur with Dewar (...) and Weatherall that the notion of gravitational energy is problematic in NCT, our analysis goes beyond their work. The absence of an explicit definition of gravitational energy–stress in NCT somewhat detracts from the force of Dewar and Weatherall’s argument. We fill this gap by examining the supposed gauge status of prima facie plausible candidates—NCT analogues of gravitational energy–stress pseudotensors, the Komar mass, and the Bel-Robinson tensor. Our paper further strengthens Dewar and Weatherall’s results. In addition, it sheds more light upon the subtle link between sufficiently rich inertial structure and the definability of gravitational energy in NG. (shrink)

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)

En el ámbito de la teoría general de la relatividad (TGR), se considera que el espaciotiempo es una entidad real. En este sentido, atendiendo al realis mo sobre entidades, surgen problemas como ¿qué tipo de entidad es el espaciotiempo?, ¿cuál es su naturaleza? Tradicionalmente, en atención a dicha teoría conviven dos concepciones realistas: la substancialista, donde el espaciotiempo sería una substancia; y la relacionista, tal que el espaciotiempo correspondería a una “relación entre substancias”.

This chapter contains sections titled: Relationism, Substantivalism and Space‐time Conventionalism about Space‐time Black Holes and Singularities Horizons and Uniformity Conclusion.

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)

I argue that the conviction, widespread among philosophers, that substantivalism enjoys a clear superiority over relationalism in both Newtonian and relativistic physics is ill-founded. There are viable relationalist approaches to understanding these theories, and the substantival-relational debate should be of interest to philosophers and physicists alike, because of its connection with questions about the correct space of states for various physical theories.

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)

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.

Supersymmetry in quantum physics is a mathematically simple phenomenon that raises deep foundational questions. To motivate these questions, I present a toy model, the supersymmetric harmonic oscillator, and its superspace representation, which adds extra anticommuting dimensions to spacetime. I then explain and comment on three foundational questions about this superspace formalism: whether superspace is a substance, whether it should count as spatiotemporal, and whether it is a necessary postulate if one wants to use the theory to unify bosons and fermions.

The determination of inertia by matter is looked at in general relativity, where inertia can be represented by affine or projective structure. The matter tensor T seems to underdetermine affine structure by ten degrees of freedom, eight of which can be eliminated by gauge choices, leaving two. Their physical meaning---which is bound up with that of gravitational waves and the pseudotensor t, and with the conservation of energy-momentum---is considered, along with the dependence of reality on invariance and of causal explanation (...) on conservation. (shrink)

Since the onset of logical positivism, the general wisdom of the philosophy of science has it that the kantian philosophy of (space and) time has been superseded by the theory of relativity, in the same sense in which the latter has replaced Newton’s theory of absolute space and time. On the wake of Cassirer and Gödel, in this paper I raise doubts on this commonplace by suggesting some conditions that are necessary to defend the ideality of time in the sense (...) of Kant. In the last part of the paper I bring to bear some contemporary physical theories on such conditions. (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)

In this paper I explore the dialectics underlying the choice between a geometrical and a field interpretation of the metric tensor gab in general relativity. My aim is to examine the role of a specific type of reasoning process in interpreting gab. In recent years, philosophers of physics have claimed that the problem of choosing between the two interpretations in question is somehow insubstantial. This appearance of insubstantiality, I contend, stems from a basic form of underdetermination that affects the concepts (...) of spacetime and physical field in the context of general relativity. (shrink)

This text was first published in Geografiska Annaler, Series B, Human Geography, vol. 90 , March 2008 : 1–15. We thank gratefully Professor Robert Dodgshon for granting us the permission to reproduce it. ABSTRACT : From the moment it began to engage with time in a considered way, human geography has employed a variety of analytical and conceptual approaches to it. Recent work especially has greatly extended the range of these different approaches by stressing the innate - Géographie – Nouvel (...) article. (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)

For the past two decades, Einstein's Hole Argument (which deals with the apparent indeterminateness of general relativity due to the general covariance of the field equations) and its resolution in terms of "Leibniz equivalence" (the statement that pseudo-Riemannian geometries related by active diffeomorphisms represent the same physical solution) have been the starting point for a lively philosophical debate on the objectivity of the point-events of space-time. It seems that Leibniz equivalence makes it impossible to consider the points of the space-time (...) manifold as physically individuated without recourse to dynamical individuating fields. Various authors have posited that the metric field itself can be used in this way , but nobody so far has considered the problem of explicitly distilling the "metrical fingerprint" of point-events from the gauge-dependent elements of the metric field. Working in the Hamiltonian formulation of general relativity, and building on the results of Lusanna and Pauri (2002), we show how Bergmann and Komar's "intrinsic pseudo-coordinates" (based on the value of curvature invariants) can be used to provide a physical individuation of point-events in terms of the true degrees of freedom (the "Dirac observables") of the gravitational field, and we suggest how this conceptual individuation could in principle be implemented with a well-defined empirical procedure. We argue from these results that point-events retain a significant kind of physical objectivity. (shrink)

This is the chapter on general relativity for the Cambridge Companion to Einstein which I am co-editing with Christoph Lehner.

The main aim of our paper is to show that interpretative issues belonging to classical General Relativity (GR) might be preliminary to a deeper understanding of conceptual problems stemming from on-going attempts at constructing a quantum theory of gravity. Among such interpretative issues, we focus on the meaning of general covariance and the related question of the identity of points, by basing our investigation on the Hamiltonian formulation of GR. In particular, we argue that the adoption of a peculiar gauge-fixing (...) within the canonical reduction of ADM metric gravity may yield a new solution to the debate between substantivalists and relationists, by suggesting a \emph{tertium quid} between these two age-old positions. Such a third position enables us to evaluate the controversial relationship between entity realism and structural realism in a well-defined case study. After having indicated the possible developments of this approach in Quantum Gravity, we discuss the structuralist and holistic features of the class of spacetime models that are used in the above mentioned canonical reduction. (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)

What is the meaning of general covariance? We learn something about it from the hole argument, due originally to Einstein. In his search for a theory of gravity, he noted that if the equations of motion are covariant under arbitrary coordinate transformations, then particle coordinates at a given time can be varied arbitrarily - they are underdetermined - even if their values at all earlier times are held fixed. It is the same for the values of fields. The argument can (...) also be made out in terms of transformations acting on the points of the manifold, rather than on the coordinates assigned to the points. So the equations of motion do not fix the particle positions, or the values of fields at manifold points, or particle coordinates, or fields as functions of the coordinates, even when they are specified at all earlier times. It is surely the business of physics to predict these sorts of quantities, given their values at earlier times. The principle of general covariance therefore seems untenable. (shrink)

In this paper it is argued that if physics is to become a coherent metaphysics of nature, it needs an interpretation, namely (i) a clear formulation of its ontological/metaphysical claims and (ii) and a precise understanding of how such claims are related to the world of our experience, which is the most important reservoir of traditional, merely aprioristic metaphysical speculations. Such speculations − especially if conducted in full autonomy from physics, or imposed upon it “from the outside” − risk to (...) turn analytic metaphysics into a “rigorous” but fully sterile intellectual game. (shrink)

I explore Leibnizian themes in the theoretical physicist's pursuit of a quantum cosmology by examining Smolin's program based on the elimination of ideal elements. These constructs are formal mathematical structures of a physical theory that require for their interpretation the existence of objects external to the system treated by the theory. After introducing some necessary background information, I discuss the particulars of Smolin's definition of ideal elements and analyze his motivations and arguments for the elimination of ideal elements. I then (...) survey and assess his two specific proposals for the construction of a quantum cosmology. The former stems from the canonical approach to the development of a quantum theory of gravity; the latter consists of a series of hypotheses framing a speculative fundamental theory of the universe. Finally, I consider the explicit links and debts of Smolin's program to Leibniz's philosophy. (shrink)