ラッセルのパラドックス

集合論のパラドックス

ラッセルのパラドックス: Russell's paradox)とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックスバートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の基本法則』における矛盾を指摘する記述に現れ[1]、1903年出版のフレーゲの『算術の基本法則』第II巻(: Grundgesetze der Arithmetik II)の後書きに収録された[2]。なお、ラッセルに先立ってツェルメロも同じパラドックスを発見しており、ヒルベルトフッサールなどゲッティンゲン大学の同僚に伝えた記録が残っている[3][4]

ラッセルの型理論階型理論)の目的のひとつは、このパラドックスを解消することにあった[5]

概要

編集

「それ自身を要素として含まない集合」を「 集合」とし、「すべての 集合を成分とする集合 」を作ってみる。そうすると、「任意の集合 」に関しては、「  に含まれる」⇄「  に含まれない」という定式が成り立つ。そして特に = とすれば、「  に含まれる」⇄「  に含まれない」となり、パラドックスが明示される。

集合事物とは違った存在の仕方をしており、世界を構成する存在者ではなく、論理的虚構にすぎず、そこには階型の違いがある。よって「集合がそれ自身の要素であるかどうかの問いの全体」が、「真でも偽でもなく」むしろ「無意味」「意味のない雑音」であった。集合とは、後の「記述の理論」があきらかにする意味で不完全記号である。「集合」「数」の指示するものが「スコラプラトン的な意味」で「無時間的に存在」すると考えてはならないとラッセルは気付いた。事物の存在の次元と集合の語られる次元とは混同されてはならず、或る階型の対象に真偽を言えても、異階型の対象には有意味には言えない。我々は何らかの性質を有意味には命題一般には帰属させ得ず、ただ特定の次元の命題に有意味に帰属させうるのみである(ラッセルの階型理論)。

集合論が形式化されていないことが矛盾の原因なのではなく、このパラドックスは、古典述語論理上の理論として形式化された無制限の内包公理を持つ素朴集合論や、直観主義論理上の素朴集合論においても生じる。したがって論理を古典論理から直観主義論理に変更してもラッセルのパラドックスは回避できない。パラドックスの回避については、様々な方法が提案されている。詳細は矛盾の解消を参照。

矛盾の解消

編集

公理的集合論によって何をもって集合とするかについての形式的な整備が進められ、素朴(だが超越的)な  の構成を許容しない体系が構築された。

公理的集合論ではまず集合論を形式化する。次にいかなる形の集合が存在するかを公理によって規定する。 例えば素朴集合論では、上のような集合の存在を保証するために次の内包公理を置いた:

任意の性質   に対して、   を満たす元   の集合   が存在する

しかしながら、内包公理からは、上述のとおり、

 

が構成でき、パラドックスが発生する。 したがって、集合論の公理は通常の数学を集合論の上で展開するために十分なだけの集合の存在を保証しつつ、パラドックスを発生させる集合は構成できないように慎重に設定する必要がある。

1.公理的集合論による解消[注 1]
具体的には内包公理を次の分出公理に弱める(ツェルメロによる版)。
任意の性質   と集合   に対して、   を満たす   の元   の集合   が存在する
この場合、
 
