Studia Logica

, Volume 95, Issue 1, pp 161–182

A Geometrical Characterization of the Twin Paradox and its Variants


    • Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, Budapest
    • Zrínyi Miklós University of National Defence, Budapest

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 paradoxgeometrical characterizationlogical foundationsaxiomatizationspecial relativity
Download to read the full article text

Copyright information

© Springer Science+Business Media B.V. 2010