The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

Philosophy of Physics has emerged recently as a scholarly important subfield of philosophy of science. However outside the small community of experts it is not a well-known field. It is not clear even to experts the exact nature of the field: how much philosophical is it? What is its relation to physics? In this work it is presented an overview of philosophy of physics that tries to answer these and other questions.

Based on the various documents, 1989-2002, through the original texts, in addition to the author's contributions, this paper presents the refutation of the mathematicians and physicists A. Logunov and M. Mestvirishvil of A. Einstein's "general relativity", from the relativistic theory of gravitation of these authors, who applying the fundamental principle of the science of physics of the conservation of the energy-momentum and using absolute differential calculus they rigorously perform their mathematical tests. It is conclusively shown that, from the Einstein-Grossman-Hilbert equations, (...) gravity is absurdly a metric field devoid of physical reality unlike all other fields in nature that are material fields, interrupting the chain of transformations between the different existing fields. Also, in Einstein's theory the proved "inertial mass" equal to gravitational mass has no physical meaning. Therefore, "general relativity" does not obey the correspondence principle with Newton's gravity. (shrink)

The evolution of gravitational tests from an epistemological perspective framed in the concept of rational reconstruction of Imre Lakatos, based on his methodology of research programmes. Unlike other works on the same subject, the evaluated period is very extensive, starting with Newton's natural philosophy and up to the quantum gravity theories of today. In order to explain in a more rational way the complex evolution of the gravity concept of the last century, I propose a natural extension of the methodology (...) of the research programmes of Lakatos that I then use during the paper. I believe that this approach offers a new perspective on how evolved over time the concept of gravity and the methods of testing each theory of gravity, through observations and experiments. I argue, based on the methodology of the research programmes and the studies of scientists and philosophers, that the current theories of quantum gravity are degenerative, due to the lack of experimental evidence over a long period of time and of self-immunization against the possibility of falsification. Moreover, a methodological current is being developed that assigns a secondary, unimportant role to verification through observations and/or experiments. For this reason, it will not be possible to have a complete theory of quantum gravity in its current form, which to include to the limit the general relativity, since physical theories have always been adjusted, during their evolution, based on observational or experimental tests, and verified by the predictions made. Also, contrary to a widespread opinion and current active programs regarding the unification of all the fundamental forces of physics in a single final theory, based on string theory, I argue that this unification is generally unlikely, and it is not possible anyway for a unification to be developed based on current theories of quantum gravity, including string theory. In addition, I support the views of some scientists and philosophers that currently too much resources are being consumed on the idea of developing quantum gravity theories, and in particular string theory, to include general relativity and to unify gravity with other forces, as long as science does not impose such research programs. -/- DOI: 10.13140/RG.2.2.35350.70724 . (shrink)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

Harvey Brown’s Physical Relativity defends a view, the dynamical perspective, on the nature of spacetime that goes beyond the familiar dichotomy of substantivalist/relationist views. A full defense of this view requires attention to the way that our use of spacetime concepts connect with the physical world. Reflection on such matters, I argue, reveals that the dynamical perspective affords the only possible view about the ontological status of spacetime, in that putative rivals fail to express anything, either true or false. I (...) conclude with remarks aimed at clarifying what is and isn’t in dispute with regards to the explanatory priority of spacetime and dynamics, at countering an objection raised by John Norton to views of this sort, and at clarifying the relation between background and effective spacetime structure. (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)

If cosmology is to obtain knowledge about the whole universe, it faces an underdetermination problem: Alternative space-time models are compatible with our evidence. The problem can be avoided though, if there are good reasons to adopt the Cosmological Principle (CP), because, assuming the principle, one can confine oneself to the small class of homogeneous and isotropic space-time models. The aim of this paper is to ask whether there are good reasons to adopt the Cosmological Principle in order to avoid underdetermination (...) in cosmology. Various strategies to justify the CP are examined. For instance, arguments to the effect that the truth of the CP follows generically from a large set of initial conditions; an inference to the best explanation; and an inductive strategy are assessed. I conclude that a convincing justification of the CP has not yet been established, but this claim is contingent on a number of results that may have to be revised in the future. (shrink)

Gravity is the foundation of the current physical paradigm. Due to that gravity is strongly linked to the curvature of space-time, we research that it lacks of a valid physical concept of space-time, nevertheless that from the science philosophy, via substantivalism, it has tried respond. We found that is due to that the gnoseological process applied from the general relativity, necessarily us leads to metaphysic because ontologically space-time is a metaphysical entity. Thus, we arrive to the super substantivalism that from (...) metaphysics gives an answer on space-time rigorously exact with the vision of Einstein on physics. The result is that matter is nothing since all is space-time, i.e. geometry, therefore is a imperative of the physical science break the current paradigm. (shrink)

