Abstract. Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity— including such revolutionary areas as black hole physics, relativistic computers, new cosmology—are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.

2.1 Motivation for special relativistic kinematics in place of Newtonian kinematics......................... 4

Abstract. A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated. 1.

Abstract. Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein’s Equivalence Principle. It is shown that all of them are logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. 1.

1 introduction In this paper we present some of our school’s results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna

Abstract. The aim of this paper is to provide a conceptual analysis of the twin paradox (TwP) within a first-order logic framework. We give a geometrical characterization of TwP and its variants, for example, one without differential aging (No-TwP). It is shown that TwP is not equivalent to the assumption of slowing down of moving clocks and No-TwP is not equivalent to the Newtonian assumption of the absoluteness of time. The connection of TwP and a symmetry axiom of Special Relativity is also studied. 1.