ラッセルのパラドックス
出典: フリー百科事典『ウィキペディア(Wikipedia)』
ラッセルのパラドックス(英語:Russell's paradox)とは、集合論における矛盾を指摘するパラドックスである。1902年に、ゴットロープ・フレーゲの『算術の基本法則』にある矛盾を指摘したバートランド・ラッセルの書簡の記述である。これはフレーゲの『算術の基本法則 II』(Grundgesetze der Arithmetik II)に収録されている。
目次 |
[編集] 概要
説明の便宜上、自分自身をその要素として含まない集合を A 集合、含む集合を B 集合と呼ぶことにする。排中律を認めて背理法による議論を可能にした通常の論理体系では、任意の集合は A 集合であるか B 集合であるかのどちらかである。
「自分自身をその要素として含まない集合」とは具体例を挙げると、「亀の集合」や「丸いものの集合」や「赤いものの集合」のような、集合それ自体が亀や丸いあるいは赤いものでない集合のことである。また、「自分自身をその要素として含む集合」とは、「不可視物体の集合」や「無生物の集合」、「赤くないものの集合」、「集合の集合」のような、集合それ自体が自身の要素の条件としてあげる条件に合致する集合のことである。ここで、A 集合すべての集合を S とする。S も集合である以上、A か B のいずれかに分類されえるように見える。そのどちらを仮定しても以下のようにして矛盾が生じ、ラッセルのパラドックスとよばれる状況が得られる。
- S が A 集合であるとする。S は A 集合なので、A 集合の条件から S は S の要素にはなりえない。しかしS は A 集合なので S の条件、「S はすべての A 集合の集合である」より S は自身の要素となるはずである。よって矛盾。
- S が B 集合であるとする。S は B 集合なので、B 集合の条件から S は S の要素となるはずである。しかし SはA 集合しか含んでいなので、A集合の条件からS の要素となることはない。よって矛盾。
以上から、S を A 集合と仮定しても、B 集合と仮定しても矛盾が生じることが証明された。
[編集] 公理的集合論との関係
ラッセルの時代には何をもって集合と呼ぶかがはっきりしていなかったので、上記の議論は集合論の矛盾を指摘するかに見えた。しかし公理的集合論によって何をもって集合とするかについての形式的な整備が進むとともに、上記の議論のはじめに考えたような素朴(だか超越的な)S の構成法は集合についての定義としては許容されないような体系が構築された。
結論からいうと、ラッセル自身の指摘は「前述のようなSを考えると矛盾が起こり、集合論は矛盾を含む」というものであったが、公理的集合論ではこれを「前述のようなSを考えると矛盾が起こる。従ってSは集合ではない」と解釈する。
集合論の代表的な公理系である ZFC では、S のような「集合もどき」ではない「まっとうな集合」を作成するために構成的な手法を与えている。すなわち基礎となる集合(空集合)に、「与えられた2つの集合を元とする集合」操作や合併・共通分操作、冪集合といった構成を有限回施してできるものはまっとうな集合として認められる。
しかしここで、「これらの構成的集合以外は集合ではない」とまでは集合の範疇がされていないことに注意しなければならない。このような構成可能性に関する要請のもとでは一般連続体仮説が導かれることがクルト・ゲーデルによって示された。
内包公理「φ(x) が成り立つ x 全体の集合が存在する」を、どんな条件 φ(x) に対しても無制限に認めると、上記の集合 S の存在も証明され矛盾する。そのため、公理的集合論では、無制限な内包公理よりも弱い形の集合の存在公理が採用されている。
ZFC では、上記の集合 S が存在しないことから、全ての集合の集合が存在しないことを導くことができる。なぜならば、仮に全ての集合の集合が存在すれば、分出公理を適用することで、上記の集合 S の存在が導かれるからである。
なお、「ラッセルのパラドックスを回避するために正則性公理が導入された」との通説も誤りである。
[編集] その他
通説では1902年のラッセルのフレーゲ宛て書簡が「ラッセルのパラドックス」の起源とされている。しかし、1899年から1900年頃にエルンスト・ツェルメロが独立に同じパラドックスを発見し、ダフィット・ヒルベルトやエドムント・フッサールに知らせていた。そのため、厳密には「ツェルメロ―ラッセルのパラドックス」と呼ぶべきである。
[編集] 参考文献
- 高木貞治 「数理が躓く(?)」『近世数学史談・数学雑談』合本・復刻版、共立出版、1996年、188-233頁。 ISBN 4320015517
- ゴットロープ・フレーゲ 『フレーゲ著作集3 算術の基本法則』 野本和幸編、勁草書房、2000年。ISBN 4326148225
- ゴットロープ・フレーゲ 『フレーゲ著作集6 書簡集 付「日記」』 野本和幸編、勁草書房、2002年。ISBN 432614825X
- 三浦俊彦『ラッセルのパラドックス ―世界を読み換える哲学―』 岩波新書, 2005年。ISBN 4004309751
[編集] 関連項目
- 集合論
- 公理的集合論
- パラドックス
- バートランド・ラッセル
- ゴットロープ・フレーゲ
- エルンスト・ツェルメロ
- ダフィット・ヒルベルト
- エドムント・フッサール
- 矛盾許容論理
- カリーのパラドックス
- モーダストレンス
[編集] 外部リンク
- (百科事典)「Russell's Paradox」 - インターネット哲学百科事典にある「ラッセルのパラドックス」についての項目。(英語)
- (百科事典)「Russell's Paradox」 - スタンフォード哲学百科事典にある「ラッセルのパラドックス」についての項目。(英語)
- Russell's Antinomy - Webサイト MathWorld にある「ラッセルの二律背反」についての項目(英語)