The Lorentz transformation (LT) is explained by changes occurring in the wave characteristics of matter as it changes inertial frame. This explanation is akin to that favoured by Lorentz, but informed by later insights, due primarily to de Broglie, regarding the underlying unity of matter and radiation. To show the nature of these changes, a massive particle is modelled as a standing wave in three dimensions. As the particle moves, the standing wave becomes a travelling wave having two factors. One (...) is a carrier wave displaying the dilated frequency and contracted ellipsoidal form described by the LT, while the other (identified as the de Broglie wave) is a modulation defining the dephasing of the carrier wave (and thus the failure of simultaneity) in the direction of travel. The superluminality of the de Broglie wave is thus explained, as are several other mysterious features of the optical behaviour of matter, including the physical meaning of the Schrödinger equation and the relevance to scattering processes of the de Broglie wave vector. Consideration is given to what this Lorentzian approach to relativity might mean for the possible existence of a preferred frame and the origin of the observed Minkowski metric. (shrink)

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)

Einstein proclaimed that we could discover true laws of nature by seeking those with the simplest mathematical formulation. He came to this viewpoint later in his life. In his early years and work he was quite hostile to this idea. Einstein did not develop his later Platonism from a priori reasoning or aesthetic considerations. He learned the canon of mathematical simplicity from his own experiences in the discovery of new theories, most importantly, his discovery of general relativity. Through his neglect (...) of the canon, he realised that he delayed the completion of general relativity by three years and nearly lost priority in discovery of its gravitational field equations. (shrink)

The cosmological constant is back. Several lines of evidence point to the conclusion that either there is a positive cosmological constant or else the universe is filled with a strange form of matter (“quintessence”) that mimics some of the effects of a positive lambda. This paper investigates the implications of the former possibility. Two senses in which the cosmological constant can be a constant are distinguished: the capital Λ sense in which lambda is a universal constant on a par with (...) the charge of the electron, and the lower case λ sense in which lambda is a humble constant of integration. The latter interpretation has been touted as the means to a solution to various problems in physics. These claims are critically examined with an eye to discerning the implications for philosophy of science and foundations of physics. (shrink)

Like moths attracted to a bright light, philosophers are drawn to glitz. So in discussing the notions of ‘gauge’, ‘gauge freedom’, and ‘gauge theories’, they have tended to focus on examples such as Yang–Mills theories and on the mathematical apparatus of fibre bundles. But while Yang–Mills theories are crucial to modern elementary particle physics, they are only a special case of a much broader class of gauge theories. And while the fibre bundle apparatus turned out, in retrospect, to be the (...) right formalism to illuminate the structure of Yang–Mills theories, the strength of this apparatus is also its weakness: the fibre bundle formalism is very flexible and general, and, as such, fibre bundles can be seen lurking under, over, and around every bush. What is needed is an explanation of what the relevant bundle structure is and how it arises, especially for theories that are not initially formulated in fibre bundle language. Here I will describe an approach that grows out of the conviction that, at least for theories that can be written in Lagrangian/Hamiltonian form, gauge freedom arises precisely when there are Lagrangian/Hamiltonian constraints of an appropriate character. This conviction is shared, if only tacitly, by that segment of the physics community that works on constrained Hamiltonian systems. (shrink)

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

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under general (...) local gauge transformations. (shrink)

