Axiomatization of Special Relativity in First Order Logic

Yi-Chen Luo,Lei Chen,Wan-Ting He,Yong-Ge Ma,Xin-Yu Zhang
DOI: https://doi.org/10.1088/0253-6102/66/1/019
2016-01-01
Communications in Theoretical Physics
Abstract:The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el + . Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el + . It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el + is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.
What problem does this paper attempt to address?