は、  の要素でないため、それ自身を要素としなくても矛盾は発生しない。
また   のような集合は構成できないのでやはり矛盾は発生しない。
(なお現在のZFC集合論では、フレンケルが設定した置換公理から分出公理が導けるため、分出公理自体は公理としていない。)
なお、ラッセルのパラドックスでは論理式   に内包性公理を適用することによってパラドキシカルな集合を構成している。これは論理式   の否定である。ZFC集合論では   のように循環的な帰属関係を持つ集合の存在は正則性公理によって否定される。もっとも正則性公理がラッセルのパラドックスを排除しているわけではない。何故なら公理を追加しても証明できる論理式は減らないからである。さらに反基礎公理と呼ばれる循環的な集合の存在を積極的に保証する公理を置く集合論の体系も存在しており、この体系の無矛盾性はZFC集合論の無矛盾性から相対的に導かれる。ただしある種の循環性を制限することによって無矛盾性を確保しようという試みは存在しており、例えば後述する単純型理論はその典型的な例である。
2.単純型理論による解消[注 2]
項に型と呼ばれる自然数 0, 1, 2,… を割り当て、述語記号 ∈ を (n階の項)∈(n+1階の項) の形でのみ許容する(すなわち論理式の文法を制限する)ことで矛盾を回避する。単純型理論は階型毎に無制限の内包公理を持つが、無矛盾である。
3.部分構造論理による解消[注 3]
古典論理を(グリシン論理やBCK論理などの)縮約規則を取り除いた部分構造論理に置き換え、無制限な内包公理を認める代わりに外延性公理を排除した素朴集合論が矛盾無く展開できることが知られている[注 4]。外延性公理が排除されるのは、外延性公理から縮約規則が導かれ、したがって矛盾するからである。例えばBCKβでは次のようにして外延性公理から矛盾が導かれる。次の集合   を考える。
 
ここで   は空集合であり、
 
で定義される。集合   の定義には自己参照が含まれるが、不動点コンビネータによってこれは可能である。この集合論において外延性公理が成立すると仮定する。すると次のようにして矛盾が導かれる。等号   の形の仮定に対しては縮約規則が使用できることに注意。まず   を仮定する。集合   を何でもいいのでひとつ取る。すると仮定および   の定義より   が成り立つ。再び仮定を使用すれば   が成り立つ。したがって空集合の定義より   が導かれる。これは不合理であるから   である。いま   を一度だけ仮定する。すると仮定および   の定義より   が成り立つ。ところが   であったはずだから矛盾   が導かれる。ゆえに空集合の定義より   が成り立つ。逆に   を一度だけ仮定する。すると仮定および空集合の定義より矛盾   が導かれる。ゆえに爆発原理より   が成り立つ。したがって   と空集合は外延的に等価である。外延性公理より   が成り立つ。これは   と矛盾する。
ウカシェヴィッチの3値論理上の素朴集合論では、   の真理値を不定値と解釈すればラッセルのパラドックスは生じない。ところが莫少揆のパラドックスと呼ばれる別のパラドックスが生じる[注 5]。パラドックスを回避するには無限ウカシェヴィッチ論理を用いる必要がある[注 6]

歴史

編集

起源

編集

通説では、1902年6月16日付のラッセルからフレーゲへの書簡がこのパラドックスの起源とされている。しかし、1899年から1900年にかけてエルンスト・ツェルメロが独立に同じパラドックスを発見し、ダフィット・ヒルベルトエドムント・フッサールに伝えていた。そのため、「ツェルメロ=ラッセルのパラドックス」と呼ぶべきという意見もある[3][4]

年表

編集
1872年 - 1878年
1879年
1884年
  • フレーゲ『算術の基礎』出版。自然数論の始まり。
1888年
  • デーデキント『数とは何かそして何であるべきか』出版[28]
1893年
  • フレーゲ『算術の基本法則』出版。
1902年6月16日
  • ラッセルからフレーゲ宛てにパラドックスを知らせる書簡が投函[1]
1902年6月22日
  • フレーゲからラッセル宛てに返信が投函。
1903年
  • フレーゲ『算術の基本法則』第II巻出版。後書きでラッセルのパラドックスを公開[2]
1903年
1903年11月7日
  • ヒルベルトからフレーゲ宛に返信が投函。ラッセルのパラドックスが3年前から4年前にツェルメロによって発見されていたことを記載[3]
1908年

脚注

編集

注釈

