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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Einstein’s first survey of General Relativity is deeply flawed in its informal introductory section, Part A. He presents the salient feature of the new theory as the mere lifting of coordinate restrictions on Special Relativity rather than its being a spacetime theory of gravity. Minkowski developed a different conception of Special Relativity, independent of light and signalling, with spacetime as its immediate and principal consequence. If Einstein had begun general relativity from that basis he would have avoided the many errors (...) into which Part A fell. (shrink)

The aim of the paper is to develop a proper mathematical formalism which can help to clarify the necessary conceptual plugins to the special principle of relativity and leads to a deeper understanding of the principle in its widest generality.

Einstein regarded as one of the triumphs of his 1915 theory of gravity - the general theory of relativity - that it vindicated the action-reaction principle, while Newtonian mechanics as well as his 1905 special theory of relativity supposedly violated it. In this paper we examine why Einstein came to emphasise this position several years after the development of general relativity. Several key considerations are relevant to the story: the connection Einstein originally saw between Mach's analysis of inertia and both (...) the equivalence principle and the principle of general covariance, the waning of Mach's influence owing to de Sitter's 1917 results, and Einstein's detailed correspondence with Moritz Schlick in 1920. (shrink)

The paper considers the "GR-desideratum", that is, the way general relativity implements general covariance, diffeomorphism invariance, and background independence. Two cases are discussed where 5-dimensional generalizations of general relativity run into interpretational troubles when the GR-desideratum is forced upon them. It is shown how the conceptual problems dissolve when such a desideratum is relaxed. In the end, it is suggested that a similar strategy might mitigate some major issues such as the problem of time or the embedding of quantum non-locality (...) into relativistic spacetimes. (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)

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)

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)

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)

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)

James L. Anderson analyzed the conceptual novelty of Einstein's theory of gravity as its lack of ``absolute objects.'' Michael Friedman's related concept of absolute objects has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using Nathan Rosen's action principle, I complete Anna Maidens's argument that the Jones-Geroch problem is not solved by requiring that absolute objects not be varied. Recalling Anderson's proscription of (globally) (...) ``irrelevant'' variables that do no work (anywhere in any model), I generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free, and there is no good reason to have a timelike dust 4-velocity vector there. Eliminating the irrelevant timelike vctors keeps the dust 4-velocity from counting as absolute by spoiling its neighborhood-by-neighborhood diffeomorphic equivalence to (1,0,0,0). A more fundamental Gerochian timelike vector field presents itself in gravity with spinors in the standard orthonormal tetrad formalism, though eliminating irrelevant fields might solve this problem as well. (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)

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.

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy (...) allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state. (shrink)

We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr's interpretation of quantum mechanics, i.e. his doctrine of classical concepts and his principle of complementarity. An appropriate mathematical language for combining (...) these ideas is topos theory, a framework earlier proposed for physics by Isham and collaborators. Our "Principle of general tovariance" states that any mathematical structure appearing in the laws of physics must be definable in an arbitrary topos (with natural numbers object) and must be preserved under so-called geometric morphisms. This principle identifies geometric logic as the mathematical language of physics and restricts the constructions and theorems to those valid in intuitionism: neither Aristotle's principle of the excluded third nor Zermelo's Axiom of Choice may be invoked. Subsequently, our "Equivalence principle" states that any algebra of observables (initially defined in the topos Sets) is empirically equivalent to a commutative one in some other topos. (shrink)

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

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)

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.

Most philosophers of science do philosophy ‘on’ science. By contrast, others do philosophy ‘in’ science (PinS), that is, they use philosophical tools to address scientific problems and to provide scientifically useful proposals. Here, we consider the evidence in favour of a trend of this nature. We proceed in two stages. First, we identify relevant authors and articles empirically with bibliometric tools, given that PinS would be likely to infiltrate science and thus to be published in scientific journals (‘intervention’), cited in (...) scientific journals (‘visibility’), and sometimes recognized as a scientific result by scientists (‘contribution’). We show that many central figures in philosophy of science have been involved in PinS, and that some philosophers have even ‘specialized’ in this practice. Second, we propose a conceptual definition of PinS as a process involving three conditions (raising a scientific problem, using philosophical tools to address it, and making a scientific proposal), and we ask whether the articles identified at the first stage fulfil all these conditions. We show that PinS is a distinctive, quantitatively substantial trend within philosophy of science, demonstrating the existence of a methodological continuity from science to philosophy of science. (shrink)

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)

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)

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)

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

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)

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

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)

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)

