Journal of Philosophical Logic 50 (1):149-185 (2021)

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 and Malament. 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 : 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, 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 \ of our system \ that satisfy second order continuity to the mathematical structure \, called ‘Minkowski spacetime’ in physics textbooks.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-020-09565-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,848
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic:1-37.
Synthetic Affine Space-Time Geometry.Brent Hollis Mundy - 1982 - Dissertation, Stanford University
Taking Up Superspace: The Spacetime Structure of Supersymmetric Field Theory.Tushar Menon - 2018 - In Christian Wüthrich, Baptiste Le Bihan & Nick Huggett (eds.), Philosophy Beyond Spacetime. Oxford: Oxford University Press.
On the Reality of Minkowski Space.Vesselin Petkov - 2007 - Foundations of Physics 37 (10):1499-1502.
Persistence and Spacetime.Yuri Balashov - 2010 - Oxford University Press.
A Connection Between Minkowski and Galilean Space‐Times in Quantum Mechanics.Douglas Kutach - 2010 - International Studies in the Philosophy of Science 24 (1):15 – 29.
How to Be a Realist About Minkowski Spacetime Without Believing in Magical Explanations.Adán Sus - 2020 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 35 (2):175-195.

Analytics

Added to PP index
2021-01-20

Total views
6 ( #1,083,474 of 2,432,825 )

Recent downloads (6 months)
6 ( #114,924 of 2,432,825 )

How can I increase my downloads?

Downloads

My notes