立て続けに質問することをお許し下さい。
パラドックスについて2つ質問させて下さい。
1つ目
・ラッセルのパラドックス(集合論の逆理)は現在どのように解決されているかが 知りたいです。(集合がどのように定義されたか。)
この時、「類」や「○○公理」などの言葉を使う時はその説明(もしくは参考サイ トの提示をお願いします。)高校生に分かる程度にお願いします。
2つ目
・「ラッセルさん」と恒例の「ゼノンさん」の逆理以外の理念(集合論・極限論以
外)のおもしろい逆理がありましたら、名前だけでもいいので教えて下さい。
(自分で調べますので・・・)
以上2つよろしくお願いします。
最近(前から?)自信を持って間違った事を言う人が増えています。だからどう、って訳ではないんですが、(僕もその一人のようで・・・)自信ないのなら「自信ない」と示して回答を寄せて頂くと有り難いです。
よろしくお願いします。
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
自信を持って間違ったことを言う人が多いということなので、「自信なし」にしましょう。しかし、騙される貴方の「自己責任」というのは、規約で明記されていたはずです。
それはともかく、パラドックスは、本当の論理的パラドックスは「解決しません」。そこで何か勘違いされているように主観的に思います。「回避する」か、または論理的に本質的でなく、見かけの錯覚だったと証明されて解決するだけです。「ゼノンのパラドックス」は、少しも解決していないのです。あれは、時間と空間に関する哲学的パラドックスで、「無限」の考え方を、どう把握するかということが問われているのです。ゼノンだって、アキレウスが亀に追いつけないという「常識」ぐらい知っていたはずです。
それはともかく、「ラッセルのパラドックス」は、ラッセル自身は、「タイプの理論」で回避しました。しかし、タイプの理論はその後、あまり展開しませんでしたから(というか、複雑な割りに成果がないので、棄てられたのでしょう)、ラッセルのパラドックスは残ったままだと思います。あれは、自己言及のパラドックスでもあるのですから、自己言及型の無限命題は「無効」とする指針で、回避しているのだと思います(あるいは、ラッセルが定義したような集合は、クラスとして扱い、一般の集合に含めないようにして、回避します……自己言及の無限命題は無効とするというのと、同じことですが)。解決はされていないはずです。というか、解決しようがないはずです(解決されたという意見があれば、わたしも知りたいです)。
「嘘つきのパラドックス」は有名な自己言及の論理パラドックスです。
「オールバースの背理」というものがあります。パラドックスではないのですが、話のついでです。これは、宇宙が無限で、宇宙に均等に星が存在するなら、空は、まばゆいばかりに、いや、地上のものをすべて燃え滅ぼすぐらいに明るく耀くはずだという背理です。普通、「夜空は明るい」と言います。星の光は、距離の二乗に比例して弱くなりますが、星の数は距離の二乗に比例して増えて行きます。すると、途中で、星の光がガスなどで遮られていたとしても、遠く遠くからの星の光を集めていくと、夜空は明るく隙間なく輝き、そこには、遙か向こうの星が見えているはずだという背理です。背理というのは、これは、実際、夜空は明るくないからです。だから、宇宙は無限でないか、または、星の分布は一様でないのだと、論理的に出てくるという話です。
論理学のパラドックスに、「リシャールのパラドックス」あるいは「ベリーのパラドックス」というのがあります。「意味論的パラドックス」と呼ばれているのが一方です(一方というのは、二つのパラドックスがあり、名前が、リシャールとベリーで、どちらがどちらか混同されてよく分からないのです。「ベリー」の方が意味論的パラドックスのはずですが、普通、これは「リシャール」で呼ばれます)。
選択公理が絡むと色々あり、有名なのは「バナッハ・タルスキーのパラドックス」です。
しかし、わたしは、確信を持って間違ったこと・出鱈目を言う人のようですから、これぐらいで終わりにします(質問者の要望通り、「自信なし」にしてありあますから)。
まず、回答有り難う御座います。
「自信を持って間違ったことを言う人が多いということなので、「自信なし」に
しましょう。しかし、騙される貴方の「自己責任」というのは、規約で明記さ
れていたはずです。」
は、十分分かっています。それに間違った(?)回答でも寄せて頂くだけでも
とても心強いのも事実です。ただ、ちょっと考えれば分かるようなことを、
自信をもって書く人が最近増えたかなぁ?と思ったんですが、(僕も含めて)人間はミスがあって当然なんですよね。ただ、僕のこの文を読んで「少し気を付けよう」と思ってくれた人がいれば幸いです。
では、脱線してしまいましたが、
>本当の論理的パラドックスは「解決しません」。
おっしゃる通りだと思います。
ただ、数学(という論理的概念)において本当の論理的パラドックスは、あってはまずいのでは無いかな?と思い、現在までには、例えば「ラッセルのパラドックス」で言えば、集合の定義を変えたり、条件を付けたり、新たな概念を付け足すなどして、この逆理を回避しているのではないか。
と思い、実際にどうやって回避したのか{=解決したのか(言葉のあやです。)}を知りたいと思ったのです。
「クラス」は初めて聞きました。クラスというのは「ラッセルの集合(?)」だけを指すのでしょうか?それとも何か別の定義があるのでしょうか?★疑問★
そうですね。自己言及を用いた逆理がありましたね。これはまぁ、いいでしょう。
(実は、「自己言及」の厳密な定義も難しいような気がしますが・・・)
「オールバースの背理」は(数学内だけの話では無いが)おもしろいですね。
そこから、論理的に
「宇宙は無限でないか、または、星の分布は一様でない」
と、導き出せるんですね。
その他の逆理についても調べてみます。
「しかし、わたしは、確信を持って間違ったこと・出鱈目を言う人のようですか
ら、これぐらいで終わりにします(質問者の要望通り、「自信なし」にしてあ
りあますから)。」
いえ、僕が強く言いすぎたのでしょうか?少し、気を使ってくれれば、別に間違ってようが、出鱈目を言おうが全然気にしてません。
特に今回は抽象的な(?)質問なので、自信も糞も無いんですが・・・
(あんな事を書いた僕が馬鹿でした・・・泣)
これからもよろしくお願いします。
No.3
- 回答日時:
p36
Introduction to metamathematics
s.c.Kleene
東京大学出版会
をお勧めします。
パラドックスが
いろいろ書いてあります。
情報ありがとうございます。
え~と、、、「Introduction to metamathematics」というので探せばいいのですよね?
調べてみます☆
No.4
- 回答日時:
1.
もの(数学的な実体)の集まりを集合として一つの実体と扱おう、という集合論の考え方は非常に有用だったのですが、ラッセルのパラドックスなどが出てしまったわけですね。「集合全体の集合」などもパラドクスが出ます。
で、これらのパラドックスで出てくるものの集まりは非常に巨大だったので、それならばそんなに大きすぎる集まりは「集合」ではない(クラス(日本語訳が類)と呼ぶ)ことにして、集合として扱えるものはどんな集まりか、ということの条件を考えよう、という考えが出てきたようです。それで公理的集合論がいろいろ出たそうです。
http://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86% …
まあ、集合と呼べるものの範囲を限定することでパラドックスを回避するわけですから、本質的な解決かどうかはちょっとわかりません(^^;
嘘つきのパラドクスも、そういう自己言及的な文は数学では使わないように言葉を整理しよう、という方向のようです。
でも、考えてみると、コンピュータでは自己言及ができてしまいますけどね。セキュリティーソフトを動かすということは、PCがウィルスなどで汚染されているかどうかをそのPC自身で調べるわけですから、一種の自己言及かも。嘘つきのパラドクスのようなプログラムを作ることもできますし(動かすと止まらなくなるでしょうが)。
2.
Wikipediaなどで検索するといろいろあるようです。
http://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9% …
No.5
- 回答日時:
補足:「オールバースの背理」に関しては、宇宙が無限で、宇宙に均等に星が存在しても解決できるそうです。
光の速さは有限ですから、遠くを見るほど昔を見ることになるわけです。もし、宇宙が永遠の昔から存在していたとすれば夜空は明るいはずです。
ところが、現在主流の宇宙論では「宇宙には始まりがあった」とされてます。だから、遠くを見ても、始まり以前の光は当然届かないわけですのでオールバースのパラドックスは回避できるそうです。
私は、宇宙が膨張しているために遠くの光のエネルギーが減るから(?)、また、ある距離より先は膨張のために光が届かないからと思っていたのですが、膨張の影響なしでも宇宙の歴史が有限というだけでパラドックスの回避はできるそうです。
Wikipediaより:http://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%AB% …
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 アキレスと亀のパラドックスはいまだに理解されていないのか ? 3 2023/02/10 02:19
- 哲学 カルト宗教の批判は 成り立ちませんか? 129 2022/10/26 05:12
- 哲学 《神》の定義を問います。 3 2023/03/11 08:44
- 哲学 神とは何か?――ただしく《信じる》ために―― 144 2022/10/19 04:52
- 哲学 カルトに憤りを込めて:一般および個別絶対性理論 ならびに 特殊絶対性仮説 または 宗教への絶対批判 4 2022/09/06 14:38
- 哲学 一般および個別絶対性理論 ならびに 特殊絶対性仮説 または 宗教への絶対批判 7 2023/03/13 04:59
- 哲学 親鸞再考――吉本隆明の〈非知〉に触れて―― 22 2022/12/10 09:25
- 哲学 一般および個別絶対性理論 ならびに 特殊絶対性仮説 または 宗教への絶対批判 1 2023/04/18 13:41
- 哲学 神論です:一般および個別絶対性理論 ならびに 特殊絶対性仮説 または 宗教への絶対批判 2 2022/06/09 08:58
- 事件・犯罪 刑法についてだれか助けてください。 2 2022/06/05 04:08
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報