The Anderson-Friedman absolute objects program has been a favorite analysis of the substantive general covariance that supposedly characterizes Einstein's General Theory of Relativity (GTR). Absolute objects are the same locally in all models (modulo gauge freedom). Substantive general covariance is the lack of absolute objects. Several counterexamples have been proposed, however, including the Jones-Geroch dust and Torretti constant curvature spaces counterexamples. The Jones-Geroch dust case, ostensibly a false positive, is resolved by noting that holes in the dust in some models (...) ensure that no physically relevant nonvanishing timelike vector field exists there, so no absolute object exists. The Torretti constant curvature spaces case, allegedly a false negative, is resolved by testing an irreducible piece of the metric, the conformal metric density of weight -2/3, for absoluteness; this geometric object is absolute. A new counterexample is proposed involving the orthonormal tetrad said to be necessary to couple spinors to a curved metric. The threat of finding an absolute object in GTR + spinors is overcome by the use of an alternative spinor formalism that takes a symmetric square root of the metric (with the help of the matrix diag(-1,1,1,1)), eliminating 6 of the 16 tetrad components as irrelevant. The importance of eliminating irrelevant structures, as Anderson emphasized, is clear. The importance of the choice of physical fields is also evident. A new counterexample due to Robert Geroch and Domenico Giulini, however, finds an absolute object in vacuum GTR itself, namely the scalar density $g$ given by the metric components' determinant. Thus either the definition of absoluteness or its use to analyze GTR's substantive general covariance is flawed. Anderson's belief that all absolute objects are nonvariational (that is, not varied in a suitable action principle) and vice versa is also falsified by the Geroch-Giulini counterexample. However, it remains plausible that all nonvariational fields are absolute, so adding nonvariationality as a necessary condition for absoluteness, as Hiskes once suggested, would likely leave no useful work to the Anderson-Friedman condition of sameness in all models. Simply having only variational fields in an action principle (suitably free of irrelevant fields) might be a satisfactory analysis of substantive general covariance, if one exists. This proposal also resembles the suggestion that GTR is "already parameterized," if one decides to parameterize theories by defining the nonvariational fields in terms of preferred coordinates called clock fields. More questions need to be addressed. Which fields should be tested for absoluteness: only primitive fields (which ones?), or all or some (which?) of their concomitants also? Geroch observes that some kinds of geometric objects, such as tangent vectors, scalar densities, and tangent vector densities of non-unit weight, satisfy the condition of sameness in all models if they merely fail to vanish. If these "susceptible" geometric objects can hardly help being absolute, to what degree are they, or the theories harboring them, responsible for this absoluteness? The answer to this question helps to determine the significance of the Geroch-Giulini counterexample. (shrink)

The Anderson-Friedman absolute objects project is reviewed. The Jones-Geroch dust 4-velocity counterexample is resolved by eliminating irrelevant structure. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields and using a modified spinor formalism. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a (...) change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

Reflective equilibrium between physics and philosophy, and between GR and particle physics, is fruitful and rational. I consider the virtues of simplicity, conservatism, and conceptual coherence, along with perturbative expansions. There are too many theories to consider. Simplicity supplies initial guidance, after which evidence increasingly dominates. One should start with scalar gravity; evidence required spin 2. Good beliefs are scarce, so don't change without reason. But does conservatism prevent conceptual innovation? No: considering all serious possibilities could lead to Einstein's equations. (...) GR is surprisingly intelligible. Energy localization makes sense if one believes Noether mathematics: an infinity of symmetries shouldn't produce just one energy. Hamiltonian change results from Lagrangian-equivalence. Causality poses conceptual questions. For GR, what are canonical 'equal-time' commutators? For massive spin 2, background causality exists but is violated. Both might be cured by engineering a background null cone respected by a gauge groupoid. Perturbative expansions can enlighten. They diagnose Einstein's 1917 'mass'-Lambda analogy. Ogievetsky-Polubarinov invented an infinity of massive spin 2 gravities---including ghost-free de Rham-Gabadadze-Tolley theories!---perturbatively, and achieved the impossible : spinors in coordinates. (shrink)

Evoluția testelor gravitaționale dintr-o perspectivă epistemologică încadrată în conceputul de reconstrucție rațională al lui Imre Lakatos, pe baza metodologiei acestuia a programelor de cercetare. Perioada evaluată este foarte vastă, începând cu filosofia naturală a lui Newton și până la teoriile gravitației cuantice din zilele noastre. Pentru a explica mai rațional evoluția complexă a conceptului de gravitație din ultimul secol, propun o extindere naturală a metodologiei programelor de cercetare pe care o folosesc apoi pe parcursul lucrării. Consider că această abordare oferă (...) o nouă perspectivă asupra modului în care au evaluat în timp conceptul de gravitație și metodele de testare a fiecărei teorii a gravitației, prin observații și experimente. Argumentez, pe baza metodologiei programelor de cercetare și a studiilor oamenilor de știință și filosofilor, că actualele teorii ale gravitației cuantice sunt degenerative, datorită lipsei dovezilor experimentale pe o perioadă îndelungată de timp și a auto-imunizării împotriva posibilității falsificării. Mai mult, în prezent este în curs de dezvoltare un curent metodologic care atribuie un rol secundar, neimportant, verificărilor prin observații și/sau experimente. Din această cauză, nu va fi posibilă o teorie completă a gravitației cuantice în forma actuală care să includă la limită relativitatea generală, întrucât teoriile fizice au fost dintotdeauna ajustate, în decursul evoluției lor, pe baza testelor observaționale sau experimentale, și verificate prin predicțiile făcute. De asemenea, contrar unei opinii răspândite și a unor programe active actuale privind unificarea tuturor forțelor fundamentale ale fizicii într-o singură teorie finală, pe baza teoriei corzilor, argumentez că este puțin probabil în general să se realizeze această unificare, și nu este posibil oricum ca unificarea să se elaboreze pe baza teoriilor actuale ale gravitației cuantice, inclusiv prin teoria corzilor. În plus, susțin punctele de vedere ale unor oameni de știință și filosofi că în prezent se consumă mult prea multe resurse pe ideea dezvoltării teoriilor gravitației cuantice, și în special teoria corzilor, care să includă relativitatea generală și să unifice gravitația cu celelalte forțe, în condițiile în care știința nu impune astfel de programe de cercetare. -/- DOI: 10.13140/RG.2.2.14582.75842 . (shrink)

