Logical Analysis of Relativity Theory

Akira Kanda,Mihai Prunescu,Renata Wong

DOI: https://doi.org/10.48550/arXiv.2006.15289

2020-06-27

History and Philosophy of Physics

Abstract:We review the special theory of relativity kinematics and dynamics as well as the general theory of relativity under the aspect of logic.

What problem does this paper attempt to address?

ON THE LOW SPEED LIMITS OF LORENTZ'S TRANSFORMATION - HOW RELATIVISTIC EFFECTS RETAIN OR VANISH IN ELECTROMAGNETISM

Hao Chen,Wei E. Sha,Xi Dai,Yue Yu

DOI: https://doi.org/10.2528/pier22021701

2022-01-01

Abstract:This article contains a digest of the theory of electromagnetism and a review of the transformation between inertial frames, especially under low speed limits. The covariant nature of the Maxwell's equations is explained using the conventional language. We show that even under low speed limits, the relativistic effects should not be neglected to get a self-consistent theory of the electromagnetic fields, unless the intrinsic dynamics of these fields has been omitted completely. The quasi-static limits, where the relativistic effects can be partly neglected are also reviewed, to clarify some common misunderstandings and imprecise use of the theory in presence of moving media and other related situations. The discussions presented in this paper provide a clear view of why classical electromagnetic theory is relativistic in its essence.
Comparing Classical and Relativistic Kinematics in First-Order Logic

Koen Lefever,Gergely Székely

DOI: https://doi.org/10.48550/arXiv.1707.05371

2017-07-13

Abstract:The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class of observers (representing observers stationary with respect to the "Ether") in special relativity and exclude the non-slower-than light observers from classical kinematics by an extra axiom, then the two theories become definitionally equivalent (i.e., they become equivalent theories in the sense as the theory of lattices as algebraic structures is the same as the theory of lattices as partially ordered sets). Furthermore, we show that classical kinematics is definitionally equivalent to classical kinematics with only slower-than-light inertial observers, and hence by transitivity of definitional equivalence that special relativity theory extended with "Ether" is definitionally equivalent to classical kinematics. So within an axiomatic framework of mathematical logic, we explicitly show that the transition from classical kinematics to relativistic kinematics is the knowledge acquisition that there is no "Ether", accompanied by a redefinition of the concepts of time and space.

Mathematical Physics,Logic
On The Low Speed Limits of Lorentz's Transformation

Hao Chen,Wei E. I. Sha,Xi Dai,Yue Yu

DOI: https://doi.org/10.2528/PIER22021701

2022-01-01

Abstract: This article contains a digest of the theory of electromagnetism and a review of the transformation between inertial frames, especially under low speed limits. The covariant nature of the Maxwell's equations is explained using the conventional language. We show that even under low speed limits, the relativistic effects should not be neglected to get a self-consistent theory of the electromagnetic fields, unless the intrinsic dynamics of these fields has been omitted completely. The quasi-static limits, where the relativistic effects can be partly neglected are also reviewed, to clarify some common misunderstandings and imprecise use of the theory in presence of moving media and other related situations. The discussion presented in this paper provide a clear view of why classical electromagnetic theory is relativistic in its essence.
A logic road from special relativity to general relativity

Hajnal Andréka,Judit X. Madarász,István Németi,Gergely Székely

DOI: https://doi.org/10.1007/s11229-011-9914-8

2011-01-22

Abstract:We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

General Relativity and Quantum Cosmology,Mathematical Physics,Logic
First-Order Logic Foundation of Relativity Theories

Judit X. Madarasz,Istvan Nemeti,Gergely Szekely

DOI: https://doi.org/10.48550/arXiv.gr-qc/0604041

2006-04-10

General Relativity and Quantum Cosmology

Abstract: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.
The Theory of Thermodynamic Relativity

George Livadiotis,David J. McComas

DOI: https://doi.org/10.1038/s41598-024-72779-0

2024-10-10

