プリンキピア・マテマティカ（Principia Mathematica）：ホワイトヘッドとラッセルの数学基礎論

プリンキピア・マテマティカ解説：ホワイトヘッドとラッセルによる数学基礎論の野心、記号論理の構築とゲーデル不完全性定理がもたらした歴史的転換を詳述。

物理学の基本法則を含むアイザック・ニュートンの著書については，Philosophiæ Naturalis Principia Mathematicaを参照のこと．

Principia Mathematica』は，Alfred North WhiteheadとBertrand Russellによる数学の基礎に関する3巻の著作です．1910年，1912年，1913年に出版されました．1927年に第2版が出版され，第2版の重要な序論と，巻末に別の注釈が付けられた。PMとして知られることが多い。

本書は、すべての数学的真理が原理的に証明できる記号論理における公理と推論規則のセットを記述しようとする試みであった。この野心的なプロジェクトは、数学と哲学の歴史の中で非常に重要である。著者らは、このようなプロジェクトは可能であると信じていた。しかし、1931年、ゲーデルの不完全性定理によって、PMや他のどのような試みも、決してこの目標には到達できないことが証明された。提案された公理と推論規則のいかなる集合に対しても、システムが矛盾していなければならないか、あるいは実際にはそれらから推論できない数学の真理が存在しなければならない。

PMの主なインスピレーションと動機の一つは、ゴットロブ・フレゲの論理学に関する初期の仕事でした。

PMはラッセルの1903年の『数学の原理』と混同されることはありません。PMは次のように述べています。"この作品は，もともと私たちが数学の原理の第２巻になることを意図していました...しかし、私たちが進むにつれて、このテーマは私たちが想定していたよりも非常に大きなものであることがますます明らかになってきました...."

モダン・ライブラリー』は、20世紀の英語のノンフィクションのトップ100冊の中で23位にランクインしています。

概要と目的

Principia Mathematica（PM）は、論理主義（logicism）の立場から、数学の全体系を厳密な記号論理の公理と推論規則に還元することを目指した大著です。ホワイトヘッドとラッセルは、数学の真理が論理的に導出できると考え、基本的な論理記法と定義を積み上げて、算術や集合論、実解析の基礎に至るまでを形式的に構築しようとしました。

構成と主要内容

• 3巻構成（第1巻：1910年、第2巻：1912年、第3巻：1913年）。1927年に改訂第2版が出され、序論や注釈が追加されました。
• 論理的な公理と推論規則の体系化、述語論理の扱い、クラス（集合）・関係・順序の理論、数論や実数の構築などが順を追って示されています。
• しばしば話題になる「1+1=2」の証明は本書の中に含まれており、形式的な導出がいかに冗長で細かいかを示す例として引用されます（有名な命題 *54.43 など）。

主要な概念と手法

• 型理論（theory of types）：ラッセル自身のパラドクス（ラッセルのパラドクス）に対処するために導入された。自己言及的な集合の記述を禁じることで矛盾を避けようとする。PMでは「階層化」された型の体系が採られ、さらに冗長さを補うために還元公理（axiom of reducibility）などが導入されました。
• 記法と様式：PMの記法は非常に独特で複雑（点記法や長い構成の公式など）であり、読み手には習熟が必要でした。これは形式的厳密さを追求した結果でもありますが、批判の対象にもなりました。
• フレゲからの継承：フレゲの論理学的枠組みと記法、そして数学を論理に還元するという志向が重要な出発点でした。

歴史的意義と影響

PMは20世紀初頭の論理学と分析哲学、数学基礎論に多大な影響を与えました。論理の精密化、形式化の試みはその後の研究に強い刺激を与え、ゲーデル、ヒルベルト、チャーチ、チューリングらの仕事へとつながります。特に、数学の形式化に関する議論を深化させ、集合論の公理系（たとえばツェルメロ＝フレンケル集合論 ZF）や一階述語論理が標準的な道具として確立される契機にもなりました。

ゲーデルの不完全性定理との関係

1931年にクルト・ゲーデルが証明した不完全性定理は、任意の十分に強い再帰的公理体系（算術を含む体系）について、「体系が無矛盾であるならばその体系では証明できない真なる命題が存在する」ことを示しました。これはPMの根本的な目標、すなわち「すべての数学的真理を（決定的に）形式体系から導き出す」ことが達成不可能であることを意味します。したがってPMの野心的な終局的目的は達成されませんでしたが、PM自体が論理学の発展に果たした役割は不変です。

批判と限界

• PMの型理論や還元公理は複雑で、必ずしも数学者一般に受け入れられるものではありませんでした。実務的な数学の多くは、より簡潔で扱いやすい公理系（例：ZF集合論）によって基礎づけられるようになりました。
• 記法と論述の繁雑さから、PMそのものが日常的な数学の道具として広く採用されるには至りませんでした。

評価と遺産

PMは形式主義的な潮流とは異なる論理主義の代表作として高く評価されます。哲学的・歴史的に重要な成果を多く含み、20世紀の思想に深い影響を与えました。数学的には直接の後継というよりも、論理学の発展や計算理論、人工知能、形式手法へとつながる思想的出発点を提供した点で大きな遺産を残しました。

補遺：読みどころと現代的視点

現代の論理学・基礎論の入門書や教科書では、PMの記法そのものを学ぶ機会は減っていますが、PMが提示した問題（自己言及、記述の階層化、形式化の限界など）は今なお学術的関心の中心です。読み物としては、ラッセルとホワイトヘッドの雄大な試みを追体験することで、数学・哲学・論理学それぞれの考え方の変遷を理解する助けになります。

参考になる主題：論理主義、ラッセルのパラドクス、型理論、還元公理、ゲーデルの不完全性定理、ZF集合論、形式化の歴史。

質問と回答

Q:アイザック・ニュートンの著書のタイトルは何ですか?

Q:『プリンキピア・マテマティカ』は誰が書いたのですか?

Q:『プリンキピア・マテマティカ』はいつ出版されたのですか?

Q: 著者はこの本で何ができると考えていたのですか?

Q: ゲーデルの不完全性定理は、この目標が不可能であることをどのように証明したのですか?

Q: 誰がPMにインスピレーションを与え、動機づけをしたのでしょうか?

Q:ラッセルが1903年に発表した『数学の原理』とどう違うのか?

文字で検索