Article

Studia Logica

, Volume 95, Issue 1, pp 161-182

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

Abstract

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.

Keywords

twin paradox geometrical characterization logical foundations axiomatization special relativity