数学基礎論・数理論理学 その19 (606ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
197(1): 2024/05/08(水)18:15 ID:c0TH2Ddg(1/2) AAS
今日見つけた怪しい書き込み
>1.ラッセルのパラドックスの発見（1902年）
>1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
>このパラドックスは、通常の論理学では回避できないことが判明し、
>哲学に大きな衝撃を与えました。
>2.ラッセルによる新しい論理学の構築（1903年〜）
>1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
省10
198(1): 2024/05/08(水)18:17 ID:c0TH2Ddg(2/2) AAS
続き
>ラッセルのパラドックスは、ある集合が自分自身を含むかどうかという自己言及から生じる矛盾です。
>このパラドックスが発生する論理体系では、自己言及によって簡単に矛盾を作り出すことができてしまいます。
>しかし、実際にはラッセルが開発した新しい論理学によって、このパラドックスは解決されました。
>つまり、ラッセルのパラドックスは本来矛盾ではないのです。
>問題は、ラッセルのパラドックスが矛盾を引き起こす論理体系では、
>本来矛盾ではないものを自動的に矛盾していると仮定してしまうことです。
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.406s*