Abstract:We introduce the theory of thermodynamic relativity, a unified framework for describing both entropies and velocities, and their respective disciplines of thermodynamics and kinematics, which share a surprisingly identical description with relativity. This is the first study to generalize relativity in a thermodynamic context, leading naturally to anisotropic and nonlinear adaptations of relativity; thermodynamic relativity constitutes a new path of generalization, as compared to the traditional passage from special to general theory based on curved spacetime. We show that entropy and velocity are characterized by three identical postulates, providing the basis of a broader framework of relativity: (1) no privileged reference frame with zero value; (2) existence of an invariant and fixed value for all reference frames; and (3) existence of stationarity. The postulates lead to a unique way of addition for entropies and for velocities, called kappa addition. The theory provides a systematic method of constructing a generalized framework of the theory of relativity, based on the kappa addition, fully consistent with both thermodynamics and kinematics. From the generality of the kappa addition, we focus on the cases corresponding to linear special relativity. Then, we show how the thermodynamic relativity leads to the addition of entropies in nonextensive thermodynamics and the addition of velocities in the isotropic special relativity of Einstein, as in two extreme cases, while intermediate cases correspond to an anisotropic adaptation of relativity. Using thermodynamic relativity for velocities, we construct the anisotropic special relativity (asymmetric Lorentz transformation, nondiagonal metric, energy momentum velocity relations). Then, we discuss the consequences of the anisotropy in known relativistic effects: (1) matter antimatter asymmetry, (2) time dilation, and (3) Doppler effect.

General Physics
First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Gergely Székely

DOI: https://doi.org/10.48550/arXiv.1005.0973

2010-05-06

General Relativity and Quantum Cosmology

Abstract:This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andr\'eka, Madar\'asz and N\'emeti. These extensions include extension to accelerated observers, relativistic dynamics and general relativity; however, its main subject is the extension to accelerated observers (AccRel). One surprising result is that natural extension to accelerated observers is not enough if we want our theory to imply certain experimental facts, such as the twin paradox. Even if we add the whole first-order theory of real numbers to this natural extension, it is still not enough to imply the twin paradox. Nevertheless, that does not mean that this task cannot be carried out within first-order logic since by approximating a second-order logic axiom of real numbers, we introduce a first-order axiom schema that solves the problem. Our theory AccRel nicely fills the gap between special and general relativity theories, and only one natural generalization step is needed to achieve a first-order logic axiomatization of general relativity from it. We also show that AccRel is strong enough to make predictions about the gravitational effect slowing down time. Our general aims are to axiomatize relativity theories within pure first-order logic using simple, comprehensible and transparent basic assumptions (axioms); to prove the surprising predictions (theorems) of relativity theories from a few convincing axioms; to eliminate tacit assumptions from relativity by replacing them with explicit axioms formulated in first-order logic (in the spirit of the first-order logic foundation of mathematics and Tarski's axiomatization of geometry); and to investigate the relationship between the axioms and the theorems.
Negative Friction and Reversible Energy Exchange Between Orderly Motion and Phonons in Carbon Nanotube Oscillator

Yang Zhao,Chi-Chiu Ma,GuanHua Chen,ZhiPing Xu,QuanShui Zheng,Qing Jiang

DOI: https://doi.org/10.48550/arXiv.cond-mat/0410124

2004-10-06

Abstract:Energy exchanges between orderly intertube axial motion and vibrational modes are studied for isolated systems of two coaxial carbon nanotubes at temperatures ranging from 300 K to 500 K. It is found that the excess intertube van der Waals energy, depleted from the intertube axial motion, is primarily stored in low-frequency mechanical modes of the oscillator for an extended period of time, and furthermore, such an energy exchange may be reversible. A new nanoscale tribological phenomenon of negative friction is reported for the first time in concentric cylindrical carbon nanotube oscillators.

Mesoscale and Nanoscale Physics,Materials Science
The Principle of Relativity, Kinematics and Algebraic Relations

HanYing Guo,ChaoGuang Huang,HongTu Wu,Bin Zhou

DOI: https://doi.org/10.1007/s11433-010-0162-6

2010-01-01

Abstract:Based on the relativistic principle and the postulate of universal invariant constants (c, l), all kinematic symmetries can be set up as the subsets of the Umov-Weyl-Fock-Hua transformations for the inertial motions. These symmetries are connected to each other via combinations rather than via contractions and deformations.
Ontology of the Theory of Relativity

Salvador D. Escobedo

2023-08-24

Abstract:Both relativistic mechanics and Newtonian mechanics are based on principles that have ontological implications. We propose a series of formalisms that rigorously define the ontology underlying mechanical theories, in order to clarify and formally establish the ontology of the physics of motion. Special attention has been paid to relativistic theories. Through the proposed methodology, the concept of ontological consistency is developed and the conditions required for such consistency to be satisfied in any theory are established. In particular, the consistency test is performed for Newtonian mechanics, special relativity theory, and general relativity theory.

