Abstract
We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in Maudlin (2012) and Malament (unpublished). It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of Tarski (1959): a predicate of betwenness and a four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane—which obeys the Euclidean axioms in Tarski and Givant (The Bulletin of Symbolic Logic, 5(2), 175–214 1999)—and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagoras’ theorem. We conclude with a Representation Theorem relating models \(\mathfrak {M}\) of our system \({\mathscr{M}}^{1}\) that satisfy second order continuity to the mathematical structure \(\langle \mathbb {R}^{4}, \eta _{ab}\rangle \), called ‘Minkowski spacetime’ in physics textbooks.
Similar content being viewed by others
References
Alscher, D. (2016). Theorien Der Reellen Zahlen Und Interpretierbarkeit. Berlin: De Gruyter.
Andréka, H., Madarász, J. X., Németi, I., & Székely, G. (2011). On logical analysis of relativity theories. Hungarian Philosophical Review, 54(4), 204–222.
Ax, J. (1978). The elementary foundations of spacetime. Foundations of Physics, 8(7–8), 507–546.
Barrett, T.W., & Halvorson, H. (2016). Glymour and Quine on theoretical equivalence. Journal of Philosophical Logic, 45, 467–483.
Field, H. (1980). Science without numbers. Princeton: Princeton University Press.
Goldblatt, R. (1987). Orthogonality and spacetime geometry. Berlin: Springer.
Halvorson, H. (2019). The logic in philosophy of science. Cambridge: Cambridge University Press.
Hartshorne, R. (2000). Euclid and beyond. Berlin: Springer.
Hilbert, D. (1899). Grundlagen der geometrie.
Jensen, R. B. (1972). The fine structure of the constructible hierarchy. Annals of Mathematical Logic, 4(3), 229–308.
Malament, D. (2019). Mathematical and physical background to “Über die Abhängigkeit der Eigenschaften des Raumes von denen der Zeit”. In A.W. Carus, M. Friedman, W. Kienzler, & S. Schlotter (Eds.) The collected works of Rudolf Carnap (Vol. 1). Oxford: Oxford University Press.
Malament, D. Geometry and spacetime, unpublished notes.
Martin, R.M. (1971). Logic, language, and metaphysics. New York: New York University Press.
Maudlin, T. (2012). Philosophy of physics: space and time. Princeton: Princeton University Press.
Mundy, B. (1986). Optical axiomatization of Minkowski space-time geometry. Philosophy of Science, 53(1), 1–30.
Mundy, B. (1986). The physical content of Minkowski geometry. The British Journal for the Philosophy of Science, 37(1), 25–54.
Pambuccian, V. (2007). Alexandrov–Zeeman type theorems expressed in terms of definability. Aequationes Mathematicae, 74, 249–261.
Quine, W. V. O. (1975). On empirically equivalent systems of the world. Erkenntnis, 9(3), 313–328.
Reichenbach, H. (1924). Axiomatik der relativistischen Raum-Zeit-Lehre. Braunschweig: Fried. Vieweg and Sohn.
Robb, A. (1914). A theory of space and time. Cambridge: Cambridge University Press.
Robb, A. (1936). Geometry of time and space. Cambridge: Cambridge University Press.
Schutz, J.W. (1997). Independent axioms for Minkowski space-time. Boca Raton: CRC Press.
Schwabhäuser, W., Szmielew, W, & Tarski, A. (1983). Metamathematische methoden in der geometrie. Berlin: Springer.
Shoenfield, J. R. (1971). Unramified forcing in axiomatic set theory. In Proceedings of symposia in pure mathematics, XIII, Part I (pp. 357–381). Providence: American Mathematical Society.
Sklar, L. (1985). Philosophy and spacetime physics. Berkeley: University of California Press.
Spector, C. (1958). Measure-theoretic construction of incomparable hyperdegrees. The Journal of Symbolic Logic, 23(3), 280–288.
Suppes, P. (1959). Axioms for relativistic kinematics with or without parity. In L. Henkin, P. Suppes, & A. Tarski (Eds.) Symposium on the axiomatic method. Berkeley: University of California.
Tarski, A. (1959). What is elementary geometry? In L. Henkin, P. Suppes, & A. Tarski (Eds.) Symposium on the axiomatic method. Berkeley: University of California.
Tarski, A., & Givant, S. (1999). Tarski’s system of geometry. The Bulletin of Symbolic Logic, 5(2), 175–214.
Tarski, A., & Szczerba, L. W. (1979). Metamathematical discussion of some affine geometries. Fundamentae Mathematicae, 3(104), 155–192.
Van den Dries, L. P.D. (1998). Tame topology and O-minimal structures. Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
We are grateful to John Burgess, Dino Calosi, Harold Hodes and Chris Wüthrich for discussion and comments on parts of this paper.
Rights and permissions
About this article
Cite this article
Cocco, L., Babic, J. A System of Axioms for Minkowski Spacetime. J Philos Logic 50, 149–185 (2021). https://doi.org/10.1007/s10992-020-09565-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-020-09565-6