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)

Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

I argue that, contrary to the recent claims of physicists and philosophers of physics, general relativity requires no interpretation in any substantive sense of the term. I canvass the common reasons given in favor of the alleged need for an interpretation, including the difficulty in coming to grips with the physical significance of diffeomorphism invariance and of singular structure, and the problems faced in the search for a theory of quantum gravity. I find that none of them shows any defect (...) in our comprehension of general relativity as a physical theory. I conclude by comparing general relativity with quantum mechanics, a theory that manifestly does stand in need of an interpretation in an important sense. Although many aspects of the conceptual structure of general relativity remain poorly understood, it suffers no incoherence in its formulation as a physical theory that only an ‘interpretation’ could resolve. *Received November 2007; revised February 2009. †To contact the author, please write to: Center for Philosophy of Science, University of Pittsburgh, 817 Cathedral of Learning, Pittsburgh, PA 15260; e‐mail: [email protected] . When science starts to be interpretive it is more unscientific even than mysticism. (D. H. Lawrence, “Self‐Protection”). (shrink)

The use of the material theory of induction to vindicate a scientist’s claims of evidential warrant is illustrated with the cases of Einstein’s thermodynamic argument for light quanta of 1905 and his recovery of the anomalous motion of Mercury from general relativity in 1915. In a survey of other accounts of inductive inference applied to these examples, I show that, if it is to succeed, each account must presume the same material facts as the material theory and, in addition, some (...) general principle of inductive inference not invoked by the material theory. Hence these principles are superfluous and the material theory superior in being more parsimonious. (shrink)

Einstein learned from the magnet and conductor thought experiments how to use field transformation laws to extend the covariance to Maxwell’s electrodynamics. If he persisted in his use of this device, he would have found that the theory cleaves into two Galilean covariant parts, each with different field transformation laws. The tension between the two parts reflects a failure not mentioned by Einstein: that the relativity of motion manifested by observables in the magnet and conductor thought experiment does not extend (...) to all observables in electrodynamics. An examination of Ritz’s work shows that Einstein’s early view could not have coincided with Ritz’s on an emission theory of light, but only with that of a conveniently reconstructed Ritz. One Ritz-like emission theory, attributed by Pauli to Ritz, proves to be a natural extension of the Galilean covariant part of Maxwell’s theory that happens also to accommodate the magnet and conductor thought experiment. Einstein's famous chasing a light beam thought experiment fails as an objection to an ether-based, electrodynamical theory of light. However it would allow Einstein to formulate his general objections to all emission theories of light in a very sharp form. Einstein found two well known experimental results of 18th and19th century optics compelling (Fizeau’s experiment, stellar aberration), while the accomplished Michelson-Morley experiment played no memorable role. I suggest they owe their importance to their providing a direct experimental grounding for Lorentz’ local time, the precursor of Einstein’s relativity of simultaneity, and do it essentially independently of electrodynamical theory. I attribute Einstein’s success to his determination to implement a principle of relativity in electrodynamics, but I urge that we not invest this stubbornness with any mystical prescience. (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.

In this paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years.

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)

Quantum mechanics was reformulated as an information theory involving a generalized kind of information, namely quantum information, in the end of the last century. Quantum mechanics is the most fundamental physical theory referring to all claiming to be physical. Any physical entity turns out to be quantum information in the final analysis. A quantum bit is the unit of quantum information, and it is a generalization of the unit of classical information, a bit, as well as the quantum information itself (...) is a generalization of classical information. Classical information refers to finite series or sets while quantum information, to infinite ones. Quantum information as well as classical information is a dimensionless quantity. Quantum information can be considered as a “bridge” between the mathematical and physical. The standard and common scientific epistemology grants the gap between the mathematical models and physical reality. The conception of truth as adequacy is what is able to transfer “over” that gap. One should explain how quantum information being a continuous transition between the physical and mathematical may refer to truth as adequacy and thus to the usual scientific epistemology and methodology. If it is the overall substance of anything claiming to be physical, one can question how different and dimensional physical quantities appear. Quantum information can be discussed as the counterpart of action. Quantum information is what is conserved, action is what is changed in virtue of the fundamental theorems of Emmy Noether (1918). The gap between mathematical models and physical reality, needing truth as adequacy to be overcome, is substituted by the openness of choice. That openness in turn can be interpreted as the openness of the present as a different concept of truth recollecting Heidegger’s one as “unconcealment” (ἀλήθεια). Quantum information as what is conserved can be thought as the conservation of that openness. (shrink)