This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. Both these structures (...) are here perceived as formal translations of the fundamental twofold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics can be thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. -/- Moreover, this dissertation shows the existence of a tension between a certain "abstract way" of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chase for Individuation” is the analysis of different mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution. (shrink)

In recent articles, Zangari (1994) and Karakostas (1997) observe that while an &unknown;-extended version of the proper orthochronous Lorentz group O + (1,3) exists for values of &unknown; not equal to zero, no similar &unknown;-extended version of its double covering group SL(2, C) exists (where &unknown;=1-2&unknown; R , with &unknown; R the non-standard simultaneity parameter of Reichenbach). Thus, they maintain, since SL(2, C) is essential in describing the rotational behaviour of half-integer spin fields, and since there is empirical evidence for (...) such behaviour, &unknown;-coordinate transformations for any value of &unknown;<>0 are ruled out empirically. In this article, I make two observations:(a)There is an isomorphism between even-indexed 2-spinor fields and Minkowski world-tensors which can be exploited to obtain generally covariant expressions of such spinor fields.(b)There is a 2-1 isomorphism between odd-indexed 2-spinor fields and Minkowski world-tensors which can be exploited to obtain generally covariant expressions for such spinor fields up to a sign. Evidence that the components of such fields do take unique values is not decisive in favour of the realist in the debate over the conventionality of simultaneity in so far as such fields do not play a role in clock synchrony experiments in general, and determinations of the one-way speed of light in particular.I claim that these observations are made clear when one considers the coordinate-independent 2-spinor formalism. They are less evident if one restricts oneself to earlier coordinate-dependent formalisms. I end by distinguishing these conclusions from those drawn by the critique of Zangari given by Gunn and Vetharaniam (1995). (shrink)

While the philosophers of science discuss the General Relativity, the mathematical physicists do not question it. Therefore, there is a conflict. From the theoretical point view “the question of precisely what Einstein discovered remains unanswered, for we have no consensus over the exact nature of the theory 's foundations. Is this the theory that extends the relativity of motion from inertial motion to accelerated motion, as Einstein contended? Or is it just a theory that treats gravitation geometrically in the spacetime (...) setting?”. “The voices of dissent proclaim that Einstein was mistaken over the fundamental ideas of his own theory and that their basic principles are simply incompatible with this theory. Many newer texts make no mention of the principles Einstein listed as fundamental to his theory; they appear as neither axiom nor theorem. At best, they are recalled as ideas of purely historical importance in the theory's formation. The very name General Relativity is now routinely condemned as a misnomer and its use often zealously avoided in favour of, say , Einstein's theory of gravitation What has complicated an easy resolution of the debate are the alterations of Einstein's own position on the foundations of his theory”, (Norton, 1993). Of other hand from the mathematical point view the “General Relativity had been formulated as a messy set of partial differential equations in a single coordinate system. People were so pleased when they found a solution that they didn't care that it probably had no physical significance” (Hawking and Penrose, 1996). So, during a time, the declaration of quantum theorists:“I take the positivist viewpoint that a physical theory is just a mathematical model and that it is meaningless to ask whether it corresponds to reality. All that one can ask is that its predictions should be in agreement with observation.” (Hawking and Penrose, 1996)seemed to solve the problem, but recently achieved with the help of the tightly and collectively synchronized clocks in orbit frontally contradicts fundamental assumptions of the theory of Relativity. These observations are in disagree from predictions of the theory of Relativity. (Hatch, 2004a, 2004b, 2007). The mathematical model was developed first by Grossmann who presented it, in 1913, as the mathematical part of the Entwurf theory, still referred to a curved Minkowski spacetime. Einstein completed the mathematical model, in 1915, formulated for Riemann ́s spacetimes. In this paper, we present as of General Relativity currently remains only the mathematical model, darkened with the results of Hatch and, course, we conclude that a Einstein ́s gravity theory does not exist. (shrink)

