排中律（はいちゅうりつ、）とは、論理学において、任意の命題 "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

出典:wikipedia