20/05/13 14:23:12 YxiDM0Si.net
「あいまいな本日の私」より
2007-09-12 ラッセルのパラドックス：傾向と対策 (1)
普通、通俗的な本でラッセル・パラドックスの紹介をすると、
「包括原理 (the comprehension principle) が悪いのです、
だからZFが建設され問題が解決されました、めでたしめでたし」
という結論になってしまうのですが、それは間違っています。
それ以外にもいろいろな解決法が提案されていて、どれも一長一短があります。
さて、Fefermanによれば、ラッセル・パラドックスの解決法は、
以下のように分類することができます。
Restriction of syntax: つまりラッセル集合の定義文は「文法違反」だ、というもの
Restriction of logic: つまりパラドックスは古典論理のせいだ、
だから古典論理を制限／変更しようというもの
Restriction of basic principles: つまり包括原理が問題だ、というもの