Studia Logica

, Volume 95, Issue 1–2, pp 161–182

A Geometrical Characterization of the Twin Paradox and its Variants


DOI: 10.1007/s11225-010-9253-7

Cite this article as:
Székely, G. Stud Logica (2010) 95: 161. doi:10.1007/s11225-010-9253-7


The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is also studied.


twin paradox geometrical characterization logical foundations axiomatization special relativity 

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, BudapestBudapestHungary
  2. 2.Zrínyi Miklós University of National Defence, BudapestBudapestHungary

Personalised recommendations