同一律、矛盾律、排中律は、アリストテレス以来二千年以上、理性的な思考の土台とされてきた三つの法則です。この記事では、三法則の形式と、それが歴史の中でどう問い直され、現代の論理学や計算機科学にどう生きているかをたどり、議論や意思決定の前提整理への使い方までを解説します。
三法則の形式
同一律は、すべてのものが自分自身と等しいという原理です。記号論理では A=A、述語論理では ∀x(x=x) と書き、すべての個体が自分自身と同一であることを表します。
矛盾律は、命題Aとその否定¬Aが同時に真になることはない、という原理で、¬(A∧¬A) と書きます。アリストテレスは『形而上学』第四巻で、これを「最も確実な原理」と呼び、三つの面から述べました。存在の面では、同じものが同時に同じ関係で、ある性質を持ちかつ持たないことは不可能である。信念の面では、誰も同じものが同時にあり、かつないと信じることはできない。論理の面では、矛盾する命題が同時に真であることはない。
排中律は、任意の命題について、その命題か否定のどちらかが必ず真である、という原理で、A∨¬A と書きます。アリストテレスは、矛盾する二つの判断のうち一方は真で他方は偽であり、その間に中間はないと述べています。
歴史の中での問い直し
中世のスコラ哲学では、神と被造物に同じ言葉を当てはめてよいかという神学上の問題と結びついて、論理法則の適用範囲が論じられました。トマス・アクィナスは類比の理論を、ドゥンス・スコトゥスは存在の一義性を唱えました。アントニウス・アンドレアスは同一律を「存在者は存在者である」と独立に定式化し、矛盾律より根本的な原理と位置づけました。
近世では、ライプニッツが矛盾の原理を必然的な真理の基礎に、充足理由律を偶然的な真理の基礎に置きました。カントは矛盾の原理を、すべての分析的認識の最高原理と位置づけました。
最も根本的な批判は、ヘーゲルから来ました。ヘーゲルは同一律を、何の情報も加えない空虚な同語反復として退けました。矛盾についても、避けるべき欠陥ではなく、より包括的な概念を生む原動力として捉えました。弁証法でいう矛盾は、形式論理が退ける静的な A∧¬A とは性格の違う概念です。
19世紀末から20世紀にかけて、論理学は数学的に精密になりました。フレーゲが現代の量化論理を作り、1902年に見つかったラッセルのパラドックスは素朴集合論に矛盾が潜むことを示しました。ラッセルとホワイトヘッドの『プリンキピア・マテマティカ』は、型の理論でこれを避けながら古典論理を公理化しました。ヴィトゲンシュタインは『論理哲学論考』で、論理法則はトートロジーであり、世界について何も語らないと述べました。
ゲーデルの不完全性定理は、自然数論を含む十分に強い公理系には、証明も反証もできない文があることを示しました。三法則に従う論理だけで、数学のすべての真理を証明できるわけではありません。
法則を緩める論理
20世紀には、三法則の一部を意図的に緩める非古典論理が育ちました。
ブラウワーの直観主義では、A∨¬A を主張できるのは、Aか¬Aのどちらかを実際に構成的に証明できたときだけです。ゴールドバッハ予想のような未解決問題では、排中律を無条件には使いません。ハイティングがこれを形式化しました。
ウカシェヴィッチの3値論理は、真と偽に「未定」を加え、アリストテレスの「明日の海戦」の問題に答えようとしたものです。ザデーのファジィ集合から発展したファジィ論理は、真理値を0から1の連続値で表し、制御や自然言語処理に応用されました。
矛盾律に最も直接に挑んだのが、矛盾許容論理です。ダ・コスタの体系は爆発律を退け、グラハム・プリーストは、嘘つきのパラドックス「この文は偽である」が真かつ偽であることを受け入れる立場をとりました。
計算機と人間の推論
三法則は、現代の情報技術の土台にもなっています。データベースの一貫性（ACID特性のConsistency）や参照整合性の制約は、矛盾した状態を作らないための仕組みです。自動定理証明の導出原理（Resolution）は、結論の否定から矛盾を導く反駁証明に基づいています。型理論では、同一性そのものが型として扱われます。
一方で、人間の推論は論理法則どおりには進みません。条件文の推論を試すウェイソン選択課題での系統的な誤りや、自分の信念に合う情報ばかり集める確証バイアスが知られています。限定合理性や、速い直感と遅い熟慮を分ける二重過程理論は、理想の論理と実際の思考の差を説明しようとする枠組みです。
東洋の伝統も、三法則を相対化する視点を持っています。仏教論理の四句分別は、「Aである」「Aでない」「AでありかつAでない」「AでもなくAでないのでもない」の四つを並べ、ナーガールジュナはそのすべてを否定することで理解を深めようとしました。
前提をそろえる道具として使う
今日では、三法則は絶対の公理というより、特定の体系や文脈で働く有用な原理として理解されています。だからこそ、実務では使いどころが見えてきます。会議の言葉の定義を最後までそろえる（同一律）。同じ資料の中で両立しない主張を見つける（矛盾律）。選択肢を漏れなく並べ、ただし、まだ真偽の決まらない問いは無理に二択にしない（排中律と、その限界）。
拙著『GoogleのAI NotebookLM 意思決定の強化書』は、判断を根拠、前提、結論に分け、前提を対象、目的、制約、評価基準の四つで言葉にする方法をまとめた本です。資料を事実、意見、噂、ゴミに仕分けてから選択肢表、採点表、決定書へ進むので、言葉のずれや主張の矛盾を、AIを使って早い段階で見つけられます。
社内の会議で論点を整理したい場合は、経営会議・役員会の論点整理のご案内もご覧ください。