パラドックス
「例外のない規則はない」という規則に例外はあるか。(例外があると仮定しても、無いと仮定しても自己矛盾する)
「妥当に思える推論」は狭義には(とりわけ数学分野においては)形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納などを含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直感的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラドックスという。こうした区分は主に数学分野を中心に行われるもので、結論が直感的に受け入れやすいかどうかではなく、公理系の無矛盾性をより重視する所から来る区分である。論理学者のハスケル・カリーは、単に直感に反しているだけで矛盾は含んでいないパラドックスのことを、擬似パラドックス(pseudoparadox)、と呼び、矛盾を含むパラドックスと区別した。
数学以外の分野では「パラドックス」という言葉はよりラフに用いられ、「ジレンマ」、「矛盾」、「意図に反した結果」、「理論と現実のギャップ」等、文脈により様々な意味に用いられる。
日本語では逆説、逆理、背理と訳される。語源はギリシャ語(παράδοξον < παρα-, para-:反対の + δόξα, dóxa: 意見)。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。
以下、辞書における定義を引用する:
お湯と茶葉を入れたティーカップを攪拌すると、茶葉は遠心力で縁に集まるように思われるが、実際にはカップの底の中央に集まるという現象。
原因不明の火災を調査しようと男が時間を遡る。 火災が発生した建物にいる間、彼は誤って灯油が入ったランタンを倒して火災を引き起こしてしまう。数年後、原因不明の火災事件に興味を持った男はタイムトラベルを思い立つ。この例もブートストラップパラドックスと同様に、原因と結果が循環しており始まりがないように見える。
下降型レーヴェンハイム-スコーレムの定理によると、ZF 集合論も可算モデルを持つことになるが、ZF 集合論の中には非可算集合が存在する。このことは一見不合理のように見えるので、スコーレムのパラドックスと呼ばれる。これは、形式体系内での集合概念と、メタ理論内の集合概念の違いをはっきり認識していないと不可解に見えるというに過ぎない。