パラドックス - 変更履歴

2024年2月10日 (土) 13:36にログインアウトによる

2024-02-10T13:36:25Z

妹のノート: -カービィ

2020-12-11T04:22:26Z

-カービィ

114.165.136.35: /* 関連項目 */

2016-08-06T12:24:08Z

‎関連項目

114.165.136.35: /* 関連項目 */

2016-07-31T11:58:49Z

‎関連項目

2007年6月21日 (木) 18:41にキリカによる

2007-06-21T18:41:40Z

キリカ: http://ja.wikipedia.org/w/index.php?title=パラドックス&oldid=13244211

2007-06-21T18:41:11Z

http://ja.wikipedia.org/w/index.php?title=パラドックス&oldid=13244211

新規ページ

'''パラドックス''' (''paradox'') とは、

# 一見すると筋が通っているように思えるにもかかわらず、明らかに[[矛盾]]していたり、誤った結論を導いたりするような、言説や[[思考実験]]などのこと。
# [[数学]]において、公理系に生じた矛盾点のこと。
# 一般的な直感と反した、数学的に正しい解答や定理のこと。
# ある目標を追おうとすればするほどかえって目標から遠ざかったり、ある主義を貫こうとするがゆえにかえってその主義に反することをしなければならなかったりする状況。

逆説、逆理、背理と訳される。ギリシャ語で "para" は「反」「逆」を、"dox" は「意見」という意味を表す。有名なものに、'''[[自己言及のパラドックス]]'''、'''[[リシャールのパラドックス]]'''、'''[[ベリーのパラドックス]]'''がある。

本質的に、パラドックスは、「生か死か」「在るか無いか」のような二極が対立する論理において生じる。

== 矛盾とパラドックス ==
混同されがちだが、矛盾とパラドックスとは本質的に異なる概念である。前者は本来は仮定（[[公理]]）や定義がはっきりした状況で用いる言葉であるのに対し、後者は仮定がはっきりしないからこそ起こる矛盾を指す。

例えば有名な「[[嘘つきパラドックス]]」は、「嘘」とは何か「嘘つき」とは何かがはっきりしないからこそ「パラドックス」なのである。これらがはっきり定義された状況では「嘘つきパラドックス」は「パラドックス」ではなく単なる「矛盾」に化ける。

「嘘つきパラドックス」は例えば「[[ゲーデルの不完全性定理]]」や「[[チューリングマシンの停止問題]]」の証明中で[[背理法]]の一部として用いられるが、これらの証明中での「嘘つきパラドックス」は状況がはっきりしているので「パラドックス」ではなく単なる「矛盾」である。

[[ゲーデル]]の不完全性定理の証明中に「嘘つきパラドックス」を使っているがゆえにゲーデルの不完全性定理は間違っていると主張する向きもあるが、これは以上の理由により、全くの嘘である。前述のように、ゲーデルの不完全性定理の証明中で使っているのは「パラドックス」ではなく「矛盾」である。

（数学に関わる）既存のパラドックスは全て、仮定をはっきりさせないいい加減な論理が原因になっているのであって、仮定をはっきりさせさえすればパラドックスは解消される。19世紀までの数学は、今に比べればだいぶいい加減なものだったので、様々なパラドックスを内包していた。しかし20世紀以降、数学者の努力により、数学はより厳密なものへと変化し、これら全てのパラドックスは解消された。

== 見かけ上のパラドックス ==

真の意味でのパラドックスは、上述のように仮定や定義のいい加減さが原因で起こる現象を指すが、
これとは別に「論理的には正しいが直観にあわない定理」の事も「パラドックス」という事がある。
この意味でのパラドックスは、真の意味でのパラドックスと区別する為、「見かけ上のパラドックス」と呼ばれる事がある。

例えば「[[誕生日のパラドックス]]」は見かけ上のパラドックスとして知られる。
これは「23人のクラスの中に誕生日が同じである２人がいる確率は50％以上」というもので、
数学的には正しい事実だが、多くの人は50％よりもずっと低い確率を想像する。

他にも「[[ヘンペルのカラス]]」、「[[バナッハ・タルスキの逆理]]」などが見かけ上のパラドックスとして知られる(が、これら２つは、数学の公理の妥当性に疑問を投げかける、重大なパラドックスである)。

== 数学以外のパラドックス ==

数学以外の分野では、「パラドックス」という言葉はよりラフに用いられ、
「ジレンマ」、「矛盾」、「意図に反した結果」、「理論と現実のギャップ」等、文脈により様々な意味に用いられる。

