パラドックスと矛盾

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

パラドックスと矛盾の違い

パラドックス vs. 矛盾

パラドックス（）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。. 矛盾（むじゅん、contradiction）とは、あることを一方では肯定し、同時に他方では否定するなど、論理の辻褄（つじつま）が合わないこと。物事の筋道や道理が合わないこと。.

二律背反

二律背反（にりつはいはん、アンチノミー、Antinomie）とは、正命題、反命題のどちらにも証明できる矛盾・パラドックスのことである（しばしば勘違いされるが単なる矛盾・パラドックスではない）。字義通りには、二つの法則が現実的にであれ見かけ上であれ相互に両立しないことを意味し、これは論理学や認識論で使用される術語である。.

パラドックスと二律背反 · 二律背反と矛盾 · 続きを見る »

ゼノンのパラドックス

ノンのパラドックスとは、エレア派のゼノンの議論で、特にパルメニデスを擁護してなされたいくつかの論駁を指す。多・場所・運動・粟粒等の論があったと伝えられているが、本人の書は失われ、断片が残るだけである。アリストテレスが『自然学』の中で、ゼノンに対する反論として引用した議論が、比較的詳しいものであり、重要なものとして取り上げられてきた。そのなかで運動のパラドックスと呼ばれるものは、運動があるとするとこのような不合理が帰結すると論じられた。がアリストテレスを注釈しつつ他の議論に触れているものおよびその他の断片から、多（多数性plurality）の議論もいくつか残った。.

ゼノンのパラドックスとパラドックス · ゼノンのパラドックスと矛盾 · 続きを見る »

矛盾許容論理

矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。.

パラドックスと矛盾許容論理 · 矛盾と矛盾許容論理 · 続きを見る »

背理法

背理法（はいりほう、proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、reductio ad absurdum）とは、ある命題 P を証明したいときに、P が偽であると仮定して、そこから矛盾を導くことにより、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。帰謬法（きびゅうほう）とも言う。 P を仮定すると、矛盾が導けることにより、P の否定 ¬P を結論付けることは否定の導入などと呼ばれる。これに対して ¬P を仮定すると矛盾が導けることにより P を結論付けることを狭義の背理法あるいは否定の除去ということがある。否定の導入と狭義の背理法をあわせて広義の背理法ということもある。 一般的には、背理法と言った場合広義の背理法を指す。否定の導入により、¬P から矛盾が導けた場合、¬¬P を結論できるが、いわゆる古典論理では推論規則として二重否定の除去が認められているため、結局 P が結論できることになる。排中律や二重否定の除去が成り立たない直観論理では、狭義の背理法による証明は成立しないが、否定の導入や、¬¬¬P から ¬P を結論することは、認められる。 背理法を使って証明される有名な定理には、\sqrt が無理数であること、素数が無限に存在すること、中間値の定理，ハイネ・カントールの定理などがあり、無限を相手にした証明には基本的に背理法のスタイルを取らざるを得ないものが多くある。 しかし例えば、\sqrt が無理数である（すなわち有理数でない）ことの証明は、狭義の背理法ではなく否定の導入によって証明することができる。 背理法の証明において仮定に矛盾する結論を導く場合は，容易に非背理法証明に直すことができる．たとえば，ハイネ・カントールの定理：「有界閉集合上の連続関数は一様連続である」は，有界閉集合上の連続関数 f は一様連続でないと仮定して議論を進め， f が連続でないことを導いて矛盾を出すが，これは連続性を仮定せず「有界閉集合上の関数 f が一様連続でない」と仮定し，連続でないことを示すことによって，対偶としてハイネ・カントールの定理が直接証明できる（((P かつ Q)⇒R) ⇔ ((P かつ ￢R)⇒￢Q) ということを用いる）．.

パラドックスと背理法 · 矛盾と背理法 · 続きを見る »