編集
  1. ^ ytb(矢田部俊介) あいまいな本日の私 blog ラッセルのパラドックス:傾向と対策
    • (1) (Restriction of basic principles) [6]
    • (1.5) NFと自己言及性に関する補足 [7]
  2. ^ ytb(矢田部俊介) あいまいな本日の私 blog ラッセルのパラドックス:傾向と対策
    • (2) Restriction of syntax [8]
  3. ^ ytb(矢田部俊介) あいまいな本日の私 blog ラッセルのパラドックス:傾向と対策
    • (3) Restriction of logic [9]
  4. ^ ytb(矢田部俊介) あいまいな本日の私 blog ラッセルのパラドックス:傾向と対策
    • (3.1.0) 古典論理を制限するラッセル・パラドックスへの証明論的アプローチ(縮約規則!) [10]
    • (補足) [11]
    • (本日の修正) [12]
    • (3.1.1) グリシン論理 (1) [13]
    • (3.1.2) グリシン論理 (2) [14]
    • (3.1.3) グリシン論理 (3) [15]
    • (3.1.4) グリシン論理に関して前回の補足 [16]
    • (3.1.5) グリシン論理 (4) [17]
    • (3.1.6) 補足 [18]
    • (3.1.7) 証明論的アプローチへの補足;Fitchの “demonstrably consistent” な set theory F [19]
  5. ^ ytb(矢田部俊介) あいまいな本日の私 blog ラッセルのパラドックス:傾向と対策
    • (3.2) 多値論理 [20]
    • (3.2.1) クリーネ3値論理…お手軽に不動点を [21]
    • (3.2.2) ウカシェーヴィチ3値論理…失敗例 [22]
    • (3.2.2.5) 補足…ウカシェーヴィチの “Spiritual war” [23]
  6. ^ ytb(矢田部俊介) あいまいな本日の私 blog ラッセルのパラドックス:傾向と対策
    • (3.2.3) ウカシェーヴィチ無限値述語論理 ∀L…包括原理の限界 [24]
    • (3.2.4.1) ファジイ論理…一番狭い意味で (1) [25]
    • (3.2.4.2) ファジイ論理…一番狭い意味で (2) [26]

出典

編集
  1. ^ a b フレーゲ 2002, p. 118f.
  2. ^ a b フレーゲ 2000, p. 403f.
  3. ^ a b c フレーゲ 2002, p. 90f.
  4. ^ a b Rang & Thomas 1981, p. [要ページ番号].
  5. ^ Russell 1903, Appendix B: The Doctrine of Types.
  6. ^ ytb (2007年9月12日). “ラッセルのパラドックス:傾向と対策 (1)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  7. ^ ytb (2007年9月14日). “ラッセルのパラドックス:傾向と対策 (1.5) : NFと自己言及性に関する補足”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  8. ^ ytb (2007年9月15日). “ラッセルのパラドックス:傾向と対策 (2) : Restriction of syntax”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  9. ^ ytb (2007年9月17日). “ラッセルのパラドックス:傾向と対策 (3) : Restriction of logic”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  10. ^ ytb (2007年9月17日). “ラッセルのパラドックス:傾向と対策 (3.1.0) : 古典論理を制限するラッセル・パラドックスへの証明論的アプローチ(縮約規則!)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  11. ^ ytb (2007年9月18日). “ラッセルのパラドックス:傾向と対策 (補足)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  12. ^ ytb (2007年9月19日). “ラッセルのパラドックス:傾向と対策 (本日の修正)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  13. ^ ytb (2007年9月20日). “ラッセルのパラドックス:傾向と対策 (3.1.1) : グリシン論理 (1)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  14. ^ ytb (2007年9月22日). “ラッセルのパラドックス:傾向と対策 (3.1.2) : グリシン論理 (2)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  15. ^ ytb (2007年9月23日). “ラッセルのパラドックス:傾向と対策 (3.1.3) : グリシン論理 (3)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  16. ^ ytb (2007年9月26日). “ラッセルのパラドックス:傾向と対策 (3.1.4) : グリシン論理に関して前回の補足”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  17. ^ ytb (2007年9月29日). “ラッセルのパラドックス:傾向と対策 (3.1.5) : グリシン論理 (4)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  18. ^ ytb (2007年9月30日). “ラッセルのパラドックス:傾向と対策 (3.1.6) : 補足”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  19. ^ ytb (2007年10月21日). “ラッセルのパラドックス:傾向と対策 (3.1.7) : 証明論的アプローチへの補足;Fitchの “demonstrably consistent” な set theory F”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  20. ^ ytb (2007年10月7日). “ラッセルのパラドックス:傾向と対策 (3.2) : 多値論理”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  21. ^ ytb (2007年10月7日). “ラッセルのパラドックス:傾向と対策 (3.2.1) : クリーネ3値論理・・・お手軽に不動点を”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  22. ^ ytb (2007年10月7日). “ラッセルのパラドックス:傾向と対策 (3.2.2) : ウカシェーヴィチ3値論理・・・失敗例”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  23. ^ ytb (2007年10月11日). “ラッセルのパラドックス:傾向と対策 (3.2.2.5) : 補足・・・ウカシェーヴィチの “Spiritual war””. あいまいな本日の私 blog. 2023年9月3日閲覧。
  24. ^ ytb (2007年10月13日). “ラッセルのパラドックス:傾向と対策 (3.2.3) : ウカシェーヴィチ無限値述語論理 ∀L・・・包括原理の限界”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  25. ^ ytb (2007年10月14日). “ラッセルのパラドックス:傾向と対策 (3.2.4.1) :ファジイ論理・・・一番狭い意味で (1)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  26. ^ ytb (2007年10月21日). “ラッセルのパラドックス:傾向と対策 (3.2.4.2) :ファジイ論理・・・一番狭い意味で (2)”. あいまいな本日の私 blog. 2023年9月3日閲覧。
  27. ^ デデキント 2013, p. 46.
  28. ^ デデキント 2013, p. [要ページ番号].
  29. ^ Zermelo 1908, p. [要ページ番号].
  30. ^ ツェルメロ 2013, p. [要ページ番号].