I examine two claims that arise in Brown’s account of inertial motion. Brown claims there is something objectionable about the way in which the motions of free particles in Newtonian theory and special relativity are coordinated. Brown also claims that since a geodesic principle can be derived in Einsteinian gravitation, the objectionable feature is explained away. I argue that there is nothing objectionable about inertia and that while the theorems that motivate Brown’s second claim can be said to figure in (...) a deductive-nomological explanation, their main contribution lies in their explication rather than their explanation of inertial motion. (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)

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

This paper formulates generalized versions of the general principle of relativity and of the principle of equivalence that can be applied to general abstract spaces. It is shown that when the principles are applied to the Hilbert space of a quantum particle, its law of coupling to electromagnetic fields is obtained. It is suggested to understand the Aharonov-Bohm effect in light of these principles, and the implications for some related foundational controversies are discussed.

Structuralist foundations of mathematics aim for an ‘invariant’ conception of mathematics. But what should be their basic objects? Two leading answers emerge: higher groupoids or higher categories. I argue in favor of the former over the latter. First, I explain why to choose between them we need to ask the question of what is the correct ‘categorified’ version of a set. Second, I argue in favor of groupoids over categories as ‘categorified’ sets by introducing a pre-formal understanding of groupoids as (...) abstract shapes. This conclusion lends further support to the perspective taken by the Univalent Foundations of mathematics. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

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)

While there is a longstanding discussion about the interpretation of the extended, general principle of relativity, there seems to be a consensus that the special principle of relativity is absolutely clear and unproblematic. However, a closer look at the literature on relativistic physics reveals a more confusing picture. There is a huge variety of, sometimes metaphoric, formulations of the relativity principle, and there are different, sometimes controversial, views on its actual content. The aim of this paper is to develop a (...) precise language in order to provide a precise formulation of the principle. In view of the fact that the special relativity principle is considered as a universal meta-law, which must be valid for all physical laws in all situations, we try to keep the formalism as general as possible. The benefit of the formal reconstruction is that it makes explicit all the necessary conceptual components of the principle; it brings out many subtle details and the related conceptual problems. (shrink)

This paper aims to discuss two realist conceptions about causation in the light of the general theory of relativity. I first consider the conserved quantity of causation, which explicitly relies on the energy conservation principle. Such principle is however problematic within GTR, mainly because of the dynamical nature of the spacetime structure itself. I then turn to the causal theory of properties, according to which properties are such that insofar as they are certain qualities, they are powers to produce certain (...) effects. In order to be compatible with GTR, such theory has to assume non-trivial global conditions on the spacetime structure; such assumptions seem to deprive the „singularist‟ non-Humean feature of this theory of causation. The question of the possible causal nature of spacetime properties is addressed in the conclusion. (shrink)

String Theory is the result of the conjunction of three conceptually independent elements: the metaphysical idea of a nomological unity of the forces, the model-theoretical paradigm of Quantum Field Theory, and the conflict resulting from classical gravity in a quantum world - the motivational starting point of the search for a theory of Quantum Gravity. String Theory is sometimes assumed to solve this conflict: by means of an application of the model-theoretical apparatus of Quantum Field Theory, interpreting gravity as the (...) result of an exchange of gravitons, taken here to be dynamical states of the string. But, String Theory does not really solve the conflict. Rather it exemplifies the inadequacy of the apparatus of Quantum Field Theory in the context of Quantum Gravity: After several decades of development it still exists only in an essentially perturbative formulation. And, due to its quantum field theoretical heritage, it is conceptually incompatible with central implications of General Relativity, especially those resulting from the general relativistic relation between gravity and spacetime. All known formulations of String Theory are background-dependent. And no physical motivation is given for this conceptual incompatibility. On the other hand, although String Theory identifies all gauge bosons as string states, it was not even possible to reproduce the Standard Model. Instead, String Theory led to a multitude of internal problems - and to the plethora of low-energy scenarios with different nomologies and symmetries, known as the String Landscape. All attempts to find a dynamically motivated selection principle remained without success, leaving String Theory without any predictive power. The nomological unification of the fundamental forces, including gravity, is only achieved in a purely formal way within the model-theoretical paradigm of Quantum Field Theory - by means of physically unmotivated epicycles like higher dimensionality, Calabi-Yau spaces, branes, etc. Finally, the possibility remains that some of the central assumptions of String Theory are physically wrong. On the one hand, the idea of a nomological unity of the forces could be simply wrong. On the other hand, even if a nomological unity of all fundamental forces should be realized in nature, the possibility remains that gravity is not a fundamental force, but a residual, emergent and possibly intrinsically classical phenomenon, resulting from a quantum substrate without any gravitational degrees of freedom. (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)

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 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)

