排中律
排中律（はいちゅうりつ、、）とは、論理学において、任意の命題 "P" に対し""P" ∨ ¬"P""（"P" であるか、または "P" でない）が成り立つことを主張する法則である。これは、論理の古典的体系では基本的な属性であり、同一律、無矛盾律とともに、（古典的な）思考の三原則のひとつに数えられる。しかし、論理体系によっては若干異なる法則となっている場合もあり、場合によっては排中律が全く成り立たないこともある（例えば直観論理）。
（第三の命題が排除される原理）あるいは（第三の命題・可能性は存在しない）と称され、（中間の命題は排除されて存在しない法則）または （第三の命題が排除される法則）と呼ばれ、これらが日本語での排中という表記につながり、排中原理と呼ばれる。
排中律は論理から導かれる法則ではない。また とは異なる主張である。
修辞学では排中律が誤解されて利用されることがあり、誤謬の原因となっている。
次の命題 "P" について考える。
この命題に対して、排中律とは、
という命題 "P" ∨ ¬"P" が成立する、という規則である（それ以外の第三の状態や中間の状態を取らない）
この規則は命題 "P" の内容によらず適用できる。
排中律に依存した論証の例を次に示す。次のような
という属性を持つ2つの無理数 "a" と "b" があることを証明しよう。
formula_1 が無理数であることは知られている。そこで、次のような数を考える。
排中律に基づくと、明らかにこの数は有理数か無理数かのどちらかである。これが有理数なら証明が完了する。もし無理数なら、次のような数を考える。
2 は明らかに有理数である。従って証明が完了する。
この論証において、「この数は有理数か無理数かのどちらかである」という主張は排中律に基づいている。直観主義では、何らかの証拠がない限り、このような主張を認めない。この変形として、ある数が無理数（あるいは有理数）であることの証明や、ある数が有理数かどうかを判定する有限なアルゴリズムなどが考えられる。
上記の例は直観主義では許されない「非構成的; non-constructive」証明の例である。
Davis は「構成的」について「実際に一定の条件を満たす数学的実体が存在するという証明は、明示的に問題の実体を表す方法を提供する必要があるだろう」(p. 85) としている。そのような証明は全体の完全性の存在を前提としており、それは直観主義者にとっては、決して完全ではない「無限」に拡張することは許されない。
実際、ヒルベルトとブラウワーはそれぞれ、排中律を無限に適用する例を示している。ヒルベルトの例は「素数は有限個か無限個か」(Davis 2000:97) であり、ブラウワーの例は「全ての数学的種は有限か無限か」(Brouwer 1923 in van Heijenport 1967:336) である。
一般に、直観主義では有限な集合に関して排中律の適用を許すが、無限集合（例えば、自然数）に対しては許さない。したがって、「無限集合 "D" に関する全ての命題 "P" について、"P" であるかまたは "P" でないかのどちらかである」(Kleene 1952:48) という言い方は、直観主義では絶対できない。詳しくは、数学基礎論と数学的直観主義を参照されたい。
排中律についての推定的反例として、嘘つきのパラドックスあるいはクワインのパラドックスがある。Graham Priest の では、排中律を定理とするが、嘘つきのパラドックスは真でもあり偽でもあると説明する。この場合、排中律は真だが、真であるがゆえに選言は排他的ではなく、選言肢の一方が逆説的だったり、両者がともに真でありかつ偽であることもありうるとする。
アリストテレスは、曖昧さは曖昧な名称を用いることから生じるのであって、「事実」自身には曖昧さがないとした。アリストテレスは「同じ事象であることと同じ事象でないことは同時には成り立たない」とした。これを命題論理で表すと、￢ ("P" ∧ ￢"P") となる。これは、二重否定の法則「￢￢"P"⇔"P"」を認めれば現代で言う排中律 ("P" ∨ ￢"P") と同値だが、そうでない場合には両者の意味は異なる。前者は、ある文が同時に真であり偽であるということはないと主張するもので、後者は、ある文が真でも偽でもないということはないと主張するものである。
しかし、アリストテレスは「相矛盾する事象が同時に真であることは不可能なので、同じ事象が同時に相反する属性を持つことができないのは明らかである」(Book IV, CH 6, p. 531) とも述べている。そして、「相反する事象の中間は存在しないが、1 つの事象について我々はある述語が成り立つか成り立たないかを示さねばならない」(Book IV, CH 7, p. 531) とした。アリストテレスの古典論理では、これが排中律 "P" ∨ ￢"P" の明確な文となっている。
その一般的形式「全ての判断は真または偽である」[footnote 9]...(from Kolmogorov in van Heijenoort, p. 421)
footnote 9: これはライプニッツの非常に単純な定式化である (see "Nouveaux Essais", IV,2)..." (ibid p 421)
バートランド・ラッセルは「排中律」と「矛盾律; law of contradiction」を区別した。"The Problems of Philosophy" において、彼はアリストテレス的意味において自明な3つの思考の法則を挙げている。
これら3つの法則は自明な論理原則の例である（p. 72）
これは少なくとも二値論理では正しい（例えば、カルノー図を参照）。ラッセルの第二の法則は第三の法則で使われている非排他的論理和の「中間」を排除している。そして、これは Reichenbach が一部の論理和を排他的論理和に置換すべきであると主張する根拠となっている。
この問題について Reichenbach は次のように書いている。
排中律
は、主要な項が網羅的ではないので、冗長な論理式である。この事実は、一部の人が (29) を非排他的論理和で書くことを不合理と感じる理由であり、排他的論理和で書きたがる理由である。
この式は網羅的であり、より厳密である。(Reichenbach, p. 376)
(30) における "("x")" は当時の全称記号である。
アリストテレスとラッセルは古典論理の特性を信じていたが、それは全ての文が真か偽のどちらかであるという暗黙の前提に依存している。