参考文献

編集
  • 渡邊二郎「パラドックスと階型理論」『現代哲学ー英米哲学研究ー』財団法人放送大学教育振興会、1994年8月、123-124頁。 
  • 高木貞治「数理が躓く(?)」『近世数学史談・数学雑談』(合本・復刻版)共立出版、1996年12月、188-233頁。ISBN 4-320-01551-7 
  • 竹内外史『新装版 集合とはなにか はじめて学ぶ人のために』講談社〈ブルーバックス B-1332〉、2001年5月18日。ISBN 978-4-06-257332-0 
  • デデキント『数とは何かそして何であるべきか』渕野昌 訳・解説、筑摩書房〈ちくま学芸文庫〉、2013年7月10日。ISBN 978-4-480-09547-3 
  • フレーゲ 著、野本和幸 編『フレーゲ著作集3 算術の基本法則』勁草書房、2000年9月。ISBN 4-326-14822-5 
  • フレーゲ 著、野本和幸 編『フレーゲ著作集6 書簡集 付「日記」』勁草書房、2002年5月。ISBN 4-326-14825-X 
  • 三浦俊彦『ラッセルのパラドクス 世界を読み換える哲学』岩波書店〈岩波新書 新赤版975〉、2005年10月20日。ISBN 4-00-430975-1 
  • Rang, B.; Thomas, W. (1981). “Zermelo's discovery of the 'Russell Paradox'” (英語). Historia Mathematica 8 (1): 15-22. doi:10.1016/0315-0860(81)90002-1. 
  • Russell, Bertrand (1903年). “The Principles of Mathematics” (英語). Cambridge: Cambridge University Press. 2023年9月3日閲覧。
  • Zermelo, Ernst (1908). “Untersuchungen über die Grundlagen der Mengenlehre. I” (ドイツ語). Mathematische Annalen (Teubner) 65: 261-281. http://resolver.sub.uni-goettingen.de/purl?PPN235181684_0065 2023年9月3日閲覧。. 
    • エルンスト・ツェルメロ『集合論の基礎に関する研究 I』渕野昌 訳、2013年7月。  - (デデキント 2013, pp. 139–179)に収録。

関連項目

編集

外部リンク

編集