I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

The present paper attempts to show that a 1915 article by Erich Kretschmann must be credited not only for being the source of Einstein’s point-coincidence remark, but also for having anticipated the main lines of the logical-empiricist interpretation of general relativity. Whereas Kretschmann was inspired by the work of Mach and Poincaré, Einstein inserted Kretschmann’s point-coincidence parlance into the context of Ricci and Levi-Civita’s absolute differential calculus. Kretschmann himself realized this and turned the point-coincidence argument against Einstein in his second (...) and more famous 1918 paper. While Einstein had taken nothing from Kretschmann but the expression “point-coincidences”, the logical empiricists, however, instinctively dragged along with it the entire apparatus of Kretschmann’s conventionalism. Disappointingly, in their interpretation of general relativity, the logical empiricists unwittingly replicated some epistemological remarks Kretschmann had written before General Relativity even existed. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the hole argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an (...) investigative context in order to make such criteria precise, but different investigative contexts yield inconsistent results. I examine questions of existence about spacetime structures other than the spacetime manifold itself to argue that it is more fruitful to focus on pragmatic issues of physicality, a notion that lends itself to several different explications, all of philosophical interest, none privileged a priori over any of the others. I conclude by suggesting an extension of the lessons of my arguments to the broader debate between realists and instrumentalists. 1 Introduction2 The Hole Argument3 Limits of Spacetimes4 Pointless Constructions5 The Debate between Substantivalists and Relationalists6 Existence and Physicality: An Embarassment of Spacetime Structures7 Valedictory Remarks on Realism and Instrumentalism, and the Structure of Our Knowledge of Physics. (shrink)

Coordinate-based approaches to physical theories remain standard in mainstream physics but are largely eschewed in foundational discussion in favour of coordinate-free differential-geometric approaches. I defend the conceptual and mathematical legitimacy of the coordinate-based approach for foundational work. In doing so, I provide an account of the Kleinian conception of geometry as a theory of invariance under symmetry groups; I argue that this conception continues to play a very substantial role in contemporary mathematical physics and indeed that supposedly ``coordinate-free'' differential geometry (...) relies centrally on this conception of geometry. I discuss some foundational and pedagogical advantages of the coordinate-based formulation and briefly connect it to some remarks of Norton on the historical development of geometry in physics during the establishment of the general theory of relativity. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

This is an essay review of two textbooks on quantum gravity by Carlo Rovelli and Claus Kiefer.

We submit that, contrary to the standard view, gravitational waves do not carry energy-momentum. Analysing the four standard arguments on which the standard view rests - viz. the kinetic effects of a GW on a detector, Feynman’s Sticky Bead Argument, an application of Noether’s Theorem and a general perturbative approach – we find none of them to be successful: Pre-relativistic premises underlie each of them – premises that, as we argue, no longer hold in General Relativity. Finally, we outline a (...) GR-consistent interpretation of the effects and, in particular, the spin-down of binary systems. (shrink)

This brief paper shows how an exact analogue of Einstein's original hole argument can be constructed in the loop representation of quantum gravity. The new argument is based on the embedding of spin-networks in a manifold and the action of the diffeomorphism constraint on them. The implications of this result are then discussed. I argue that the conclusions of many physicists working on loop quantum gravity---Rovelli and Smolin in particular---that the loop representation uniquely supports relationalism are unfounded.

Adolf Grünbaum is one of the giants of 20th century philosophy of science. This volume is the first of three collecting his most essential and highly influential work. The essays collected in this first volume focus on three related areas. They discuss scientific rationality-the problem of what it takes for a theory to be called scientific, and ask whether it is plausible to draw a clear distinction between science and non-science as was famously proposed by Karl Popper. They delve into (...) the debate between determinism and indeterminism, in both science and in the humanities. Grünbaum defends the position of the Humane Determinist, which then leads to a thorough criticism of the current theological approaches to ethics and morality-where Grünbaum defends an explicit Secular Humanism-as well as of prominent theistic interpretations of twentieth century physical cosmologies. The second volume is devoted to Grünbaum's writings on the Philosophy of Physics and Space-Time, and the third to his lectures on the Philosophy of Psychology and Psychoanalysis, including his 1985 Gifford Lectures, which are to be published for the first time. (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.

