A Geometrical Characterization of the Twin Paradox and its Variants

Studia Logica 95 (1-2):161 - 182 (2010)
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 Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
Reprint years 2010
DOI 10.1007/s11225-010-9253-7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,113
Through your library

References found in this work BETA

Second-Order Logic and Foundations of Mathematics.Jouko Vaananen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
A Formal Construction of the Spacetime Manifold.Thomas Benda - 2008 - Journal of Philosophical Logic 37 (5):441 - 478.
First-Order Logic:(Philosophical) Pro and Contra.J. Wolenski - 2004 - In Vincent F. Hendricks (ed.), First-Order Logic Revisited. Logos. pp. 369--398.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
67 ( #102,977 of 2,313,601 )

Recent downloads (6 months)
2 ( #392,244 of 2,313,601 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature