Peacock's Principle as a Conservative Strategy

この論文は、非可換代数の登場によってペacockの永続性の原理が無効化されたという見解を誤りとして退け、同原理をヒュームの論理法観念に基づく「可能な限り法則を維持する保守的戦略」として再解釈し、ハミルトンが四元数微積分の発展においてまさにこの戦略に従ったことを示すものである。

要約

🏰 物語の舞台：「数学のルール」という城

まず、ピーコックが考えていた「永続性の原理」を、**「古い城の設計図」**に例えてみましょう。

• 算術代数（Arithmetical Algebra）： 昔からある、正の整数（1, 2, 3...）だけを使う「古い城」。ここでは「掛け算は順番を変えても同じ（A×B = B×A）」というルールが絶対でした。
• 記号代数（Symbolical Algebra）： 整数だけでなく、負の数や分数、もっと複雑なものを扱う「新しい拡張された城」。

ピーコックの主張：
「新しい城を建てる時、古い城の設計図（ルール）を、できるだけそのまま引き継いでほしい！」
これが「永続性の原理」です。新しい数学を作っても、古い数学のルールが通用する限りは、それを維持しなさいという考え方です。

---

🚨 問題発生：「非可換」の出現

しかし、19 世紀半ば、ハミルトンという数学者が**「四元数（クォータニオン）」という新しい数学を発見しました。
これは、「掛け算の順番を変えると、答えが変わってしまう（A×B ≠ B×A）」**という、古い城のルールを破る不思議な世界でした。

これを見て、後の数学者（ラッセルなど）はこう言いました。

「ほらね！ピーコックの『古いルールを維持しろ』という原理は、四元数という新しい発見によって完全に破綻（バグ）したんだ！古い設計図はもう使えない！」

---

🕵️‍♂️ 論文の主張：「実は、ピーコックは賢かった！」

著者のイリアン・トader さんは、この「破綻説」は大きな誤解だと指摘します。

1. ピーコックは「絶対主義」じゃなかった

ピーコックは「古いルールを絶対に守らなければいけない」と言っていたわけではありません。
彼の考えはもっと柔軟でした。

「新しい城を建てる時は、できるだけ古い設計図を維持しよう。でも、どうしても維持できない理由があるなら、ルールを変えても OKだよ」

これを**「慎重な保守戦略（Deliberative Conservatism）」**と呼びます。

• 例え話： 家を増築する時、元の柱（古いルール）はできるだけ残したい。でも、もし新しい部屋を作るために柱を抜かなければならないなら、**「抜く理由が、残す理由よりも圧倒的に強い場合」**に限って、柱を抜くのは許される、という考え方です。

2. 哲学者ヒュームの影響

この考え方は、哲学者デヴィッド・ヒュームが言った**「人間の思考の法則」**に似ています。
ヒュームは、「人間は習慣や法則をできるだけ守るべきだが、もし強い理由があれば、その法則を破ることもあり得る」と言っていました。
ピーコックも同じで、「計算に便利だからルールは守るべきだが、新しい数学の必要性がそれを上回るなら、ルールを変えるべきだ」と考えていたのです。

3. ハミルトンの「苦悩」が証明している

ハミルトンが四元数を作った過程を見ると、彼は**「非可換（順番を変えると違う）」というルールを、本当に嫌々ながら受け入れた**ことがわかります。

• ハミルトンの葛藤：
  • 「掛け算の順番を変えても同じ（可換性）」というルールは、絶対に守りたい！
  • でも、3 次元空間のベクトルを掛け算しようとすると、どうしても順番を変えないと矛盾が起きる！
  • 「可換性を維持する理由」vs「可換性を破って新しい世界を開く理由」を天秤にかけました。
  • 結果： 「新しい世界を開く理由」の方が圧倒的に重かったため、**「仕方ない、ルールを破ろう」**と決断しました。

著者は、このハミルトンの**「慎重な決断プロセス」こそが、ピーコックの「永続性の原理」の真骨頂だと主張します。
つまり、「ルールを破ったからといって、ピーコックの原理が間違っていたわけではない。むしろ、『破るべきか、守るべきか』を真剣に考えた結果、破ることを決めた**のが、ピーコックの原理の正しい使い方だった」というわけです。

---

🎭 結論：「例外」は原理の失敗ではない

この論文のメッセージをまとめると、以下のようになります。

