On the independence problem of Newton's first law

本論文は、ユークリッド幾何学に根ざした新たな「形式的説明」を提供することによってニュートンの第一法則の「独立性問題」に取り組み、その法則の独立した包含を必然とする説明を提示するとともに、以前に提案された諸説の包括的な検討と評価を行う。

要約

この論文を簡単な言葉と日常的な比喩を用いて説明します。

大きな謎：なぜ一つで足りるように見えるのに、二つの法則があるのか？

あなたがビデオゲームのルールブックを読んでいると想像してください。

• ルール 1: 「ボタンを何も押さなければ、キャラクターは静止したままか、一定の速さで一直線に動き続けます。」
• ルール 2: 「もしあなたがボタンを押す（力を加える）なら、キャラクターは加速、減速、または方向転換します。押す力が強いほど、その変化は速くなります。」

現代のゲーマーにとって、ルール 1はルール 2の特別なケースのように見えます。ルール 2 において「ボタン押下」をゼロに設定すれば、自動的にルール 1 が得られるからです。では、なぜゲームデザイナー（アイザック・ニュートン）はこれらを二つの独立したルールとして記述したのでしょうか？なぜ単にルール 2 を列挙し、「ああ、そして何も押さなければ何も起きません」と付け加えなかったのでしょうか？

これがこの論文が取り組む「独立性の問題」です。何世紀にもわたり、人々はニュートンが第一法則を独立したルールとして含めた理由について議論してきました。

従来の説明（私たちがすでに知っている「なぜ」）

この論文の著者以前に、学者たちはいくつかの理由を提示しました。

• 「教師」説: ニュートンは、第二法則の複雑な数学に直面する前に、学生が「力」や「質量」という新しい混乱を招く概念を理解できるよう、あえてそれを独立して記述したのかもしれません。
• 「反逆者」説: それは古い考え（アリストテレスの「物体は自然に運動を停止する」という信念など）に対する修辞的なビンタだったのかもしれません。彼は「おい！押さない限り物体は止まらないんだぞ！」と叫びたかったのです。
• 「定義」説: 第一法則は、第二法則を機能させるために必要な「慣性系（完全な非加速の視点）」を定義するために必要だったのかもしれません。

この論文の著者たちは言います。「これらは興味深いが、ニュートンがそうした『本当の理由』ではないかもしれない」と。

新しい説明その 1：「幾何学」的理由（形式的な説明）

これが論文の主な発見です。著者たちは、その理由が教育や哲学とは無関係で、数学にあると主張します。

比喩：定規 vs 電卓

• ニュートンの数学（ユークリッド幾何学）: ニュートンは古代ギリシャの幾何学（ユークリッド）の言語を用いて自著を記述しました。この古い体系では、線、角、面積といった物理的な形状を扱います。
• 現代の数学（代数）: 現在、私たちは数や変数を用いた代数（$F = ma$ など）を使います。

幾何学における「ゼロ」の問題:
ニュートンの時代、幾何学には比に関する厳格な規則がありました。二つのものを比較できるのは、両方が存在する場合に限られていたのです。

• 線の長さと、……何もないものの長さを比較しようとするのを想像してください。
• ユークリッドの幾何学では、「線」と「線のないもの」の間の比は存在しません。ゼロで割ろうとするようなものです。その体系では、その概念は単に存在しないのです。

解決策:
ニュートンの第二法則は、「力」と「運動の変化」の間の比例（比）として記述されていたため、力と運動の両方が実在するもの（ゼロでないもの）である場合のみ機能しました。

• 力があれば、比が存在します。
• 力がゼロであれば、比は崩壊します。当時の数学は、比例の中に「ゼロ」を扱うことができませんでした。

結論:
ニュートンは第一法則を独立して記述せざるを得ませんでした。なぜなら、彼の数学的な「定規」は、力がゼロである場合を測定できなかったからです。彼は、主要な数学的道具（比例）はその状況を記述できなかったため、「力がない場合、こうなる」と述べるための独立したルールが必要だったのです。

新しい説明その 2：「安全網」的理由（論理的な説明）

著者たちは、第二の支持となるアイデアを提示します。

比喩：基礎 vs 家

• 第一法則は家の基礎のようなものです。「何かが押し出さない限り、物体は現在の状態を維持し続ける」と述べています。これは自然に関する非常に広範で根本的な真実です。
• 第二法則は、その上に建てられた具体的な家です。「押し出す力が、特定の量の加速を引き起こす」と述べています。

要点:
もし明日、「特定の量の加速」（第二法則）が間違っている、あるいは変更が必要である（アインシュタインが宇宙旅行のためにニュートンの法則を変更したように）ことが発見されたとしても、第一法則は依然として真実であり続けます。

• 第一法則は「安全網」です。それは第二法則の具体的な数学に依存しない、自然に関する非常に一般的な基本的な真実を捉えています。屋根（第二法則）が改装されたとしても、その理論全体を支える土台であるため、独立して述べることは重要です。

他の理論についてはどうなのか？

著者たちは、従来の理論（「教師」説や「反逆者」説など）を検証し、主に以下の二つの理由からそれらを説得力が低いと結論づけました。

1. テキストの構造: ニュートンは法則の前に「定義」のセクションを置きました。これは、法則を書く前にすでに用語（運動や空間など）を定義していたことを示唆しています。したがって、法則はそれらの用語を定義するためではなく、物体がどのように振る舞うかを述べるために存在したのです。
2. 「公理」というラベル: ニュートンはそれらを「公理」と呼びました。数学において、公理は自明の真理です。もしニュートンが第一法則を第二法則の単なる退屈な副産物だと考えていたなら、それを独立した根本的な真理としてリストアップしなかったでしょう。

結論

