パラドックスと呼ばれるものの一般的な構造(左側)、そして解決の基本的な三つのパターン(右側)[1]。図では示されていないが、前提には明示されるものと、そうでないものがある。パラドックスを取り扱う際は、明示されていない前提にも注意を払っていく必要がある。 パラドックス(paradox)とは、正しそうな前提と、妥当に思える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。 「妥当に思える推論」は狭義には(とりわけ数学分野においては)形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納などを含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直感的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラドックスという。こうした区