This paper reviews the hole argument as an argument against spacetime substantivalism. After a careful presentation of the argument itself, I critically review possible responses.

Recent work on the history of General Relativity by Renn, Sauer, Janssen et al. shows that Einstein found his field equations partly by a physical strategy including the Newtonian limit, the electromagnetic analogy, and energy conservation. Such themes are similar to those later used by particle physicists. How do Einstein's physical strategy and the particle physics derivations compare? What energy-momentum complex did he use and why? Did Einstein tie conservation to symmetries, and if so, to which? How did his work (...) relate to emerging knowledge of the canonical energy-momentum tensor and its translation-induced conservation? After initially using energy-momentum tensors hand-crafted from the gravitational field equations, Einstein used an identity from his assumed linear coordinate covariance x'=Mx to relate it to the canonical tensor. Usually he avoided using matter Euler-Lagrange equations and so was not well positioned to use or reinvent the Herglotz-Mie-Born understanding that the canonical tensor was conserved due to translation symmetries, a result with roots in Lagrange, Hamilton and Jacobi. Whereas Mie and Born were concerned about the canonical tensor's asymmetry, Einstein did not need to worry because his Entwurf Lagrangian is modeled not so much on Maxwell's theory as on a scalar theory. Einstein's theory thus has a symmetric canonical energy-momentum tensor. But as a result, it also has 3 negative-energy field degrees of freedom. Thus the Entwurf theory fails a 1920s-30s a priori particle physics stability test with antecedents in Lagrange's and Dirichlet's stability work; one might anticipate possible gravitational instability. This critique of the Entwurf theory can be compared with Einstein's 1915 critique of his Entwurf theory for not admitting rotating coordinates and not getting Mercury's perihelion right. One can live with absolute rotation but cannot live with instability. Particle physics also can be useful in the historiography of gravity and space-time, both in assessing the growth of objective knowledge and in suggesting novel lines of inquiry to see whether and how Einstein faced the substantially mathematical issues later encountered in particle physics. This topic can be a useful case study in the history of science on recently reconsidered questions of presentism, whiggism and the like. Future work will show how the history of General Relativity, especially Noether's work, sheds light on particle physics. (shrink)

While empirical symmetries relate situations, theoretical symmetries relate models of a theory we use to represent them. An empirical symmetry is perfect if and only if any two situations it relates share all intrinsic properties. Sometimes one can use a theory to explain an empirical symmetry by showing how it follows from a corresponding theoretical symmetry. The theory then reveals a perfect symmetry. I say what this involves and why it matters, beginning with a puzzle that is resolved by the (...) subsequent analysis. I conclude by pointing to applications and implications of the ideas developed earlier in the paper. (shrink)

Some historical documents, especially the Einstein-Besso manuscript from 1913, an extensive notebook by Hans Thirring from 1917, and a correspondence between Thirring and Albert Einstein in the year 1917 reveal that most of the merit of the so-called Lense-Thirring effect of general relativity belongs to Einstein. Besides this ``central story" of the effect, we comment shortly on some type of prehistory, with contributions by Mach, Benedikt and Immanuel Friedlaender, and August Foeppl, and we follow the later history of the problem (...) of a correct centrifugal force inside a rotating mass shell which was resolved only relatively recently. We also shortly comment on recent possibilities to confirm the so-called Lense-Thirring effect, and the related Schiff effect, experimentally. (shrink)

We address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole argument.

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance of (...) nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

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

How can we reconcile two claims that are now both widely accepted: Kretschmann's claim that a requirement of general covariance is physically vacuous and the standard view that the general covariance of general relativity expresses the physically important diffeomorphism gauge freedom of general relativity? I urge that both claims can be held without contradiction if we attend to the context in which each is made.

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.

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.

