A logic road from special relativity to general relativity

Citation data:

Synthese, ISSN: 0039-7857, Vol: 186, Issue: 3, Page: 633-649

Publication Year:
2012
Usage 198
Downloads 149
Abstract Views 42
Link-outs 4
Full Text Views 3
Captures 17
Readers 15
Exports-Saves 2
Social Media 1
Tweets 1
Citations 19
Citation Indexes 19
Repository URL:
http://philsci-archive.pitt.edu/id/eprint/9931
DOI:
10.1007/s11229-011-9914-8
Author(s):
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
Publisher(s):
Springer Nature
Tags:
Arts and Humanities; Social Sciences
article description
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. © 2011 Springer Science+Business Media B.V.