パラドックス
パラドックス（Transclusion error: {{En}} is only for use in File namespace. Use {{lang-en}} or {{en icon}} instead.）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理</b>とも言われる。
「妥当に思える推論」は狭義には（とりわけ数学分野においては）形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納など含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直観的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラドックスという。こうした区分は主に数学分野を中心に行われるもので、結論が直感的に受け入れやすいかどうかではなく、公理系の無矛盾性をより重視する所から来る区分である。論理学者のハスケル・カリーは、単に直感に反しているだけで矛盾は含んでいないパラドックスのことを、擬似パラドックス（pseudoparadox）、と呼び、矛盾を含むパラドックスと区別した[2]。
数学以外の分野では「パラドックス」という言葉はよりラフに用いられ、「ジレンマ」、「矛盾」、「意図に反した結果」、「理論と現実のギャップ」等、文脈により様々な意味に用いられる。
日本語では逆説、逆理、背理と訳される。語源はギリシャ語（παράδοξον < παρα-, para-:反対の + δόξα, dóxa: 意見）。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。
以下、辞書における定義を引用する：
一般に容認される前提から、反駁しがたい推論によって、一般に容認し難い結論を導く論説を逆理（パラドックスまたは逆説）という。一見正しそうでも、よく考えれば間違った前提や欠陥のある推論を用いている場合は虚偽（fallacy, paraligism）と呼ぶべきだが、これも広い意味では逆理に含められる。 日常感覚的に理解し難い事実を導く科学的（数学的）推論もしばしば逆理といわれる。バナッハ-タルスキの逆理はその好例である〔…〕。このようなものを擬似逆理であるとして、論理的な矛盾を導く二律背反（antinomy）を真性の逆理とする立場がある一方で、二律背反は単に矛盾であって逆理でないという見方もある（後略）。
言葉のもともとの意味では、〈パラドックス〉とは一般に受け入れられている見解に反する命題（ギリシア語でparadoxa）という。論理学でこの言葉を厳密な意味で用いるときは、証明されるはずのない矛盾命題が、妥当な推論によって、あるいは少なくとも一見妥当な推論によって導かれることを〈パラドックス〉と呼ぶ。
常識的見解に矛盾するように見える見解、あるいは真理に矛盾するように見えて、実はそうではない説。
数学はその発展の中で、「正しそうに見える推論」の中から「本当に正しい推論」を選り分けてきた。こうしてまず最初に整数や幾何図形のような対象が数学で扱えるようになったが、その後集合や無限のような深遠な対象を取り扱ったり、自己言及のような複雑な推論を扱ったりするようになると、どれが「本当に正しい推論」でどれが「正しそうに見えるが実は間違っている推論」なのかが分からなくなってしまった。パラドックスはこのように、仮定、推論、定義等がよく理解されていない状況で発生してしまうものである。
したがって、パラドックスは単なる矛盾とは区別される。例えば有名な「嘘つきパラドックス」は、「嘘つき」とは何かがはっきりしないからこそ「パラドックス」なのである。これらがはっきり定義された暁には、「嘘つきパラドックス」は単なる「背理法」や「間違った推論」に化ける。このようにパラドックスに適切な解釈を与えて「背理法」や「間違った推論」に変える事を、パラドックスを<b data-parsoid='{"dsr":[2602,2610,3,3]}'>解消</b>するという。
数学は矛盾を含まないよう注意深く設計されており、パラドックスの起こる命題はうまく避けたり、あるいはパラドックスを解消した上で取り込んでしまったりしている。従って昔はパラドックスを内包してしまっていた集合や無限のような対象も現在では取り扱う事ができる。
なお、上で説明したようなパラドックスと違い、
正しい仮定と正しい推論から正しい結論を導いたにも拘らず、結論が直観に反する
ものも「パラドックス」と呼ばれる。
これは<b data-parsoid='{"dsr":[2838,2852,3,3]}'>擬似パラドックス</b>と呼ばれ、前述した「真の」パラドックスとは別物である。 例えば誕生日のパラドックスは擬似パラドックスとして知られる。これは「23人のクラスの中に誕生日が同じである2人がいる確率は50％以上」というもので、数学的には正しい事実だが、多くの人は50％よりもずっと低い確率を想像する。他にもヘンペルのカラス、バナッハ・タルスキの逆理などが擬似パラドックスとして知られる。
正しそうに見えた仮定や推論が実は間違っていた
場合は単なる「勘違い」である。なお、（実は間違っている）仮定「Aではない」と正しい推論から矛盾した結論を得るのは背理法と呼ばれ、Aという結論を得る為に数学でよく使われる論法である。特殊な場合として、（公理以外に）何も仮定を置いていないにもかかわらず、正しい推論から矛盾した結論を得たとすると、これは「数学自身が矛盾を含んでいた」事になってしまうが、そのような事はないと予想されている。
ゼノンのパラドックス 無限とその分割に関するパラドックス。最も有名なものは下記の「アキレウスとカメのパラドックス」。他のものについてはリンク先記事を参照。 カメを追いかけてカメのいた地点にたどり着いても、その時点でカメはさらに先に進んでいるため永久にカメに追いつくことはできない。 探求のパラドックス 探求の対象が何であるかを知っていなければ探求はできない（さもなくばそれは顔も名前も知らない人を探すようなものである）。しかし、それを知っているならば既に答えは出ているので探求の必要はない。プラトンがメノンにて指摘した。 グルーのパラドックス アメリカの哲学者ネルソン・グッドマンの考えた帰納にまつわるパラドックス。同じデータからは複数の帰納が可能である。 全能の逆説 全能者は自分が持ち上げることができないほど重い石を作る事ができるか？ 砂山のパラドックス（ソリテス・パラドックス） 砂山から数粒の砂を取り除いても砂山だが、数粒取り除く操作を何度もくり返し、最終的に一粒だけ残ったものも「砂山」と呼べるか。 ハゲ頭のパラドックス ハゲ（ここでは「髪の薄い人」の意）に数本の毛を追加してもハゲである。毛を追加する操作を何度も繰り返す事で、全ての人がハゲだと分かる。砂山のパラドックスの起源とされる。 テセウスの船 度重なる船の修理で部品交換を繰り返しているうちに、船ができた当初あった部品は全て無くなった。現在の船は最初の船と同一のものか。 現象判断のパラドックス 心身問題に関わるパラドックス。ルネ・デカルトの時代以来続く、心的なものと物理的なものとの間の相互作用に関わる困難についてのパラドックスの現代版。
ルイス・キャロルのパラドックス 推論の正当化に関する無限後退を扱ったパラドックス。推論規則や公理の位置付けを考えるのに使われる。 バナッハ＝タルスキーのパラドックス 球をある方法で有限個（5個以上）に分割して組み立てなおすと、もとの球と同じ大きさの球が2個できる、というもの。 ヘンペルのカラス カラスを1羽も見る事無く「カラスは黒い」を証明できる、というもの。 抜き打ちテストのパラドックス 「期間内に抜き打ちテストを行う」という特に間違ってなさそうな言説から矛盾を導く。このパラドックスを解消するには様相論理を必要とする。 トムソンのランプ 今から1秒後にランプをつけ、その 秒後にランプを消し、さらにその 秒後にランプをつけ……というように 秒毎にランプのオンとオフを切替えると、全部で2秒経過したときランプはついているか。 すべての馬は同じ色 数学的帰納法をもとにしたパラドックス。 ベルトランのパラドックス 一見簡単な問題が「無作為」という言葉の解釈次第で結論が変わってしまうというもの。
ラッセルのパラドックス 自分自身を要素としない集合の集合は、自分自身を含んでいるか。 ベリーのパラドックス 「19文字以内で記述できない最小の自然数」は何か？（「」内の文章自体が19文字であることに注意） 嘘つきのパラドックス 「この文章は嘘である」。ゲーデルはこれを「この命題は証明出来ない」という命題に改めて、第一不完全性定理を導いた。 カリーのパラドックス 「この文章が正しいならばAである」 床屋のパラドックス ある村の床屋は自分で髭を剃らない村人全員の髭だけを剃ることになっている。それではこの床屋自身の髭は誰が剃るのか。 市長のパラドックス 自分が市長をやっている市に住んでいないような、不在市長ばかりを集めた不在市長市を作る場合、不在市長市の市長はどこに住むのか。 例外のパラドックス 「例外のない規則はない」という規則に例外はあるか。（例外があると仮定しても、無いと仮定しても自己矛盾する） 張り紙禁止のパラドックス 「この壁に張り紙をしてはならない」という張り紙は許容されるか。 落書きのパラドックス 落書き禁止の壁に、「落書きするべからず」と書くことは許容されるのか。(張り紙禁止のパラドックスと同じ意) リシャールのパラドックス ブラリ＝フォルティのパラドックス 「全ての順序数の集合」を仮定すると、それ自身が順序数であることから矛盾が生じる。 ワニのパラドックス 「自分の行動を当ててみろ」という襲撃者に対し、たった一言でその動きを完ぺきに制御してしまう。自己言及型のパラドックスの1つ。 自動点灯ライトのパラドックス 相対主義のパラドックス 相対主義は「相対主義を認めない」も許容するのか。あるいは「どの主張も絶対的に正しくない」という相対主義の主張は絶対的なのか。
ガリレオのパラドックス ほとんどの自然数は平方数ではないにもかかわらず、自然数 n を平方数 n2に対応させると、自然数全体と平方数全体とは1対1対応する。 ヒルベルトの無限ホテルのパラドックス 無限に部屋のあるホテルは、満室であってもそれぞれ n 番目の客室の客に n + m 番目の客室に移ってもらうことにより、さらに m 人の客を泊めることができる。無限の客がやってきても、元いた客に 2n 番目の客室に移ってもらうことにより入室可能である。
以上二つは（他にも数学や物理関係には同様のものが多いが）、無限というものが一見直感に反する、ということを述べているだけのことで、論理でいうところの矛盾ではない。濃度の記事などを参照。
スコーレムのパラドックス 下降型レーヴェンハイム-スコーレムの定理によると、ZF 集合論も可算モデルを持つことになるが、ZF 集合論の中には非可算集合が存在する。このことは一見不合理のように見えるので、スコーレムのパラドックスと呼ばれる。これは、形式体系内での集合概念と、メタ理論内の集合概念の違いをはっきり認識していないと不可解に見えるというに過ぎない。
誕生日のパラドックス - 何人の人が集まると、その中に同じ誕生日の2人がいる確率が50%以上となるか。 陽性のパラドックス - 検査で陽性であったとき、実際に感染している確率は何%か。 モンティ・ホール問題 - 3つのドアの選び方。 3囚人問題 サンクトペテルブルクのパラドックス シンプソンのパラドックス - 集団を2つに分けた場合にある仮説が成り立っても、集団全体では正反対の仮説が成立することがある。
オルバースのパラドックス 宇宙が一様かつ十分に大きければ、一つの星の光は僅かでも総和として夜空は太陽面のように明るく輝くはずだというパラドックスである。光の速度が有限であり、また宇宙やその年齢が夜空を星で埋め尽くすほどには大きくないため、前提が成立しないことが明らかとなった[3]。 ゼーリガーのパラドックス 宇宙が一様かつ無限であれば1つの星の重力は僅かでも総和として地球はあらゆる方向から無限に強く引かれるはずだというパラドックスだが膨張宇宙の発見により回避された。 フェルミのパラドックス
ガレージのパラドックス 物体が高速で動けば、その長さは縮む（特殊相対論・ローレンツ収縮）。ガレージとともに静止している人の立場では、高速で走る車は長さが縮み、車と同じ長さのガレージに収まる。高速で走る車内の立場では、高速で動くのは前方のガレージを初めとする周りのもの全てであり（物理現象の相対性の原則より）、そちら側が空間ごと縮んでいて、同じガレージのはずなのに収まらない。なお、この現象は相対論に問題があることを意味しない。「ガレージに車が収まる」ということは、ガレージの中央を車が通過した瞬間と「同時」における、それぞれの前後端の位置関係と定義できるが、ガレージと車で「同時」が違うためである。もしそのガレージの両端にシャッターが付いていたら、「物理的な」矛盾を起こせるのではないか、という疑問があるかもしれないが、次のように説明できる。ガレージ側から、ある時刻に「同時」に前後のシャッターが閉まっていたとしても、車側からは先に前方のシャッターが開き、後から後方のシャッターが閉まった、というように世界が異なっていて、車側からはある時刻に「同時」に前後のシャッターが開いているのである。この問題を、ガレージに「駐車できるか否か」と言い換えると加減速と伸び縮みについて扱うことになるが、似ているが、また別の一見不可思議に見える思考実験として考察されており、ここでは述べない。 双子のパラドックス 双子の片方が光速に近い速度で宇宙を旅行してから地球に帰ってきたときに、彼は地球に残してきた兄弟よりも若くなっているか年をとっているか（ウラシマ効果）。 ゲーデル解 一般相対性理論におけるアインシュタイン方程式の厳密解の一つ。時空の回転と宇宙項を仮定した場合に得られるもので、時間旅行が理論的に可能になる。
EPRのパラドックス シュレーディンガーの猫のパラドックス 量子ゼノンパラドックス
グロスマン・スティグリッツのパラドクス 囚人のジレンマ 投票の逆理（コンドルセのパラドックス） 投票行動のパラドックス アビリーンのパラドックス エレベーターのパラドックス - エレベーターはいつも一方にばかり動いているように見える。 イノベーションのジレンマ コモンズの悲劇 ブライスのパラドックス 倹約のパラドックス[4] - 景気が悪くなるとその対策として皆が倹約するが、その結果として需要が減り、さらに景気が悪化する、というもの。倹約という不景気対策が逆に事態を悪化させるのがパラドックスたる所以である。（合成の誤謬も参照。） ギッフェン・パラドックス - 普通は値段が上がれば需要が落ちるのに、ある種の財（ギッフェン財）では値段が上がると、かえって需要が増える。 レオンティエフの逆説[5] - アメリカの資本が優れている事から、アメリカの輸出品は輸入品よりも資本集約的であると想像されるが、実際は逆である。 貯蓄のパラドックス
親殺しのパラドックス タイムマシンで過去に行き、自分が生まれる前の自分の親を殺したとき、自分は産まれてこないことになる。またそうなると自分が居ないために親が殺されない。さらに、親は殺されないため自分は生まれてくる。という循環ができる（タイムトラベル参照）。
また、これを含めてタイムマシンなど時間移動や過去を操作することが可能な方法を想定することで生じる矛盾を総じてタイムパラドックスという。
フレンチパラドックス フランス人は喫煙率が高く、脂肪分が多い食事をしている(とされる)にも関わらず、心筋梗塞が少ない事から。 ジャパニーズパラドックス 日本人の喫煙率は他国よりも圧倒的に多いにもかかわらず、喫煙によって生じる筈である心筋梗塞発症率は欧米諸国に比べて10分の1から5分1と、実際には心筋梗塞の発症が日本人には少なくなる事から[6]。
料金の紛失のパラドックス - ある種のひっかけ問題。 寛容のパラドックス - 不寛容な相手に寛容な姿勢をとっていると、最終的には相手の不寛容さを受け入らざるを得なくなる、というもの。
Text "和書" ignored (help); Unknown parameter |month= ignored (help)
誤謬 永久機関 擬似問題 ジレンマ アポリア アンチノミー 仮説 思考実験 矛盾許容論理 矛盾 マーヤー 詭弁 認知の歪み
entry by パラドックスと現代論理学 in the Stanford Encyclopedia of Philosophy - from MathWorld by Eric W. Weisstein.