History and Philosophy of Physics,General Relativity and Quantum Cosmology
Visual relativistic mechanics

Karol Urbański

2024-08-14

Abstract:Many formalisms of special relativity are shown in various textbooks. However, even in those where the underlying geometry of Minkowski space is emphasized, the visualisations are lacking. This article aims to remedy this by expressing relativistic concepts in a visual manner, using the full power of hyperbolic trigonometric functions. Minkowski diagrams in energy-momentum space are used and then augmented in comparison with previous uses in literature by direct usage of triangles in Minkowski space. As a proof-of-concept for the advantages of this holistic approach, elegant new derivations of the relativistic rocket equation and the relativistic Doppler effect are presented.

General Relativity and Quantum Cosmology,Classical Physics,Physics Education
The Theory of Relativity - Galileo's Child

Mitchell J. Feigenbaum

DOI: https://doi.org/10.48550/arXiv.0806.1234

2008-06-06

Classical Physics

Abstract:We determine the Lorentz transformations and the kinematic content and dynamical framework of special relativity as purely an extension of Galileo's thoughts. No reference to light is ever required: The theories of relativity are logically independent of any properties of light. The thoughts of Galileo are fully realized in a system of Lorentz transformations with a parameter 1/c^2, some undetermined, universal constant of nature; and are realizable in no other. Isotropy of space plays a deep and pivotal role in all of this, since here three-dimensional space appears at first blush, and persists until the conclusion: Relativity can never correctly be fully developed in just one spatial dimension.
Axiomatization of Special Relativity in First Order Logic

Yi-Chen Luo,Lei Chen,Wan-Ting He,Yong-Ge Ma,Xin-Yu Zhang

DOI: https://doi.org/10.1088/0253-6102/66/1/019

2016-01-01

Communications in Theoretical Physics

Abstract:The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el + . Then we introduce an axiom of mass（Ax Mass） and take four-momentum conservation as an axiom（Ax CFM）in SpecR el + . It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el + is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.
Elementary analysis of the special relativistic combination of velocities, Wigner rotation, and Thomas precession

Kane O'Donnell,Matt Visser

DOI: https://doi.org/10.1088/0143-0807/32/4/016

2011-06-11

Abstract:The purpose of this paper is to provide an elementary introduction to the qualitative and quantitative results of velocity combination in special relativity, including the Wigner rotation and Thomas precession. We utilize only the most familiar tools of special relativity, in arguments presented at three differing levels: (1) utterly elementary, which will suit a first course in relativity; (2) intermediate, to suit a second course; and (3) advanced, to suit higher level students. We then give a summary of useful results, and suggest further reading in this often obscure field.

General Relativity and Quantum Cosmology,Mathematical Physics,Popular Physics
Vienna Circle and Logical Analysis of Relativity Theory

H. Andréka,J. X. Madarász,I. Németi,P. Németi,G. Székely

DOI: https://doi.org/10.1007/978-3-7091-0177-3_11

2011-01-31

Abstract:In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna Circle's (VC) approach to doing science is workable and fruitful when performed with using the insights and tools of mathematical logic acquired since its formation years at the very time of the VC activity. We think that logical positivism was based on the insight and anticipation of what mathematical logic is capable when elaborated to some depth. Logical positivism, in great part represented by VC, influenced and took part in the birth of modern mathematical logic. The members of VC were brave forerunners and pioneers.

Logic,General Relativity and Quantum Cosmology
Generalization of the relativity theory on the arbitrary space-time geometry

Yuri A. Rylov

DOI: https://doi.org/10.48550/arXiv.1007.5108

2010-07-29

Abstract:Contemporary relativity theory is restricted in two points: (1) a use of the Riemannian space-time geometry and (2) a use of inadequate (nonrelativistic) concepts. Reasons of these restrictions are analysed in [1]. Eliminating these restrictions the relativity theory is generalized on the case of non-Riemannian (nonaxiomatizable) space-time geometry. Taking into account a progress of a geometry and introducing adequate relativistic concepts, the elementary particle dynamics is generalized on the case of arbitrary space-time geometry. A use of adequate relativistic concepts admits one to formulate the simple demonstrable dynamics of particles.

