プリンキピア・マテマティカ
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2023年10月) |

『プリンキピア・マテマティカ』(Principia Mathematica: 数学原理)は、数学の基礎に関する著作である。
アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、全3巻からなるそれは、記号論理学において、明示された公理の一組と推論規則から、数学的真理すべてを得る試みである。
『数学原理』のための主要な霊感と動機の1つは論理学に関するフレーゲの初期の仕事である。それがラッセルのパラドックスをもたらすことをラッセルが発見したのは本書が成立する以前のことである。プリンキピアは、哲学と数学と論理学において、アリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、著者の一人であるホワイトヘッドを含めた多くの専門家に考えられている。
モダン・ライブラリーは、この本を20世紀のノンフィクション書籍上位100のリスト(Modern Library 100 Best Nonfiction)の23位に位置づけた[1]。
築かれた基礎の範囲
プリンキピアは、集合論、基数、序数および実数だけをカバーした。実数解析からのより深い定理は含まれていなかったが、知られていた数学の多数が、適用された形式主義で原理的には展開できることが、第3巻の終りまでに明確になった。そのような展開がどんなに長くなるかも同様に明確になった。幾何学についての第4巻が計画されていたが、第3巻が完成した後で、著者たちは知的に枯渇したことを認めた。
無矛盾性と完全性
残された当時の関心は以下の2件であった。
- プリンキピアの公理から矛盾が導かれるかどうか(無矛盾性の問題)
- 証明も反証もされない数学の言明が体系内に存在するかどうか(完全性の問題)
命題論理自体は無矛盾で完全であると知られていたが、同じことはプリンキピアの集合論の公理に関しては確立されていなかった。(ヒルベルトの第2問題を参照)
ゲーデルの不完全性定理は、これら2つの関連する問題に予期せぬ光を投げかけた。
ゲーデルの第1不完全性定理は、プリンキピアが無矛盾かつ完全であることはできないことを示した。定理によれば、プリンキピアのような、十分に強力な論理体系には、それぞれ本質的に「言明Gは証明不可能である」と読める言明Gが存在する。このような言明は、キャッチ22とよばれる種類であり、Gが証明可能であればそれは偽で、したがって体系は矛盾しており、Gが証明不可能であればそれは真で、したがって体系は不完全である。
ゲーデルの第2不完全性定理は、基本算術を展開するどんな形式体系も、それを使って自己の無矛盾性を証明することはできない、と言う。
したがって、「プリンキピアの体系は無矛盾である」という言明は、体系内に矛盾がある場合のみで、プリンキピアの体系内で証明することはできない。
批判
ウィトゲンシュタインは、(たとえば、数学の基礎に関する1939年ケンブリッジでの講義で)さまざまな論拠でプリンキピアを批判した。たとえば、
- それは算術のための基本的な基礎を明らかにすることを意味する。しかし、それは基本的な数えることのような、我々の日々の算術練習である。数えることとプリンキピアの間に不一致が繰り返し起これば、それは日々の数えることの誤りの証拠としてではなく、プリンキピアにおける誤りの証拠として扱われるだろう(たとえば、プリンキピアは数や足し算を正しく特徴づけなかったと)。
- プリンキピアの計算方法は、実際には非常に小さい数について使えるだけである。大きい数(たとえば10億)を用いて計算するには、この公式はあまりに長くなり、いくつかの近道の方法を使わねばならないだろうが、その方法は疑いなく、数えることのような日々の技術に(または帰納法のような基本的でない―したがって疑わしい―方法に)依るだろう。したがって再び、プリンキピアは日々の技術に依っているのであり、逆ではない。
ただし、ウィトゲンシュタインはプリンキピアがそれにもかかわらず、日々の算術のある面をより明確にするかもしれないと認めた。
記号
プリンキピアで使用される主な記号[2]
記号 | 意味 |
---|---|
⊢ | 公理や定理の肯定。 |
Df | 定義の印。定義の前に書く。 |
. : :. :: など |
記号の有効範囲を定めるための点。現代の論理学ではかっこ。 |
![]() | この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |
固有名詞の分類
- プリンキピア・マテマティカのページへのリンク