We outline a framework for analyzing episodes from the history of science in which the application of mathematics plays a constitutive role in the conceptual development of empirical sciences. Our starting point is the inferential conception of the application of mathematics, recently advanced by Bueno and Colyvan. We identify and discuss some systematic problems of this approach. We propose refinements of the inferential conception based on theoretical considerations and on the basis of a historical case study. We demonstrate the usefulness (...) of the refined, dynamical inferential conception using the well-researched example of the genesis of general relativity. Specifically, we look at the collaboration of the physicist Einstein and the mathematician Grossmann in the years 1912--1913, which resulted in the jointly published ``Outline of a Generalized Theory of Relativity and a Theory of Gravitation,'' a precursor theory of the final theory of general relativity. In this episode, an independently developed mathematical theory, the theory of differential invariants and the absolute differential calculus, was applied in the process of physical theorizing aiming at finding a relativistic theory of gravitation. We argue that the dynamical inferential conception not only provides a natural framework to describe and analyze this episode, but it also generates new questions and insights. We comment on the mathematical tradition on which Grossmann drew, and on his own contributions to mathematical theorizing. We argue that the dynamical inferential conception allows us to identify both the role of heuristics and of mathematical resources as well as the systematic role of problems and mistakes in the reconstruction of episodes of conceptual innovation and theory change. (shrink)

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)

It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of general covariance is explained (...) and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance. (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)

Einstein insisted throughout his life that the signal achievement of his general theory of relativity was its general covariance. How are we to reconcile this with the now common view that general covariance merely expresses a definition, our freedom to label events with any set of numbers we like? There is, I believe, a natural reading for Einstein's claims that does make perfect sense. It requires us to adopt a physical interpretation of relativity theory that is now no longer popular, (...) so the natural reading will no longer have intrinsic interest. It will, however, allow us to make sense of Einstein's claims and his program. (shrink)

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)

Albert Einstein’s practice in physics and his philosophical positions gradually reoriented themselves from more empiricist towards rationalist viewpoints. This change accompanied his turn towards unified field theory and different presentations of himself, eventually leading to his highly programmatic Autobiographical Notes in 1949. Einstein enlisted his own history and professional stature to mold an ideal of a theoretical physicist who represented particular epistemic virtues and moral qualities. These in turn reflected the theoretical ideas of his strongly mathematical unification program and professed (...) Spinozist beliefs. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

The objection that Einstein's principle of general covariance is not a relativity principle and has no physical content is reviewed. The principal escapes offered for Einstein's viewpoint are evaluated.

We discuss Einstein’s knowledge of projective geometry. We show that two pages of Einstein’s Scratch Notebook from around 1912 with geometrical sketches can directly be associated with similar sketches in manuscript pages dating from his Princeton years. By this correspondence, we show that the sketches are all related to a common theme, the discussion of involution in a projective geometry setting with particular emphasis on the infinite point. We offer a conjecture as to the probable purpose of these geometric considerations.

Relativity was Einstein’s main research programme and scientific project. It was an open-ended programme that developed throughout Einstein’s scientific career, giving rise to special relativity (SR), general relativity (GR), and unified field theory. In this article, we want to uncover the methodological logic of the Einsteinian programme, which animated the whole programme and its development, and as it was revealed in SR, GR, and unified field theory. We aver that the same methodological logic animated all these theories as Einstein’s work (...) progressed. Each of these theories contributed towards constructing Einstein’s ambitious programme. This article is not a contribution to the history of relativity, but, rather, it utilises our knowledge of this history to uncover the methodological logic of the relativity programme and its development. This logic is latent in the historical narrative but is not identical to it. We hope to show that the Einsteinian relativity project is still relevant today as a theoretical scheme, despite its failures and despite quantum mechanics. (shrink)

Faraday's field concept presupposes that field stresses should share the axial symmetry of the lines of force. In the present article, the field dynamics is similarly required to depend only on field properties that can be tested through the motion of test-particles. Precise expressions of this 'Faradayan' principle in field-theoretical language are shown to severely restrict the form of classical field theories. In particular, static forces must obey the inverse square law in a linear approximation. Within a Minkowskian and Lagrangian (...) framework, the Faradayan principle automatically leads to Maxwell's theory of electromagnetism and to Einstein's theory of gravitation, without appeal to the equivalence principle. A comparison is drawn between this, Feynman's, and Einstein's way to arrive at general relativity. (shrink)

This special issue of Foundations of Physics collects together articles representing some recent new perspectives on the hole argument in the history and philosophy of physics. Our task here is to introduce those new perspectives.

