A logic road from special relativity to general relativity

, , &
Synthese 186 (3):633 - 649 (2012)
  Copy   BIBTEX

Abstract

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist

Categories

Keywords

Reprint years

2010

DOI

10.1007/s11229-011-9914-8

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,326

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Using Mathematics to Explain a Scientific Theory.Michèle Friend & Daniele Molinini - 2016 - Philosophia Mathematica 24 (2):185-213.
Is General Relativity really General Relativity?Taha Sochi - unknown
General Relativity as a Collection of Collections of Models.J. B. Manchak - 2021 - In Judit Madarász & Gergely Székely, Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 409-425.
In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics.Giambattista Formica & Michèle Friend - 2021 - In Judit Madarász & Gergely Székely, Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 383-408.
Comparing classical and relativistic kinematics in first-order logic.Koen Lefever & Gergely Székely - unknown
Two miracles of general relativity.James Read, Harvey R. Brown & Dennis Lehmkuhl - 2018 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 64:14-25.
Axiomatizing relativistic dynamics using formal thought experiments.Attila Molnár & Gergely Székely - 2015 - Synthese 192 (7):2183-2222.
Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.Judit Madarász & Gergely Székely (eds.) - 2021 - Springer.
A Nontemporal Probabilistic Approach to Special and General Relativity.Frank Blume - 2006 - Foundations of Physics 36 (9):1404-1440.
Quantum Field Theory: Motivating the Axiom of Microcausality.Jessey Wright - unknown

Analytics

Added to PP
2010-05-09

Downloads
304 (#97,291)

6 months
25 (#131,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Dualities and Equivalences Between Physical Theories.Jeremy Butterfield - 2021 - In Christian Wüthrich, Baptiste Le Bihan & Nick Huggett, Philosophy Beyond Spacetime: Implications From Quantum Gravity. Oxford: Oxford University Press.
On the Categoricity of Quantum Mechanics.Iulian D. Toader - 2021 - European Journal for Philosophy of Science 11 (1):1-14.

View all 26 citations / Add more citations

References found in this work

Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
Relativity.Albert Einstein - 1920 - London,: Routledge. Edited by Robert W. Lawson.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.

View all 10 references / Add more references