20/05/13 16:26:24.39 YxiDM0Si.net
>>630
しかし・・・うまい話には裏がある
ーーー
2007-09-22 ラッセルのパラドックス：傾向と対策 (3.1.2) : グリシン論理 (2)
さて、前回はグリシン論理上包括原理を持つ体系 GS の良い点、特に自己言及的集合の楽園であることをご紹介いたしました。今回は、GSの問題点についてご紹介いたします。
・外延性公理を仮定すると矛盾（ラッセル・パラドックス経由！）が導かれてしまう
：外延性を満たさないので、GS で定義される {x:P(x)} が「集合」の名に値するか疑問が残る
・古典的解析学や算術が十分に展開できない（っぽい）
・古典論理のタルスキ意味論に匹敵するような、わかりやすい意味論を持たない
ーーー
とんだぬか喜び・・・OTL （続く）