== パラドックスの一覧 ==
=== 哲学 ===
* [[ゼノンのパラドックス]]
*:最も有名なものは下記の「アキレウスとカメのパラドックス」。
*:他のものについてはリンク先記事を参照。
*: [[カメ]]を追いかけてカメのいた地点にたどり着いても、その時点でカメはさらに先に進んでいるため永久にカメに追いつくことはできない。

=== 数学・記号論理学 ===

* [[バナッハ＝タルスキーのパラドックス]]：球を5個以上に分割して組み立てなおすと、もとの球と同じ大きさの球が2個できる、というもの。[[選択公理]]の不自然さを指摘したもの。
* [[ヘンペルのカラス]]：カラスを一羽も見る事無く「カラスは黒い」を証明できる、というもの。[[対偶論法]]の不自然さを指摘したもの。
* [[抜き打ちテストのパラドックス]]：「期間内に抜き打ちテストを行う」という特に間違ってなさそうな言説から矛盾を導く。このパラドックスを解消するには[[様相論理]]を必要とする。
* [[料金紛失トリック|料金の紛失のパラドックス]]：見かけ上のパラドックス。というよりも単なる論理パズル。

==== 自己言及パラドックス関連 ====

* [[ラッセルのパラドックス]]：自分自身を要素としない[[集合]]の集合は、自分自身を含んでいるか
* [[ベリーのパラドックス]]：「19文字以内で記述できない最小の[[自然数]]」は何か? （「」内の文章自体が19文字であることに注意）
* [[自己言及のパラドックス|嘘つきのパラドックス]]：「この文章は嘘である」。ゲーデルはこれを「この命題は証明出来ない」という命題に改めて、第一不完全性定理を導いた。
* [[カリーのパラドックス]]：「この文章が正しいならばAである」（Aが真でない場合、矛盾する）
* [[床屋のパラドックス]]：ある村の床屋は自分で髭を剃らない村人全員の髭だけを剃ることになっている。それではこの床屋自身の髭は誰が剃るのか。
* 張り紙禁止のパラドックス：「この壁に張り紙をしてはならない」という張り紙は許容されるか。
* [[リシャールのパラドックス]]

==== 無限の[[濃度]]に関するもの ====

* ガリレオのパラドックス
*: ほとんどの[[自然数]]は[[平方数]]ではないが、自然数''n''を平方数n<sup>2</sup>に対応させると、自然数全体と平方数全体とは1対1対応するにもかかわらず、自然数は平方数よりも多く存在している。
* ヒルベルトの無限ホテルのパラドックス
*: 無限に部屋のある[[ホテル]]は、満室であってもそれぞれ''n''番目の客室の客に''n''+''m''番目の客室に移ってもらうことにより、さらに''m''人の客を泊めることができる。無限の客がやってきても入室可能。

これら２つは一見真のパラドックスに見えるが、実は見かけ上のパラドックスにすぎず、数学的に正しい事実を述べている。[[基数]]を見よ。

==== 確率論関連 ====

* [[誕生日のパラドックス]]
*: 何人の人が集まると、その中に同じ誕生日の２人がいる[[確率]]が50%以上となるか?
* [[モンティ・ホール問題]]
* [[聖ペテルスブルグのパラドックス]]
* [[シンプソンのパラドックス]]
*: 集団を2つに分けた場合にある仮説が成り立っても、集団全体では正反対の仮説が成立することがある。

これらは全て見かけ上のパラドックスに過ぎない。

===物理===

* [[ダランベールのパラドックス]]

====[[宇宙論]]関連====

