カントールの対角線論法は 間違いではないですか?
コメント
選択しているユーザー
(対角線論法、反射反映、自己言及の深化)
矛盾⊥の持つ爆発的なパワー
を境界付け制御しようとする歴史
⊥の周縁
知覚により、他から識別できる存在に名前を付ける発明。
a
イメージ操作のセカイを習得。例
aのイメージが残っているのにもはやaは喪失され不存在。否定の発見
¬a
(のちに矛盾との双対定義に発展
a⊃⊥
即ち¬a
矛盾の発見)
現実世界には存在しないが、イメージのセカイで初めて観念できるようになった。妄想上は両立する可能性があったが改めて訣別する。
aかつ¬a 。存在矛盾。
a ⊃¬a かつ
¬a ⊃a
即ちa ≡¬a 。コトバ名辞矛盾。
直接的自己言及パラドックス)
この文は偽である。
(この文に「a」という名を付けてみれば、aは「aは偽である」と言っている。
a: a⊃⊥ 。
名前を排除、間接的自己言及)
クワイン化: ある表現の引用を先立たせ埋め込む操作
「のクワイン化は偽だ」のクワイン化は偽だ。
語用論、言明版)
私のこの言明は間違いだ。(うそパラ
クレタ人は皆嘘つきだ。
証明論、ゲーデル版)
この文は証明可能ではない。
「のクワイン化は証明可能ではない」のクワイン化は証明可能ではない。
ラッセルのパラドックス1:(内包構成版
自分自身を含まない集合、を集めて行った集合は、自分自身を含むか?
床屋の私はこの村の、自分で髭を剃らない人凡ての髭を剃り、自分で剃る人の髭は剃らない。
ラッセルのパラ2:(分割版
凡ゆる集合を集めた極大集合を用意。
自分自身を含まない集合の現れる領域と
自分自身を含む集合の現れる領域と
に線引き分割する。(ーー自分自身を名札としているようなもの
前者の領域ではその集合をpickUpし、後者の領域ではその集合を無視し、新しい集合invDを作る(反転収集)。invDはどの領域に収まるか?
カントールのパラドックス:
「一般?対角線論法を認めるならば、
凡ゆる集合を集めた集合よりも大きな集合が存在する:」
凡ゆる集合を集めた極大集合を用意する。
その要素たる凡ての各集合に1:1 index名を付ける。
自分の名前を要素としない集合の名前をpickUp収集し、
自分の名前を要素とする集合の名前は無視する
操作を完了して新しい?集合invDを作る。
invDは最初の極大集合の要素に現れるか?