1. 「永続性の原理」は「絶対命令」ではない。
   「できるだけ守れ」という**「努力目標」であり、「どうしても守れないなら変えていい」という「例外規定」**を含んでいる。
2. 四元数は原理を否定したのではなく、適用された。
   ハミルトンは、古いルール（可換性）を捨てざるを得ないほど強い理由があったからこそ、新しい数学を作った。これはピーコックの考え方に沿った「慎重な保守戦略」の成功例だ。
3. 数学は「柔軟なルールブック」である。
   数学のルールは、状況に応じて「守るべきか」「破るべきか」を話し合って決めるもの。ピーコックは、その**「話し合いの重要性」**を説いていたのだ。

🌟 一言で言うと

「ピーコックは『古いルールは絶対守れ！』と言ったのではなく、**『新しい世界を作る時は、古いルールをできるだけ守りながら、どうしても無理な時は勇気を持って変えなさい』**と言っていたんだ。ハミルトンが四元数を作ったのは、まさにその『勇気ある決断』だったんだよ！」

このように、論文は「数学の歴史における誤解」を解きほぐし、古い考え方が実は現代の数学の柔軟な発展を支えていたことを示しています。

技術概要

以下は、Iulian D. Toader による論文「Peacock's Principle as a Conservative Strategy（ペイコックの原理と保守的戦略）」の詳細な技術的要約です。

1. 問題設定（Problem）

数学史および科学哲学において、ジョージ・ペイコック（George Peacock）が提唱した「等価形式の永続性の原理（Principle of the Permanence of Equivalent Forms）」は、ウィリアム・ハミルトン（William Hamilton）による非可換な四元数（quaternions）の導入によって無効化された、あるいは「数学の発展を縛る拘束具（strait-jacket）」であったという批判が広く存在する。

• 従来の見解: ウィリアム・エールド（William Ewald）やバートランド・ラッセル（Bertrand Russell）らは、ペイコックの原理がすべての算術法則（特に可換性や結合律）をすべての数体系に保存することを要求していると解釈し、非可換代数の登場がその原理の破綻を示したと主張してきた。
• 著者の疑問: しかし、ペイコック自身がハミルトンの四元数を好意的に受け入れ、ハミルトン自身がペイコックの原理を自身の数学的探求に応用していたという歴史的事実と、上記の「無効化」という解釈は矛盾している。なぜ彼らは原理を支持し続けたのか？非可換性はペイコックの原理と両立し得るのか？

2. 研究方法（Methodology）

著者は、ペイコックの著作（1830 年、1833 年、1842 年、1845 年の『代数学論』など）および同時代の論争（デ・モルガン、ケランド、オイラーの無限級数など）を歴史的・分析的に再検討し、哲学的な文脈を付与することで再解釈を試みる。

• 歴史的文献分析: ペイコックの原理の定式化の変遷（直接命題と逆命題の扱いの変化）を精査し、彼が「等価形式」や「下位科学（算術代数学）」と「記号代数学」の関係についてどう考えていたかを明らかにする。
• 反例の検討: 階乗関数（factorial function）やオイラーの無限級数といった、原理の普遍性を脅かすと考えられた具体的な数学的対象について、ペイコック自身がこれらをどう扱おうとしたか（あるいは拒絶しようとしたか）を分析する。
• 哲学的枠組みの適用: デヴィッド・ヒューム（David Hume）の「推論の法則（laws of reasoning）」に関する保守的戦略（保存すべき法則は可能な限り保存し、例外は十分な理由がある場合にのみ許容する）という概念を、ペイコックの原理の哲学的基盤として提示する。
• ハミルトンの思考過程の追跡: ハミルトンが四元数を発見する過程で、分配律、結合律、可換性の各法則をどのように評価し、なぜ可換性のみを放棄したのかを詳細に検証する。

3. 主要な貢献と発見（Key Contributions & Results）

A. ペイコックの原理の再定義と「直鎖的」解釈の否定

