Logical Axiomatizations of Space-time . Samples from the Literature

  title={Logical Axiomatizations of Space-time . Samples from the Literature},
  author={Hajnal Andr{\'e}ka and Judit X. Madar{\'a}sz and Istv{\'a}n N{\'e}meti},
We study relativity theory as a theory in the sense of mathematical logic. We use first-order logic (FOL) as a framework to do so. We aim at an “analysis of the logical structure of relativity theories”. First we build up (the kinematics of) special relativity in FOL, then analyze it, and then we experiment with generalizations in the direction of general relativity. The present paper gives samples from an ongoing broader research project which in turn is part of a research direction going back… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 65 references

The desirability of formalization in science

  • P. Suppes
  • The Journal of Philosophy, 27:651–664
  • 1968
Highly Influential
11 Excerpts

Conventionality of simultaneity: Malament’s result revisited

  • M. Hogarth
  • Cambridge University
  • 2003
Highly Influential
5 Excerpts

On the logical structure of relativity theories

  • H. Andréka, J. X. Madarász, I. Németi
  • Research report, Alfréd Rényi Institute of…
  • 2002
Highly Influential
7 Excerpts

Deciding arithmetic in Malament-Hogarth spacetimes

  • M. Hogarth
  • BJPS to appear
  • 2001
Highly Influential
4 Excerpts

The philosophical content of Minkowski geometry

  • J. Mundy
  • Britisch J. Philos. Sci., 37(1):25–54
  • 1986
Highly Influential
7 Excerpts

Axiomatic relativity theory

  • A. K. Guts
  • Russian Math. Survey, 37(2):41–89
  • 1982
Highly Influential
7 Excerpts

The elementary foundations of spacetime

  • J. Ax
  • Found. Phys., 8(7–8):507–546
  • 1978
Highly Influential
10 Excerpts

Causal theories of time and the conventionality of simultaneity

  • D. Malament
  • Noûs, 11:293–300
  • 1977
Highly Influential
5 Excerpts

Axioms for relativistic kinematics with or without parity

  • P. Suppes
  • L. Henkin, A. Tarski, and P. Suppes, editors…
  • 1959
Highly Influential
5 Excerpts

An example of a new type of cosmological solutions of Einstein’s field equations of gravitation

  • K. Gödel
  • Reviews of Modern Physics, 21:447–450
  • 1949
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…