info:eu-repo/semantics/publishedVersion.

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)

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

The mutual conceptual incompatibility between General Relativity and Quantum Mechanics / Quantum Field Theory is generally seen as the most essential motivation for the development of a theory of Quantum Gravity. It leads to the insight that, if gravity is a fundamental interaction and Quantum Mechanics is universally valid, the gravitational field will have to be quantized, not at least because of the inconsistency of semi-classical theories of gravity. The objective of a theory of Quantum Gravity would then be to (...) identify the quantum properties and the quantum dynamics of the gravitational field. If this means to quantize General Relativity, the general-relativistic identification of the gravitational field with the spacetime metric has to be taken into account. The quantization has to be conceptually adequate, which means in particular that the resulting quantum theory has to be background-independent. This can not be achieved by means of quantum field theoretical procedures. More sophisticated strategies, like those of Loop Quantum Gravity, have to be applied. One of the basic requirements for such a quantization strategy is that the resulting quantum theory has a classical limit that is (at least approximately, and up to the known phenomenology) identical to General Relativity. However, should gravity not be a fundamental, but an induced, residual, emergent interaction, it could very well be an intrinsically classical phenomenon. Should Quantum Mechanics be nonetheless universally valid, we had to assume a quantum substrate from which gravity would result as an emergent classical phenomenon. And there would be no conflict with the arguments against semi-classical theories, because there would be no gravity at all on the substrate level. The gravitational field would not have any quantum properties to be captured by a theory of Quantum Gravity, and a quantization of General Relativity would not lead to any fundamental theory. The objective of a theory of 'Quantum Gravity' would instead be the identification of the quantum substrate from which gravity results. The requirement that the substrate theory has General Relativity as a classical limit – that it reproduces at least the known phenomenology – would remain. The paper tries to give an overview over the main options for theory construction in the field of Quantum Gravity. Because of the still unclear status of gravity and spacetime, it pleads for the necessity of a plurality of conceptually different approaches to Quantum Gravity. (shrink)

The conceptual incompatibility between General Relativity and Quantum Mechanics is generally seen as a sufficient motivation for the development of a theory of Quantum Gravity. If - so a typical argumentation - Quantum Mechanics gives a universally valid basis for the description of the dynamical behavior of all natural systems, then the gravitational field should have quantum properties, like all other fundamental interaction fields. And, if General Relativity can be seen as an adequate description of the classical aspects of gravity (...) and spacetime - and their mutual relation -, this leads, together with the rather convincing arguments against semi-classical theories of gravity, to a strategy which takes a quantization of General Relativity as the natural avenue to a theory of Quantum Gravity. And, because in General Relativity the gravitational field is represented by the spacetime metric, a quantization of the gravitational field would in some sense correspond to a quantization of geometry. Spacetime would have quantum properties. But, this direct quantization strategy to Quantum Gravity will only be successful, if gravity is indeed a fundamental interaction. Only if it is a fundamental interaction, the given argumentation is valid, and the gravitational field, as well as spacetime, should have quantum properties. - What, if gravity is instead an intrinsically classical phenomenon? Then, if Quantum Mechanics is nevertheless fundamentally valid, gravity can not be a fundamental interaction; a classical and at the same time fundamental gravity is excluded by the arguments against semi-classical theories of gravity. An intrinsically classical gravity in a quantum world would have to be an emergent, induced or residual, macroscopic effect, caused by a quantum substrate dominated by other interactions, not by gravity. Then, the gravitational field (as well as spacetime) would not have any quantum properties. And then, a quantization of gravity (i.e. of General Relativity) would lead to artifacts without any relation to nature. The serious problems of all approaches to Quantum Gravity that start from a direct quantization of General Relativity (e.g. non-perturbative canonical quantization approaches like Loop Quantum Gravity) or try to capture the quantum properties of gravity in form of a 'graviton' dynamics (e.g. Covariant Quantization, String Theory) - together with the, meanwhile, rich spectrum of (more or less advanced) theoretical approaches to an emergent gravity and/or spacetime - make this latter option more and more interesting for the development of a theory of Quantum Gravity. The most advanced emergent gravity (and spacetime) scenarios are of an information-theoretical, quantum-computational type. A paradigmatic model for the emergence of gravity and spacetime comes from the Pregeometric Quantum Causal Histories approach. (shrink)

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)