I argue that the Hole Argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the Hole Argument is blocked.

Einstein’s “point-coincidence argument'” as a response to the “hole argument” is usually considered as an expression of “Leibniz equivalence,” a restatement of indiscernibility in the sense of Leibniz. Through a historical-critical analysis of Logical Empiricists' interpretation of General Relativity, the paper attempts to show that this labeling is misleading. Logical Empiricists tried explicitly to understand the point-coincidence argument as an indiscernibility argument of the Leibnizian kind, such as those formulated in the 19th century debate about geometry, by authors such as (...) Poincaré, Helmholtz or Hausdorff. However, they clearly failed to give a plausible account of General Relativity. Thus the point-coincidence/hole argument cannot be interpreted as Leibnizian indiscernibility argument, but must be considered as an indiscernibility argument of a new kind. Weyl's analysis of Leibniz's and Einstein's indiscernibility arguments is used to support this claim. (shrink)

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

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

This paper proposes a parallel in the forms of Aristotle’s and Einstein’s physics. It’s an exercise on conceptual analysis rather than history. The possible similarity between Aristotle’s world and the form (global geometry) of Einstein’s universe is discussed. The correlation between kinematics, dynamics and gravity in their respective theories is also studied. Finally, Aristotle’s ontology of space is compared to the relativistic ontology spacetime.

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

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)

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)

It is widely accepted that the notion of an inertial frame is central to Newtonian mechanics and that the correct space-time structure underlying Newton’s methods in Principia is neo-Newtonian or Galilean space-time. I argue to the contrary that inertial frames are not needed in Newton’s theory of motion, and that the right space-time structure for Newton’s Principia requires the notion of parallelism of spatial directions at different times and nothing more. Only relative motions are definable in this framework, never absolute (...) ones. (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)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

In earlier writings, I argued that neither of the two major physical cosmologies of the twentieth century support divine creation, so that atheism has nothing to fear from the explanations required by these cosmologies. Yet theists ranging from Augustine, Aquinas, Descartes, and Leibniz to Richard Swinburne and Philip Quinn have maintained that, at every instant anew, the existence of the world requires divine creation ex nihilo as its cause. Indeed, according to some such theists, for any given moment t, God’s (...) volition thatthe-world-should-exist-at-t supposedly brings about its actual existence at t.In an effort to establish the current viability of this doctrine of perpetual divine conservation. Philip Quinn I argued that it is entirely compatible with physical energy-conservation in the Big Rang cosmology, as well as with the physics of the steady-state theories.But I now contend that instead, there is a logical incompatibility on both counts. Resides, the stated tenet of divine conservation has an additional defect: It speciously purchases plausibility by trading on the multiply disanalogous volitional explanations of human actions. (shrink)

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)

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)

Although C. D. Broad's notion of Becoming has received a fair amount of attention in the philosophy-of-time literature, there are no serious attempts to show how to replace the standard 'block' spacetime models by models that are more congenial to Broad's idea that the sum total of existence is continuously increased by Becoming or the coming into existence of events. In the Newtonian setting Broad-type models can be constructed in a cheating fashion by starting with a Newtonian block model, carving (...) chips off the block, and assembling the chips in an appropriately structured way. However, attempts to construct Broad-type models in a non-cheating fashion reveal a number of problematic aspects of Becoming that have not received adequate attention in the literature. The paper then turns to an assessment of the problem and prospects of adapting Becoming models to relativistic spacetimes. The results of the assessment differ in both minor and major ways from the ones in the extant literature. Finally, the paper describes how the causal set approach to quantum gravity promises to provide a mechanism for realizing Becoming, though the form of Becoming that emerges may not conform to any of the versions discussed in the philosophical literature. (shrink)

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

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

