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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

Similar books and articles

Analytics

Added to PP
2010-05-09

Downloads
243 (#80,195)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Dualities and Equivalences Between Physical Theories.Jeremy Butterfield - forthcoming - In Christian Wüthrich, Baptiste Le Bihan & Nick Huggett (eds.), Philosophy Beyond Spacetime. 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,: Methuen. Edited by Robert W. Lawson.
Relativity.Albert Einstein - 1920 - London,: Routledge. Edited by Robert W. Lawson.

View all 12 references / Add more references