Studia Logica

, Volume 95, Issue 1, pp 161-182

First online:

A Geometrical Characterization of the Twin Paradox and its Variants

  • Gergely SzékelyAffiliated withAlfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, BudapestZrínyi Miklós University of National Defence, Budapest Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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