Background independence is generally considered to be ‘the mark of distinction’ of general relativity. However, there is still confusion over exactly what background independence is and how, if at all, it serves to distinguish general relativity from other theories. There is also some confusion over the philosophical implications of background independence, stemming in part from the definitional problems. In this paper I attempt to make some headway on both issues. In each case I argue that a proper account of the (...) observables of such theories goes a long way in clarifying matters. Further, I argue, against common claims to the contrary, that the fact that these observables are relational has no bearing on the debate between substantivalists and relationalists, though I do think it recommends a structuralist ontology, as I shall endeavour to explain. (shrink)

Cao makes two claims of particular philosophical interest, in his book "The Conceptual Development of 20th Century Field Theories". (i) The history of these developments refutes Kuhn's relativistic epistemology, and (tacitly) (2) the question of realism in quantum field theory can be addressed independent of one's views on the probem of measurement. I argue that Cao is right on the first score, although for reasons different from the ones he cites, but wrong on the second. In support of the first (...) of these claims, I review in detail the correspondence between the treatment of critical phenomena in condensed matter physics, and of scaling in the renormalization group of RQFT. (shrink)

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

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.

In the exuberance that followed Einstein’s discoveries, philosophers at one time or another have proposed that his theories support virtually every conceivable moral in ontology. I present an opinionated assessment, designed to avoid this overabundance. We learn from Einstein’s theories of novel entanglements of categories once held distinct: space with time; space and time with matter; and space and time with causality. We do not learn that all is relative, that time in the fourth dimension in any non-trivial sense, that (...) coordinate systems and even geometry are conventional or that spacetime should be reduced ontologically to causal, spatio-temporal or other relations. (shrink)

This paper will serve as the editorial note on Einstein's 1916 review article on general relativity in a planned volume with all of Einstein's papers in Annalen der Physik. It summarizes much of my other work on history of general relativity and draws heavily on the annotation of Einstein's writings and correspondence on general relativity for Vols. 4, 7, and 8 of the Einstein edition.

Symmetry, intended as invariance with respect to a transformation (more precisely, with respect to a transformation group), has acquired more and more importance in modern physics. This Chapter explores in 8 Sections the meaning, application and interpretation of symmetry in classical physics. This is done both in general, and with attention to specific topics. The general topics include illustration of the distinctions between symmetries of objects and of laws, and between symmetry principles and symmetry arguments (such as Curie's principle), and (...) reviewing the meaning and various types of symmetry that may be found in classical physics, along with different interpretative strategies that may be adopted. Specific topics discussed include the historical path by which group theory entered classical physics, transformation theory in classical mechanics, the relativity principle in Einstein's Special Theory of Relativity, general covariance in his General Theory of Relativity, and Noether's theorems. In bringing these diverse materials together in a single Chapter, we display the pervasive and powerful influence of symmetry in classical physics, and offer a possible framework for the further philosophical investigation of this topic. (shrink)

Tian Yu Cao has written a serious and scholarly book covering a great deal of physics. He ranges from classical relativity theory, both special and general, to relativistic quantum …eld theory, including non-Abelian gauge theory, renormalization theory, and symmetry-breaking, presenting a detailed and very rich picture of the mainstream developments in quantum physics; a remarkable feat. It has, moreover, a philosophical message: according to Cao, the development of these theories is inconsistent with a Kuhnian view of theory change, and supports (...) better a quali…ed realism. (shrink)

A relationist will account for the use of ‘left’ and ‘right’ in terms of relative orientations, and other properties and relations invariant under mirroring. This analysis will apply whenever mirroring is a symmetry, so it certainly applies to classical mechanics; we argue it applies to any physical theory formulated on a manifold: it is in this sense an a priori symmetry. It should apply in particular to parity violating theories in quantum mechanics; mirror symmetry is only broken in such theories (...) as a special symmetry. (shrink)

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)