I discuss the relationship between different versions of the equivalence principle in general relativity, among them Einstein's equivalence principle, the weak equivalence principle, and the strong equivalence principle. I show that Einstein's version of the equivalence principle is intimately linked to his idea that in GR gravity and inertia are unified to a single field, quite like the electric and magnetic field had been unified in special relativistic electrodynamics. At the same time, what is now often called the strong equivalence (...) principle, related to the local validity of special relativity, can also be found in Einstein's writings, albeit by a different name and clearly separated from what he calls the equivalence principle. I discuss both the development of Einstein's thoughts on the different versions of the equivalence principle, their relationship to the relativity principle, as well as later reflections and variants proposed. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (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.

The philosophy of physics literature contains conflicting claims on the heuristic significance of general covariance. Some authors maintain that Einstein's general relativity distinguishes itself from other theories in that it must be generally covariant, for example, while others argue that general covariance is a physically vacuous and trivial requirement applicable to virtually any theory. Moreover, when general covariance is invested with heuristic significance, that significance as a rule is assigned to so-called “active” general covariance, underwritten by the principle of background (...) independence, rather than to general covriance as Einstein understood it. While agreeing with the latter group of commentators that general covariance indeed carries heuristic significance, I argue that a background independent theory need not be generally covariant and that instead the Principle of Equivalence as Einstein understood it provides the key to understanding the heuristic power of general covariance as a “mathematical sieve” for determining the gravitational field law. However, heuristic significance accrues to general covariance only indirectly, by its encompassing the relativity of frames underwritten by Einstein's principle of equivalence. (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)

When addressing the notion of proper time in the theory of relativity, it is usually taken for granted that the time read by an accelerated clock is given by the Minkowski proper time. However, there are authors like Harvey Brown that consider necessary an extra assumption to arrive at this result, the so-called clock hypothesis. In opposition to Brown, Richard TW Arthur takes the clock hypothesis to be already implicit in the theory. In this paper I will present a view (...) different from these authors by taking into account Einstein’s notion of natural clock and showing its relevance to the debate. (shrink)

John Earman's recent proposal that a substantive version of general covariance consists in the requirement that diffeomorphism invariance be a gauge symmetry is critically assessed. I argue that such a principle does not serve to differentiate general relativity from pre-relativistic theories. A model-theoretic characterization of two formulations of specially-relativistic theories is suggested. Diffeomorphisms are symmetries of only one such style of formulation and, I argue, Earman's proposal does not provide a reason to deny diffeomorphisms the status of gauge transformations relative (...) to this formulation. Carlo Rovelli's distinction between "passive" and "active" diffeomorphism invariance is also clarified. (shrink)

The line of argument pursued in this paper is to proceed from Einstein’s fundamental problem situation to a consideration of scientific representation with respect to the Special theory of relativity (STR). Einstein’s fundamental problem situation, which is Kantian in spirit, is how the conceptual freedom of the scientist is compatible with the need for an objective representation of an independently given material world. To solve this philosophical issue Einstein employs a number of constraints, which are central to the STR. The (...) issue of scientific representation leads to a consideration of the notion of reality and to the realistic commitments implied in the STR. From this point of view, the paper concludes that Einstein was committed to a kind of ‘structural’ realism. (shrink)

In this paper, some conditions of physical reality are presented. These conditions are, in particular, the conditions of the real physical quantities. The symmetry principles held about reference frames are essential in presenting the conditions. In the stance taken in this paper, gauge symmetry, the different descriptions of the same physical situation, represents what is real. Based on the conditions, the real physical quantities and the real physical descriptions are those that are independent of reference frames. In the rigorous mathematical (...) term, one can say the real physical descriptions are those satisfied with the substantive general covariance requirement (in the Earman’s term). (shrink)