• 原理の変遷: ペイコックの原理は、初期の定式化（1830 年）では「直接命題（記号代数学の法則は算術代数学でも成り立つ）」と「逆命題（算術代数学の法則は記号代数学でも成り立つ）」の両方を含んでいたが、後期（1842 年・1845 年）には「直接命題」が削除され、主に「逆命題」のみが強調された。
• 規則と定理の区別: 著者は、ペイコックが「直接命題」を定理（結果）にのみ適用し、演算の規則（定義）には適用しなかったと論じる。つまり、記号代数学には算術代数学には存在しない新しい演算規則（例：非可換乗算）を導入することが許容されていた。
• 下位科学の役割: 算術代数学は記号代数学に対して「示唆的（suggestive）」ではあるが「制限的（restrictive）」ではない。つまり、意味は引き継がれないが、形式は可能な限り保存される。

B. 例外（階乗関数とオイラーの級数）の扱い

• 不変性の条件: ペイコックは、等価形式が原理の範囲内にあるためには「不変性（invariance）」、すなわち変数の値が変わっても形式の構成（constitution）が変化しないことを要求していた。
• 階乗関数とガンマ関数: 階乗関数は実数全体では定義されず、ガンマ関数を用いて拡張しようとすると、負の値で発散し形式が変化する。ペイコックはこれを「形式の変化」として捉え、原理の範囲外、あるいは例外として扱わざるを得なかった。
• オイラーの無限級数: 特定の値で分母がゼロになり形式が崩壊するため、これも「定義可能な操作」から導かれた等価形式とは見なされず、原理の適用範囲外とされた。
• 結論: これらの例外は、原理が「絶対的な普遍法則」ではなく、条件付きの戦略であることを示唆している。

C. ヒューム的「保守的戦略」としての解釈

• 哲学的基盤: 著者は、ペイコックの原理を、ヒュームが「推論の法則」について提唱した戦略として再解釈する。ヒュームによれば、推論の法則は実用的な有用性（信念形成や生活の遂行）のために「可能な限り保存」されるべきだが、それが不可能な場合（十分な理由がある場合）には例外が許容される。
• 原理の再定式: 「ペイコックの原理とは、算術代数学の等価形式を、その有用性ゆえに可能な限り保存しようとする保守的戦略である」と定義される。
• 例外の正当化: 保存の理由（計算の有用性など）よりも、放棄する理由（新しい数学的構造の必要性など）が重く weighed（秤量）された場合、法則の違反（例外）は原理に反しない。

D. ハミルトンの四元数と可換性の放棄

• ハミルトンの思考プロセス: ハミルトンは、3 次元空間における線分の乗算を定義する際、分配律と結合律は保存すべきだと考え、当初は可換性も保存しようとした。
• 決定打: しかし、可換性を維持しようとすると、線分の積が一意に定まらない、あるいは 3 次元ベクトルとして表現できないという問題に直面した。
• 戦略的放棄: ハミルトンは、可換性を放棄する理由（幾何学的整合性、一意性の確保）が、可換性を維持する理由（算術的慣習）よりも重いと判断し、非可換性を導入した。
• 結果: ハミルトンはペイコックの原理（可能な限り保存する）に従い、分配律と結合律は維持しつつ、可換性のみを「十分な理由」に基づいて放棄した。これは原理の無効化ではなく、原理の正統な適用であった。

4. 結論と意義（Significance）

• 批判の誤りの指摘: 「ペイコックの原理は非可換代数によって無効化された」というラッセルやエールドらの批判は誤りである。ハミルトンが原理を尊重し、かつ非可換性を導入できたのは、原理が「絶対的な保存」ではなく「可能な限りの保存（deliberative conservatism）」を意図していたからである。
• 数学的発展の理解: この解釈は、19 世紀から 20 世紀にかけての数学（ハミルトン、ハンケル、フォン・ノイマンなど）がなぜ「永続性の原理」を支持し続けたのかを説明する。彼らは法則を盲目的に守るのではなく、実用的・理論的な必要性に基づいて、どの法則を維持し、どの法則を例外として放棄するかを慎重に吟味（deliberation）していた。
• 哲学的含意: 数学的対象の拡張や抽象化は、単なる恣意的な変更ではなく、既存の法則の有用性と新しい構造の必要性との間の「秤量」の結果として理解されるべきである。ペイコックの原理は、数学的革新を導くための保守的かつ柔軟な方法論として再評価されるべきである。

要約すれば、この論文はペイコックの原理を「硬直的な法則」から「文脈依存的な保守的戦略」へと再解釈し、非可換代数の登場が原理の破綻ではなく、その戦略的な適用の証左であることを歴史的・哲学的に論証したものである。