On Logical Analysis of Relativity Theories

The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories.Comment: 19 pages, 1 figure

Geometrical Lorentz Violation and Quantum Mechanical Physics

On the basis of the results of some experiments dealing with the violation of Local Lorentz Invariance (LLI) and on the formalism of the Deformed Special Relativity (DSR), we examine the connections between the local geometrical structure of space-time and the foundation of Quantum Mechanics. We show that Quantum Mechanics, beside being an axiomatic theory, can be considered also a deductive physical theory, deducted from the primary physical principle of Relativistic Correlation. This principle is synonym of LLI and of a rigid and at minkowskian space-time. The results of the experiments mentioned above show the breakdown of LLI and hence the violation of the principle of Relativistic Correlation. The formalism of DSR allows to highlight the deep meaning of LLI breakdown in terms of the geometrical structure of local space-time which, far from being rigid and at, is deformed by the energy of the physical phenomena that take place and in this sense it has an active part in the dynamics of the whole physical process. This perspective has a far reaching physical meaning that extends its consequences to the foundations of Quantum Mechanics according to the interpretation of Copenhagen. It provides a 'real' explanation and description of quantum phenomena enriching, by the concept of deformed space-time, the realistic interpretation in terms of pilot wave and hence it uncovers the reality hidden below the probabilistic interpretation and dualistic nature of quantum objects.Comment: 4 figures, 15 page

The collapse of supertasks

A supertask consists in the performance of an infinite number of actions in a finite time. I show that any attempt to carry out a supertask will produce a divergence of the curvature of spacetime, resulting in the formation of a black hole. I maintain that supertasks, contrarily to a popular view among philosophers, are physically impossible. Supertasks, literally, collapse under their own weight.Comment: 10 pages, accepted for publication in Foundations of Scienc

On the Argument from Physics and General Relativity

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics

First-Order Logic Foundation of Relativity Theories

Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.Comment: 25 pages, 4 figure

A Geometrical Characterization of the Twin Paradox and its Variants

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.Comment: 22 pages, 3 figure