Abstract.Einstein learned from the magnet and conductor thought experiment how to use field transformation laws to extend the covariance of Maxwell’s electrodynamics. If he persisted in his use of this device, he would have found that the theory cleaves into two Galilean covariant parts, each with different field transformation laws. The tension between the two parts reflects a failure not mentioned by Einstein: that the relativity of motion manifested by observables in the magnet and conductor thought experiment does not extend (...) to all observables in electrodynamics. An examination of Ritz’s work shows that Einstein’s early view could not have coincided with Ritz’s on an emission theory of light, but only with that of a conveniently reconstructed Ritz. One Ritz-like emission theory, attributed by Pauli to Ritz, proves to be a natural extension of the Galilean covariant part of Maxwell’s theory that happens also to accommodate the magnet and conductor thought experiment. Einstein’s famous chasing a light beam thought experiment fails as an objection to an ether-based, electrodynamical theory of light. However it would allow Einstein to formulate his general objections to all emission theories of light in a very sharp form. Einstein found two well known experimental results of 18th and 19th century optics compelling (Fizeau’s experiment, stellar aberration), while the accomplished Michelson-Morley experiment played no memorable role. I suggest they owe their importance to their providing a direct experimental grounding for Lorentz‘ local time, the precursor of Einstein’s relativity of simultaneity, and doing it essentially independently of electrodynamical theory. I attribute Einstein’s success to his determination to implement a principle of relativity in electrodynamics, but I urge that we not invest this stubbornness with any mystical prescience. (shrink)

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the (...) treatment of the Hole Argument in HoTT is clarified. (shrink)

I argue that, contrary to folklore, Einstein never really cared for geometrizing the gravitational or the electromagnetic field; indeed, he thought that the very statement that General Relativity geometrizes gravity "is not saying anything at all". Instead, I shall show that Einstein saw the "unification" of inertia and gravity as one of the major achievements of General Relativity. Interestingly, Einstein did not locate this unification in the field equations but in his interpretation of the geodesic equation, the law of motion (...) of test particles. (shrink)

This paper attempts to show how the logical empiricists’ interpretation of the relation between geometry and reality emerges from a “collision” of mathematical traditions. Considering Riemann’s work as the initiator of a 19th century geometrical tradition, whose main protagonists were Helmholtz and Poincaré, the logical empiricists neglected the fact that Riemann’s revolutionary insight flourished instead in a non-geometrical tradition dominated by the works of Christoffel and Ricci-Curbastro roughly in the same years. I will argue that, in the attempt to interpret (...) general relativity as the last link of the chain Riemann–Helmholtz–Poincaré–Einstein, logical empiricists were led to argue that Einstein’s theory of gravitation mainly raised a problem of mathematical under-determination, i.e. the discovery that there are physical differences that cannot be expressed in the relevant mathematical structure of the theory. However, a historical reconstruction of the alternative Riemann–Christoffel–Ricci–Einstein line of evolution shows on the contrary that the main philosophical issue raised by Einstein’s theory was instead that of mathematical over-determination, i.e. the recognition of the presence of redundant mathematical differences that do not have any correspondence in physical reality. (shrink)

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)

Two fundamental errors led Einstein to reject generally covariant gravitational field equations for over two years as he was developing his general theory of relativity. The first is well known in the literature. It was the presumption that weak, static gravitational fields must be spatially flat and a corresponding assumption about his weak field equations. I conjecture that a second hitherto unrecognized error also defeated Einstein's efforts. The same error, months later, allowed the hole argument to convince Einstein that all (...) generally covariant gravitational field equations would be physically uninteresting. (shrink)

The use of the material theory of induction to vindicate a scientist's claims of evidential warrant is illustrated with the cases of Einstein's thermodynamic argument for light quanta of 1905 and his recovery of the anomalous motion of Mercury from general relativity in 1915. In a survey of other accounts of inductive inference applied to these examples, I show that, if it is to succeed, each account must presume the same material facts as the material theory and, in addition, some (...) general principle of inductive inference not invoked by the material theory. Hence these principles are superfluous and the material theory superior in being more parsimonious. (shrink)

Can a theory turn back, as it were, upon itselfand vouch for its own features? That is, canthe derived elements of a theory be the veryprimitive terms that provide thepresuppositions of the theory? This form of anall-embracing feature assumes a totality inwhich there occurs quantification over thattotality, quantification that is defined bythis very totality. I argue that the Machprinciple exhibits such a feature ofall-embracing nature. To clarify the argument,I distinguish between on the one handcompleteness and on the other wholeness andtotality, (...) as different all-embracing features:the former being epistemic while the latter –ontological.I propose an analogy between the Mach principleas a possible selection principle in generalrelativity, and the vicious-circle principle infoundations of mathematics. I finally concludewith a consequence of this analogyvis-à-vis completeness and totality,viz., both should be constrained if they wereto be valid concepts for a physical theory. (shrink)