16/05/22 07:58:45.31 +9yq5WTE.net
>>227
補足
URLﾘﾝｸ(ja.wikipedia.org)
パラドックスとは
「妥当に思える推論」は狭義には（とりわけ数学分野においては）形式的妥当性をもった推論、つまり演繹のみに限られる。
しかし一般的にはより広く帰納など含んだ様々な推論が利用される。
また「受け入れがたい結論」は、「論理的な矛盾」と「直観的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。
狭義には前者の場合のみをパラドックスと言い、広義には後者もパラドックスという。
こうした区分は主に数学分野を中心に行われるもので、結論が直感的に受け入れやすいかどうかではなく、公理系の無矛盾性をより重視する所から来る区分である。
論理学者のハスケル・カリーは、単に直感に反しているだけで矛盾は含んでいないパラドックスのことを、擬似パラドックス（pseudoparadox