爆発律

爆発律とは

爆発律（Principle of explosion）は、古典論理や直観主義論理といった形式体系において、矛盾が存在する場合に任意の命題が成り立つという重要な原理です。具体的には、矛盾する命題が同時に真であると仮定した場合、そこからどんな命題でも証明可能になるという現象を指します。この原理は「deductive explosion」とも呼ばれています。

歴史的背景

この概念は12世紀のフランスの哲学者ウィリアム・ド・ソワソンによって初めて証明され、以来、論理学や数学の基礎において非常に重要な役割を果たしてきました。爆発律は、形式体系が無矛盾でなければ、真実性という概念が成り立たなくなることを意味します。任意の命題が真になることで、論理の信頼性が損なわれてしまうため、特に数学の基礎論においてその影響が深刻です。

20世紀初頭には、ラッセルのパラドックスなどの矛盾が数学基礎論において発見され、学問の構造そのものが危機に瀕しました。このような矛盾を解決するために、多くの数学者が集合論の再構築に取り組み、ついにはツェルメロ＝フレンケル集合論が確立されました。

爆発律の具体例

爆発律の一例を考えてみましょう。「全てのレモンは黄色である」と「全てのレモンは黄色でない」という矛盾する文を同時に真であると仮定します。この状況を踏まえると、次のような推論が成り立ちます：

1. 「全てのレモンが黄色でない」と仮定します。
2. 「全てのレモンは黄色である」とも仮定します。
3. この二つの仮定から、論理的に「全てのレモンは黄色であるか、ユニコーンが実在するか」という命題も真となります。

しかし、この結果から、「ゆえにユニコーンは実在する」という逆説も導かれることになります。こうして、矛盾からは無限の命題が生じ得るのです。

矛盾許容論理

爆発律による問題への異なるアプローチとして、矛盾許容論理という形態の論理が提案されました。このアプローチでは、一部の矛盾する命題を認め、他の命題の真偽に影響を与えないような方法で矛盾を扱います。これによって、選言三段論法や背理法のような推論の妥当性を再検討することも可能になります。

超数学的な意味

爆発律が適用される体系では、もし矛盾が証明された場合には、「全ての命題が成り立つ」という状態に陥り、真偽の区別が不可能になります。このことは、古典論理における無矛盾律の重要性を強調する根拠ともなります。無矛盾でない体系は真偽に関する議論を無価値にしてしまうのです。

結論

爆発律は論理的推論や数学の根幹を支える重要な原理であり、矛盾が引き起こす深刻な問題を浮き彫りにします。この律が示すのは、無矛盾性が論理体系においてどれほど重要であるかということです。それゆえ、論理学者や数学者は、無矛盾を保つための思考や手法を常に模索しています。

もう一度検索