パラドックス

「パラドックス」のその他の用法については「パラドックス (曖昧さ回避)」をご覧ください。

パラドックスと呼ばれるものの一般的な構造(左側)、そして解決の基本的な三つのパターン（右側）^[1]。図では示されていないが、前提には明示されるものと、そうでないものがある。パラドックスを取り扱う際は、明示されていない前提にも注意を払っていく必要がある。

パラドックス（paradox）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。

パラドックスとは

「妥当に思える推論」は狭義には（とりわけ数学分野においては）形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納など含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直観的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラドックスという。こうした区分は主に数学分野を中心に行われるもので、結論が直感的に受け入れやすいかどうかではなく、公理系の無矛盾性をより重視する所から来る区分である。論理学者のハスケル・カリーは、単に直感に反しているだけで矛盾は含んでいないパラドックスのことを、擬似パラドックス（pseudoparadox）、と呼び、矛盾を含むパラドックスと区別した^[2]。

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

日本語では逆説、逆理、背理と訳される。語源はギリシャ語(παράδοξον < παρα-, para-:反対の + δόξα, dóxa: 意見)。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。

以下、辞書における定義を引用する：

テンプレート:Quotation

数学における概要

数学はその発展の中で、「正しそうに見える推論」の中から「本当に正しい推論」を選り分けてきた。こうしてまず最初に整数や幾何図形のような対象が数学で扱えるようになったが、その後集合や無限のような深遠な対象を取り扱ったり、自己言及のような複雑な推論を扱ったりするようになると、どれが「本当に正しい推論」でどれが「正しそうに見えるが実は間違っている推論」なのかが分からなくなってしまった。パラドックスはこのように、仮定、推論、定義等がよく理解されていない状況で発生してしまうものである。

したがって、パラドックスは単なる矛盾とは区別される。例えば有名な「嘘つきパラドックス」は、「嘘つき」とは何かがはっきりしないからこそ「パラドックス」なのである。これらがはっきり定義された暁には、「嘘つきパラドックス」は単なる「背理法」や「間違った推論」に化ける。このようにパラドックスに適切な解釈を与えて「背理法」や「間違った推論」に変える事を、パラドックスを解消するという。

数学は矛盾を含まないよう注意深く設計されており、パラドックスの起こる命題はうまく避けたり、あるいはパラドックスを解消した上で取り込んでしまったりしている。従って昔はパラドックスを内包してしまっていた集合や無限のような対象も現在では取り扱う事ができる。

なお、上で説明したようなパラドックスと違い、

正しい仮定と正しい推論から正しい結論を導いたにも拘らず、結論が直観に反する

ものも「パラドックス」と呼ばれる。

これは擬似パラドックスと呼ばれ、前述した「真の」パラドックスとは別物である。例えば誕生日のパラドックスは擬似パラドックスとして知られる。これは「23人のクラスの中に誕生日が同じである2人がいる確率は50％以上」というもので、数学的には正しい事実だが、多くの人は50％よりもずっと低い確率を想像する。他にもヘンペルのカラス、バナッハ・タルスキの逆理などが擬似パラドックスとして知られる（が、これら2つは、数学の公理の妥当性に疑問を投げかける、重大なパラドックスである）。

一方、

正しそうに見えた仮定や推論が実は間違っていた

場合は単なる「勘違い」である。なお、（実は間違っている）仮定Aと正しい推論から矛盾した結論を得るのは背理法と呼ばれ、「Aではない」という結論を得る為に数学でよく使われる論法である。特殊な場合として、（公理以外に）何も仮定を置いていないにもかかわらず、正しい推論から矛盾した結論を得たとすると、これは「数学自身が矛盾を含んでいた」事になってしまうが、そのような事はないと予想されている。