古典論理
以下に示す性質が特徴である:
排中律の採用及び、二重否定の除去;
無矛盾律と、矛盾からはいかなることも導ける(en:Principle of explosion)とすること(矛盾許容論理も参照);
帰結関係(論理的帰結を参照)の単調性(en:Monotonicity of entailment、単調写像を参照)と帰結関係の冪等性(en:Idempotency of entailment);
論理積の交換法則(en:Commutativity of conjunction);
ド・モルガンの双対性: 全ての論理演算子はどれか他の演算子の双対である;
以上の諸条件からは、古典論理は命題論理と一階論理に必ずしも限られないが、普通はそれらに議論を限定する。