General Physics
Lorentz Transformation and General Covariance Principle

Aleks Kleyn

DOI: https://doi.org/10.48550/arXiv.0803.3276

2019-11-18

Abstract:I tell about different mathematical tool that is important in general relativity. The text of the book includes definition of geometrical object, concept of reference frame, geometry of metric-affinne manifold. Using this concept I learn few physical applications: dynamics and Lorentz transformation in gravitational fields, Doppler shift. A reference frame in event space is a smooth field of orthonormal bases. Every reference frame is equipped by anholonomic coordinates. Using anholonomic coordinates allows to find out relative speed of two observers and appropriate Lorentz transformation. Synchronization of a reference frame is an anholonomic time coordinate. Simple calculations show how synchronization influences time measurement in the vicinity of the Earth. Measurement of Doppler shift from the star orbiting the black hole helps to determine mass of the black hole. We call a manifold with torsion and nonmetricity the metric\hyph affine manifold. The nonmetricity leads to a difference between the auto parallel line and the extreme line, and to a change in the expression of the Frenet transport and moving basis. The torsion leads to a change in the Killing equation. We also need to add a similar equation for the connection. The analysis of the Frenet transport leads to the concept of the Cartan transport and an introduction of the connection compatible with the metric tensor. The dynamics of a particle follows to the Cartan transport. We need additional physical constraints to make a nonmetricity observable. Learning how torsion influences on tidal force reveals similarity between tidal equation for geodesic and the Killing equation of second type.

Mathematical Physics
The theory of relativity and the Pythagorean theorem

L. B. Okun

DOI: https://doi.org/10.1070/PU2008v051n06ABEH006552

2008-09-15

Abstract:It is shown that the most important effects of special and general theory of relativity can be understood in a simple and straightforward way. The system of units in which the speed of light $c$ is the unit of velocity allows to cast all formulas in a very simple <a class="link-external link-http" href="http://form.The" rel="external noopener nofollow">this http URL</a> Pythagorean theorem graphically relates energy, momentum and mass. The paper is addressed to those who teach and popularize the theory of relativity.

Classical Physics,Physics Education,Popular Physics
BASIC THEORY OF RELATIVISTIC BIRKHOFFIAN DYNAMICS OF ROTATIONAL SYSTEM

SK Luo,JL Fu,XW Chen

DOI: https://doi.org/10.7498/aps.50.383

IF: 0.906

2001-01-01

Acta Physica Sinica

Abstract:The basic theory of relativistic Birkhoffian dynamics of rotational system is constructed,and the Birkhoffian,Birkhoff's functions,Pfaff action,Pfaff-Birkhoff principle,Pfaff-Birkhoff-D'Alembert principle and Birkhoffian equations are given.The relations among relativistic Lagrangian mechanics,Hamiltonian mechanics and relativistic Birkhoffian dynamics of rotational system are studied.It is proved that the holonomic conserved and holonomic non-conserved rotational relativistic systems can all belong to the rotational relativistic Birkhoffian system.

Logical Analysis of Relativity Theory

ON THE LOW SPEED LIMITS OF LORENTZ'S TRANSFORMATION - HOW RELATIVISTIC EFFECTS RETAIN OR VANISH IN ELECTROMAGNETISM

Comparing Classical and Relativistic Kinematics in First-Order Logic

On The Low Speed Limits of Lorentz's Transformation

A logic road from special relativity to general relativity

First-Order Logic Foundation of Relativity Theories

The Theory of Thermodynamic Relativity

First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Negative Friction and Reversible Energy Exchange Between Orderly Motion and Phonons in Carbon Nanotube Oscillator

The Principle of Relativity, Kinematics and Algebraic Relations

Ontology of the Theory of Relativity

Visual relativistic mechanics

The Theory of Relativity - Galileo's Child

Axiomatization of Special Relativity in First Order Logic

Elementary analysis of the special relativistic combination of velocities, Wigner rotation, and Thomas precession

Vienna Circle and Logical Analysis of Relativity Theory

Generalization of the relativity theory on the arbitrary space-time geometry

Lorentz Transformation and General Covariance Principle

The theory of relativity and the Pythagorean theorem

BASIC THEORY OF RELATIVISTIC BIRKHOFFIAN DYNAMICS OF ROTATIONAL SYSTEM