[[画像:Boyle'sSelfFlowingFlask.png|right|250px|thumb|ボイルのフラスコ]]

* [[オルバースのパラドックス]]
*: 宇宙が一様かつ無限であれば一つの星の光は僅かでも総和として夜空は無限に明るくなるはずだというパラドックスだが膨張宇宙の発見により回避された。
* [[フーゴ・フォン・ゼーリガー|ゼーリガー]]のパラドックス
*: 宇宙が一様かつ無限であれば一つの星の重力は僅かでも総和として地球はあらゆる方向から無限に強く引かれるはずだというパラドックスだがオルパースのパラドックスと同様。

====[[相対性理論|相対論]]関連====

* ガレージのパラドックス
*: 物体が高速で動けば、その長さは縮む（[[ローレンツ収縮]]）。静止する人から見ると、高速で走る車は長さが縮み、車と同じ長さのガレージに収まる。高速で走る車内から見ると、高速で動くのは前方のガレージを初めとする周りのもの全てであり（[[相対性理論]]より）、それらは空間ごと縮む。車の長さは不変のため、ガレージには収まらない。実際には、車の先頭が停止してから順次後方が停止する場合、その波動が光速で移動したとしても、ひしゃげることになるので、車は結局潰れる。車の外から見る場合と中から見る場合とで潰れるタイミングが違って見えるだけである。なお、相対論においては絶対的な同時性が存在しないため、剛体は存在し得ない。
* [[双子のパラドックス]]
*: 双子の片方が光速に近い速度で宇宙を旅行してから地球に帰ってきたときに、彼は地球に残してきた兄弟よりも若くなっているか年をとっているか。（[[ウラシマ効果]]）

====[[量子力学|量子論]]関連====

* [[アインシュタイン＝ポドルスキー＝ローゼンのパラドックス|EPRのパラドックス]]
* [[シュレーディンガーの猫]]のパラドックス

=== 経済学 ===
* [[グロスマン・スティグリッツのパラドクス]]
* [[囚人のジレンマ]]

=== SF ===
* [[親殺しのパラドックス]]
*: [[タイムマシン]]で過去に行き、自分が生まれる前の自分の親を殺したとき、自分は産まれてこないことになる。またそうなると自分が居ないために親が殺されない。さらに、親は殺されないため自分は生まれてくる。という循環ができる（[[タイムトラベル]]参照）。
* [[タイムマシンのパラドックス]]
*: タイムマシンで過去に旅をすると、その途中でタイムマシンの製造過程を通過するためタイムマシンは分解してしまう。

=== 未分類 ===
* [[投票の逆理]]（コンドルセのパラドックス）
* [[投票行動のパラドックス]]
* [[寛容のパラドックス]]
* [[情報化社会のパラドックス]]
* [[ライオンのパラドックス]]
* [[アビリーンのパラドックス]]
* [[全能の逆説]]
* [[エレベーターのパラドックス]]：[[エレベーター]]はいつも一方にばかり動いているように見える。

== 関連項目 ==
* [[擬似問題]]
* [[仮説]]
* [[ジレンマ]]
* [[思考実験]]
* [[矛盾許容論理]]
*作品
**[[Paradox]] - [[w-inds.]] のシングル。
**Paradox - [[Hysteric Blue]] の楽曲。アルバム「WALLABY」に収録。

== 外部リンク ==
* [http://www.asahi-net.or.jp/~pu4i-aok/core/paradoxdata/paradox.htm パラドックス集]

[[Category:数学基礎論|はらどっくす]]
[[Category:パラドックス|*]]
[[Category:数学に関する記事|はらとつくす]]

[[ca:Paradoxa]]
[[cs:Paradox]]
[[da:Paradoks]]
[[de:Paradoxon]]
[[en:Paradox]]
[[eo:Paradokso]]
[[es:Paradoja]]
[[fi:Paradoksi]]
[[fr:Paradoxe]]
[[gl:Paradoxo]]
[[he:פרדוקס]]
[[hi:परोक्षक]]
[[hu:Paradoxon]]
[[id:Paradoks]]
[[io:Paradoxo]]
[[it:Paradosso]]
[[ka:პარადოქსი]]
[[ko:역설]]
[[lt:Paradoksas]]
[[nl:Paradox (logica)]]
[[no:Paradoks]]
[[pl:Paradoks]]
[[pt:Paradoxo]]
[[ru:Парадокс]]
[[simple:Paradox]]
[[sl:Paradoks (logika)]]
[[sv:Paradox]]
[[tr:Paradoks]]
[[uk:Парадокс]]
[[zh:悖论]]

@@ 23行目: / 23行目: @@
 == 見かけ上のパラドックス ==
 真の意味でのパラドックスは、上述のように仮定や定義のいい加減さが原因で起こる現象を指すが、
 これとは別に「論理的には正しいが直観にあわない定理」の事も「パラドックス」という事がある。
@@ 47行目: / 46行目: @@
 === 数学・記号論理学 ===
 * [[バナッハ＝タルスキーのパラドックス]]：球を5個以上に分割して組み立てなおすと、もとの球と同じ大きさの球が2個できる、というもの。[[選択公理]]の不自然さを指摘したもの。
 * [[ヘンペルのカラス]]：カラスを一羽も見る事無く「カラスは黒い」を証明できる、というもの。[[対偶論法]]の不自然さを指摘したもの。
@@ 55行目: / 53行目: @@
 ==== 自己言及パラドックス関連 ====
 * [[ラッセルのパラドックス]]：自分自身を要素としない[[集合]]の集合は、自分自身を含んでいるか
 * [[ベリーのパラドックス]]：「19文字以内で記述できない最小の[[自然数]]」は何か? （「」内の文章自体が19文字であることに注意）
@@ 65行目: / 62行目: @@
 ==== 無限の[[濃度]]に関するもの ====
 * ガリレオのパラドックス
 *: ほとんどの[[自然数]]は[[平方数]]ではないが、自然数''n''を平方数n<sup>2</sup>に対応させると、自然数全体と平方数全体とは1対1対応するにもかかわらず、自然数は平方数よりも多く存在している。
@@ 74行目: / 70行目: @@
 ==== 確率論関連 ====
 * [[誕生日のパラドックス]]
 *: 何人の人が集まると、その中に同じ誕生日の２人がいる[[確率]]が50%以上となるか?
@@ 85行目: / 80行目: @@
 ===物理===
 * [[ダランベールのパラドックス]]
 ====[[宇宙論]]関連====
 * [[オルバースのパラドックス]]
 *: 宇宙が一様かつ無限であれば一つの星の光は僅かでも総和として夜空は無限に明るくなるはずだというパラドックスだが膨張宇宙の発見により回避された。
@@ 98行目: / 89行目: @@
 ====[[相対性理論|相対論]]関連====
 * ガレージのパラドックス
 *: 物体が高速で動けば、その長さは縮む（[[ローレンツ収縮]]）。静止する人から見ると、高速で走る車は長さが縮み、車と同じ長さのガレージに収まる。高速で走る車内から見ると、高速で動くのは前方のガレージを初めとする周りのもの全てであり（[[相対性理論]]より）、それらは空間ごと縮む。車の長さは不変のため、ガレージには収まらない。実際には、車の先頭が停止してから順次後方が停止する場合、その波動が光速で移動したとしても、ひしゃげることになるので、車は結局潰れる。車の外から見る場合と中から見る場合とで潰れるタイミングが違って見えるだけである。なお、相対論においては絶対的な同時性が存在しないため、剛体は存在し得ない。
@@ 105行目: / 95行目: @@
 ====[[量子力学|量子論]]関連====
 * [[アインシュタイン＝ポドルスキー＝ローゼンのパラドックス|EPRのパラドックス]]
 * [[シュレーディンガーの猫]]のパラドックス
@@ 144行目: / 133行目: @@
 * [http://www.asahi-net.or.jp/~pu4i-aok/core/paradoxdata/paradox.htm パラドックス集]
-[[Category:数学基礎論|はらどっくす]]
+{{デフォルトソート:ぱらどっくす}}
 [[Category:パラドックス|*]]
-[[Category:数学に関する記事|はらとつくす]]
+[[Category:数学に関する記事]]
-−
-[[en:Paradox]]
-*[[wiki:パラドックス]]

@@ 140行目: / 140行目: @@
 **[[Paradox]] - [[w-inds.]] のシングル。
 **Paradox - [[Hysteric Blue]] の楽曲。アルバム「WALLABY」に収録。
 == 外部リンク ==

@@ 148行目: / 148行目: @@
 [[Category:数学に関する記事|はらとつくす]]
 [[en:Paradox]]
-[[eo:Paradokso]]
+*[[wiki:パラドックス]]
-[[es:Paradoja]]
-[[fi:Paradoksi]]
-[[fr:Paradoxe]]
-[[gl:Paradoxo]]
-[[he:פרדוקס]]
-[[hi:परोक्षक]]
-[[hu:Paradoxon]]
-[[id:Paradoks]]
-[[io:Paradoxo]]
-[[it:Paradosso]]
-[[ka:პარადოქსი]]
-[[ko:역설]]
-[[lt:Paradoksas]]
-[[nl:Paradox (logica)]]
-[[no:Paradoks]]
-[[pl:Paradoks]]
-[[pt:Paradoxo]]
-[[ru:Парадокс]]
-[[simple:Paradox]]
-[[sl:Paradoks (logika)]]
-[[sv:Paradox]]
-[[tr:Paradoks]]
-[[uk:Парадокс]]
-[[zh:悖论]]