プリンキピア・マテマティカ

提供: フリー百科事典『ウィキペディア（Wikipedia）』

短縮版『プリンキピア・マテマティカ 56節まで』の表紙

『プリンキピア・マテマティカ』（Principia Mathematica：数学原理）は、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、数学の基礎に関する3巻の仕事である。それは、記号論理学において、明示された公理の一組と推論規則から数学的真理すべてを得る試みである。『プリンキピア』のための主なインスピレーションと動機の1つは論理学に関するフレーゲの初期の仕事で、それがパラドックスをもたらすことをラッセルが発見したのである。

プリンキピアでは、精巧なタイプ・システム（階型理論）を造ることによって、それが避けられた：要素の集合は、要素それ自身のタイプとは異なるタイプからなる（集合は要素ではない：1つの要素は集合ではない）、「すべての集合の集合」や同様の構造を語ることはできない、それはパラドックスをもたらす（ラッセルのパラドックスを参照）。

プリンキピアは、数学論理と哲学においてアリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、広く専門家に考えられている。

現代図書館は、この本を20世紀のノンフィクション書籍上位100のリストの23位に位置づけた^[1]。

[編集] 築かれた基礎の範囲

プリンキピアは、集合論、基数、序数および実数だけをカバーした。実数解析からのより深い定理は含まれていなかったが、知られていた数学の多数が、適用された形式主義で原理的には展開できることが、第3巻の終りまでに専門家に明確になった。そのような展開がどんなに長くなるかもまた明確になった。幾何学の基礎に関する第4巻が計画されていたが、第3巻が完成したとき、著者たちは知的に枯渇したことを認めた。

[編集] 無矛盾性と完全性

残った疑問は

プリンキピアの公理から矛盾が導かれるかどうか（無矛盾性の問題）
証明も反証もされない数学の言明が体系内に存在するかどうか（完全性の問題）

であった。命題論理自体は無矛盾で完全であると知られていたが、同じことはプリンキピアの集合論の公理に関しては確立されていなかった。(ヒルベルトの第2問題を参照)

ゲーデルの不完全性定理は、これら2つの関連する問題に予期せぬ光を投げかけた。

ゲーデルの第1不完全性定理は、プリンキピアが無矛盾かつ完全であることはできないことを示した。定理によれば、プリンキピアのような）十分に強力な論理体系には、それぞれ本質的に「言明Gは証明不可能である」と読める言明Gが存在する。このような言明は、キャッチ22のような種類で、Gが証明可能であればそれは偽で、したがって体系は矛盾しており、Gが証明不可能であればそれは真で、したがって体系は不完全である。

ゲーデルの第2不完全性定理は、基本算術を展開するどんな形式体系も、それを使って自己の無矛盾性を証明することはできない、と言う。

したがって、「プリンキピアの体系は無矛盾である」という言明は、体系内に矛盾がある（この場合、それが真かつ偽と証明されうる）のでない限り、プリンキピアの体系内で証明することはできない。

[編集] 批判

ウィトゲンシュタインは、（たとえば、数学の基礎に関する1939年ケンブリッジでの講議で）さまざまな論拠でプリンキピアを批判した。たとえば、

それは算術のための基本的な基礎を明らかにすることを意味する。しかし、それは基本的な数えることのような、我々の日々の算術練習である。数えることとプリンキピアの間に不一致が繰り返し起これば、それは日々の数えることの誤りの証拠としてではなく、プリンキピアにおける誤りの証拠として扱われるだろう（たとえば、プリンキピアは数や足し算を正しく特徴づけなかったと）。
プリンキピアの計算方法は、実際には非常に小さい数について使えるだけである。大きい数（たとえば10億）を用いて計算するには、この公式はあまりに長くなり、いくつかの近道の方法を使わねばならないだろうが、その方法は疑いなく、数えることのような日々の技術に（または帰納法のような基本的でない―したがって疑わしい―方法に）依るだろう。したがって再び、プリンキピアは日々の技術に依っているのであり、逆ではない。

ただし、ウィトゲンシュタインはプリンキピアがそれにもかかわらず、日々の算術のある面をより明確にするかもしれないと認めた。

[編集] 記号

プリンキピアで使用される主な記号^[2]

記号	意味
⊢	公理や定理の肯定。
Df	定義の印。定義の前に書く。
.　:　:.　::　など	記号の有効範囲を定めるための点。現代の論理学ではかっこ。
$\smallsmile$	または
⊃	もし・・・ならば
~	・・・でない
≡	・・・である時、その時に限り
.	かつ
∃	存在する there exists　例．(∃x)φx　φxであるようなxが存在する。
( )	すべての for all(every)　例．(x)φx　あらゆるxについてφxである。現代記法では∀。
=	同一性
xRy	xはyに対して関係Rにある。
R'y	xRyであるようなx。

[編集] 引用

$*54\cdot43.\ \vdash :.\ \alpha,\beta\in 1.\supset:\alpha\smallfrown\beta=\Lambda .\equiv.\alpha \smallsmile\beta\in 2$

D e m .

$\vdash. *54\cdot26.\supset\ \vdash:.\alpha=\iota'x.\beta=\iota'y.\supset:\alpha\smallsmile\beta\in 2.\equiv.x\neq y.$

$[*51.231]\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \equiv.\iota'x.\smallfrown\iota'y=\Lambda.$

$[*13.12]\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \equiv.\alpha\smallfrown\beta=\Lambda\ \ \ \ \ \ (1)$

$\vdash.(1).*11\cdot 11\cdot 35.\supset$

$\vdash:.(\exists x,y).\alpha=\iota'x.\beta=\iota'y.\supset:\alpha \smallsmile\beta\in 2.\equiv.\alpha\smallfrown\beta=\Lambda\ \ \ \ \ (2)$

$\vdash.(2).*11\cdot 54.*52\cdot 1.\supset \ \vdash.\$ Prop

From this proposition it will follow,when arithmetical addition has been defined,that 1+1=2.

算術的足し算が定義されていれば、この命題から1+1=2が従う。1巻,第1版のp.379(第2版のp.362;要約版のp.360)
この証明は、*110.643 で「上の命題は時折り有用である」というコメント付きで実際に完了する(2巻、第1版のp.86、1巻から通算して752ページめ)。

[編集] 注釈

^ Modern Library[1]
^ The Notation in Principia Mathematica[2]

[編集] 関連項目

[編集] 参考文献

原著

Whitehead, Alfred North, and Bertrand Russell. Principia Mathematica, 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as Principia Mathematica to *56, Cambridge University Press, 1962.

2次文献

Ivor Grattan-Guinness (2000) The Search for Mathematical Roots 1870-1940. Princeton Univ. Press.

邦訳

『プリンキピア･マテマティカ序論』岡本賢吾・戸田山和久・加地大介訳、哲学書房〈叢書思考の生成 1〉、1988年7月。ISBN 4-88679-023-2。 - 1910年発行の初版第1巻から、「はじめに preface」と「第一版への序論 Introduction」を翻訳したもの。

[編集] 外部リンク

スタンフォード哲学百科事典:
- Principia Mathematica -- by A. D. Irvine.
- The Notation in Principia Mathematica -- by Bernard Linsky.
Principia Mathematica online (University of Michigan Historical Math Collection):
Proposition *54.43 in a more modern notation (Metamath)

[0] Modern Library[1]

[1] The Notation in Principia Mathematica[2]

[1]

[2]