PhilSci Archive

A system of axioms for Minkowski spacetime

Cocco, Lorenzo and Babic, Joshua (2020) A system of axioms for Minkowski spacetime. Journal of Philosophical Logic.

This is the latest version of this item.

[img]
Preview
Text
A_system_of_axioms_for_Minkowski_spacetime.pdf

Download (358kB) | Preview

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, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s 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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Published Article or Volume
Creators:
CreatorsEmailORCID
Cocco, LorenzoLorenzo.Cocco@unige.ch
Babic, JoshuaJoshua.Babic@unige.ch
Keywords: Axiomatization; Minkowski spacetime; special relativity; nominalism; Field's program; synthetic mechanics and geometry
Subjects: Specific Sciences > Mathematics > Ontology
General Issues > Scientific Metaphysics
Specific Sciences > Physics > Relativity Theory
General Issues > Structure of Theories
Depositing User: Mr. Joshua Babic
Date Deposited: 26 Jul 2020 14:36
Last Modified: 26 Jul 2020 14:36
Item ID: 17669
Journal or Publication Title: Journal of Philosophical Logic
Subjects: Specific Sciences > Mathematics > Ontology
General Issues > Scientific Metaphysics
Specific Sciences > Physics > Relativity Theory
General Issues > Structure of Theories
Date: 21 July 2020
URI: https://philsci-archive.pitt.edu/id/eprint/17669

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item