この論文は、ニュートンが二つの独立した法則を書いた最も可能性の高い理由は技術的であると結論づけています。

彼は当時の数学（ユークリッド幾何学）を用いていたため、文字通り「ゼロの力」のケースを含む形で第二法則を記述することが不可能だったのです。物が消滅すると、比例の数学は崩壊しました。したがって、「何も起きない」シナリオを処理するために、独立したルール（第一法則）を記述せざるを得なかったのです。

それは深い哲学的な謎でも、教育上のトリックでもありませんでした。彼が使用していた数学的道具の限界に対する、必要な修正だったのです。

技術概要

技術的概要：ニュートンの第一法則の独立性問題について

問題提起
本論文は、ニュートンの『プリンキピア』に内在する「独立性問題」、すなわち運動の第一法則の明らかな冗長性を取り扱っている。第一法則は、力を受けない物体は静止または等速直線運動の状態を維持すると述べる。現代の用語で $F=ma$と定式化される第二法則は、合力$F$がゼロであれば加速度$a$ もゼロとなることを示唆しており、これは数学的に第一法則と同等である。これにより、ニュートンが第一法則を第二法則の自明な帰結として扱わず、なぜ独立した公理として含めたのかという歴史的かつ論理的な疑問が生じる。

方法論
著者らは、ニュートンが利用した数学的枠組みに焦点を当て、ニュートンの『プリンキピア』の歴史的かつ形式的分析を行う。現代の代数的解釈や教育的な推測に依存するのではなく、本論文は 17 世紀に存在したユークリッド幾何学の特定の定義と「比例」の概念を調査する。方法論には以下が含まれる：

1. テキスト分析：ユークリッド『原論』（特に第 5 巻）における比と比例に関する定義を検討する。
2. 歴史的文脈化：17 世紀から 19 世紀にかけての数学における幾何学的推論から代数的推論への移行をレビューし、ゴールドシュタイン、シラ、グロシュホルツの著作を引用して、ニュートンがどの数学的伝統に従ったかを決定する。
3. 論理的再構成：ニュートンがゼロの量と非ゼロの量をどのように扱ったかを見るために、『プリンキピア』の構造を分析する。

主要な貢献
本論文は、第一法則の独立性に対する 2 つの新しい説明を提案する。主な焦点は「形式的説明」にある。

1. 形式的説明（主要な貢献）：
   著者らは、法則の分離はユークリッド幾何学の数学的形式主義によって必然化されると主張する。ユークリッドの定義において、量同士が比を持つためには、それらが互いに掛け合わせて超えることが可能でなければならない（定義 4）。したがって、ゼロの量は他のいかなる量とも比を持つことができない。

   • ニュートンの第二法則は比例関係として定式化されている。「運動の変化は、印加された動力に比例する」。
   • ユークリッドの定義の下では、力（または運動の変化）がゼロの場合、この比例関係は定義されない。
   • したがって、ニュートンの幾何学的枠組み内で厳密に解釈された第二法則は、ゼロでない力と加速度にのみ適用される。第一法則は、比例の幾何学的定義ではカバーし得ない、力が存在しない場合（ゼロの場合）の物体の振る舞いを明示的に定義するために必要である。
   • これは、$F=0$ を代入することが有効な操作となり、第一法則が自然に導かれる現代の代数式 $F=ma$ と対照的である。

2. 論理的説明（副次的な貢献）：
   著者らは、第一法則は、第二法則の具体的な量的関係が変化しても依然として有効である、より基本的で一般的な原理として機能すると提案する。第二法則が力と加速度の間の比例関係を特定するのに対し、第一法則は力なしで持続する運動状態の存在を確立する。これにより、第二法則の具体的な形式が異なる可能性のある代替的な物理理論（例えば、相対性理論）においても、第一法則は有効な公理として残ることを可能にする。

結果と競合する見解の評価
本論文は、文献に見られる数多くの既存の説明を評価する。これらには以下が含まれる：

• 概念的先行性：第一法則が慣性系や自然運動を定義するという見解。著者らはこれをニュートンの理由として却下し、『プリンキピア』は法則以前に「絶対空間」と運動の定義を導入しており、これらの定義にとって法則は不要であると指摘する。
• 教育的・修辞的理由：法則が明確さのために追加された、あるいはアリストテレス物理学との決別のために加えられたという説。著者らは、これらが公理の論理的構造を説明するには不十分であると主張する。
• 範囲の狭小化：第二法則はゼロでない力（コスロー）または特定の種類の力にのみ適用されるという論点。著者らは、恣意的な範囲制限ではなく、数学的言語そのものの中に根本原因を特定する「形式的説明」が優れていると結論づける。

著者らは、「形式的説明」が最も堅牢な解決策であると結論づける。それは、現代の代数では論理的必然ではないが、ニュートンが用いたユークリッド幾何学においては技術的な必然であることを示すことで、独立性問題を解決する。ニュートンが『Scholium』においてこの「冗長性」に言及しなかった事実は、17 世紀の数学的文脈内では、その分離が自然であり問題視されなかったという見方を支持する。

意義
本論文は、その主要な意義を、修辞的または教育的な推測ではなく、数学的形式主義に依存する「新しい答え」を提供することにあると主張する。ユークリッドの比例の定義に基づいて説明を根拠づけることで、著者らは長年の謎に対する「シンプルで明快な」解決策を提示する。この研究は、あらゆる文脈において第一法則が単に第二法則の特殊なケースであるという誤解を正し、数学的言語の選択（幾何学対代数）が物理法則の論理的構造を根本的に変えることを浮き彫りにすることを目的としている。本論文は新しい実験的応用を提案するものではなく、ニュートンの基礎的著作に対する歴史的・哲学的理解を精緻化することを狙っている。