This paper sets out a moderate version of metaphysical structural realism that stands in contrast to both the epistemic structural realism of Worrall and the—radical—ontic structural realism of French and Ladyman. According to moderate structural realism, objects and relations (structure) are on the same ontological footing, with the objects being characterized only by the relations in which they stand. We show how this position fares well as regards philosophical arguments, avoiding the objections against the other two versions of structural realism. (...) In particular, we set out how this position can be applied to space-time, providing for a convincing understanding of space-time points in the standard tensor formulation of general relativity as well as in the fibre bundle formulation. (shrink)

I argue that the hole argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the hole argument is blocked. _1._ Introduction _2._ A Warmup Exercise _3._ The Hole Argument _4._ An Argument from Classical Spacetime Theory _5._ The Hole Argument Revisited.

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)

The hole argument has become one of the main issues in the philosophy of space-time after the article by Earman and Norton (1987), according to which a certain version of substantivalism (manifold substantivalism) cannot be defended because it brings about to a radical indeterminism. In this article, we try to show that, first, the naming of manifold substantivalism is not appropriate since as some philosophers have said, manifold points cannot be considered to have an independent identity. Second, with a commitment (...) to ontic structural realism, it is possible to offer a proper understanding of manifold substantivalism, which according to the hole argument, does not lead to the radical indeterminism. As a result, the hole argument does not arise, simply. Thus, the last point is that the fact that structural realism is able to solve the problem of the hole argument can itself be seen as considerable evidence in favor of this philosophical position, and thus, the degree of its confirmation goes up. (shrink)

Process ontology is making deep inroads into the hard sciences. For it offers a workable understanding of dynamic phenomena which sits well with inquiries that problematize the traditional conception of self-standing, definite, independent objects as the basic stuff of the universe. Process-based approaches are claimed by their advocates to yield better ontological descriptions of various domains of physical reality in which dynamical, indefinite activities are prior to definite “things” or “states of things”. However, if applied to physics, a main problem (...) comes up: the notion itself of process appears to pivot on a conception of evolution through time that is at variance with relativistic physics. Against this worry, this article advances a conception of process that can be reconciled with general relativity. It claims that, within timeless physical frameworks, a process should not be conceived as activities evolving through time. Rather, processes concern the identity that entities obtain within the broader sets of relations in which they stand. To make this case, the article homes in on one of the physical approaches that most resolutely removes time from the basic features of reality, that is, canonical quantum gravity. As a case in point, it addresses Carlo Rovelli’s Evolving Constant approach as a physical paradigm that resolutely rejects time as an absolute parameter and recasts processualism as an inquiry into how physical systems affect one another. (shrink)

In his 1916 review paper on general relativity, Einstein made the often-quoted oracular remark that all physical measurements amount to a determination of coincidences, like the coincidence of a pointer with a mark on a scale. This argument, which was meant to express the requirement of general covariance, immediately gained great resonance. Philosophers such as Schlick found that it expressed the novelty of general relativity, but the mathematician Kretschmann deemed it as trivial and valid in all spacetime theories. With the (...) relevant exception of the physicists of Leiden (Ehrenfest, Lorentz, de Sitter, and Nordström), who were in epistolary contact with Einstein, the motivations behind the point-coincidence remark were not fully understood. Only at the turn of the 1960s did Bergmann (Einstein’s former assistant in Princeton) start to use the term ‘coincidence’ in a way that was much closer to Einstein’s intentions. In the 1980s, Stachel, projecting Bergmann’s analysis onto his historical work on Einstein’s correspondence, was able to show that what he started to call ‘the point-coincidence argument’ was nothing but Einstein’s answer to the infamous ‘hole argument’. The latter has enjoyed enormous popularity in the following decades, reshaping the philosophical debate on spacetime theories. The point-coincidence argument did not receive comparable attention. By reconstructing the history of the argument and its reception, this paper argues that this disparity of treatment is not justified. This paper will also show that the notion that only coincidences are observable in physics marks every critical step of Einstein’s struggle with the meaning of coordinates in physics. (shrink)