[論文レビュー] Comparing Classical and Relativistic Kinematics in First-Order Logic

Koen Lefever, Gergely Székely|arXiv (Cornell University)|Jul 13, 2017

History and Theory of Mathematics参考文献 16被引用数 3

ひとこと要約

この論文は一階論理を用いて、古典的運動論と相対論的運動論を形式的に比較し、特殊相対性理論が時間と空間を再定義することで、古典的運動論内に論理的に解釈可能であることを示している。主な結果は、『エーテル』仮説を含む古典的運動論と特殊相対性理論との間で定義的同等性が成立することであり、古典的から相対論的物理学への移行がエーテルの拒否と同時性・測定の再定義にかかっていることを示している。

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.

研究の動機と目的

• 古典的運動論と相対論的運動論の関係を、低速近似を越えて形式的・論理的に行う理解を提供すること。
• 特殊相対性理論の公理が、一階論理を用いてどのように古典的運動論に論理的に翻訳できるかを調査すること。
• 古典的運動論と特殊相対性理論とが定義的に同等となる条件を特定すること。
• 古典的から相対論的物理学への認識論的転換が、経験的内容の変化ではなく概念的枠組みの変更であることを明確にすること。
• 定義的同等性と論理的解釈を用いて、両理論間の正確な公理的差異を特定すること。

提案手法

• アンドレカ＝ネーメティ学派の代数論理フレームワークに従い、等式を含む多様なソートを持つ一階論理で、古典的運動論と特殊相対性理論の両方を公理化する。
• 特殊相対性理論の言語から古典的運動論への論理的翻訳関数を定義し、特殊相対性理論の公理を古典的運動論の帰結に写像する。
• エーテルに基づく観測者に依存しない性質（EOI）の概念を導入し、エーテルに基づく観測者に対する不変性を形式化する。
• 定義的同等性を用いて、光より遅い慣性系のみを含む古典的運動論が、特権的なエーテルフレームを持つ古典的運動論と論理的に同等であることを示す。
• アックスの妥当なモデルにインspiredされ、古典力学にポアンカレ＝アインシュタイン同期化を適用し、相対論的同時性をモデル化する。
• 特殊相対性理論に『エーテル』公理を追加すると、定義的同等性の推移性により、古典的運動論と定義的に同等な理論が得られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 特殊相対性理論の公理は、一階論理を用いてどのように古典的運動論の文脈内で論理的に解釈できるか？
• RQ2 どのような論理的条件が、古典的運動論と特殊相対性理論との定義的同等性を生じさせるか？
• RQ3 『エーテル』は、論理的レベルでの古典的運動論と相対論的運動論の区別において、果たす役割は何か？
• RQ4 特殊相対性理論における時間と空間の再定義は、どのように古典的仮定から論理的翻訳によって生じるか？
• RQ5 古典的運動論から相対論的運動論への移行が、公理的論理枠組み内での知識獲得プロセスとして完全に捉えられるか？

主な発見

• 特殊相対性理論の公理は、適切な翻訳を適用すれば、古典的運動論の言語内で論理的に解釈可能であり、これは古典的運動論の帰結であることを意味する。
• 光より遅い慣性系のみを含む古典的運動論は、特権的なエーテルフレームを持つ古典的運動論と定義的に同等である。
• 『エーテル』公理を追加した特殊相対性理論は、定義的同等性の推移性により、古典的運動論と定義的に同等である。
• 古典的運動論と相対論的運動論との主な差異は、経験的内容ではなく、エーテルの拒否とポアンカレ＝アインシュタイン同期化による時間と空間の再定義にある。
• 論理的枠組みにより、すべての仮定が明示的であり、機械による検証が可能となり、形式的証明の検証が可能になる。
• エーテル観測者に依存しない性質（EOI）の使用により、特定の論理式がエーテル観測者の選択に依存せず不変であることを形式的に証明でき、論理的翻訳の堅牢性を裏付ける。