經典邏輯

經典邏輯 （ Classical logic ） ， 也被稱爲標準邏輯 （ standard logic ） ， 標識已經被最深入的研究和最廣泛的使用的一類演繹推理邏輯 。 經典邏輯是19和20世紀的創新 ， 它比亞里士多德的傳統邏輯具有更廣泛的應用 ， 並且能夠將亞里士多德的傳統邏輯表述爲一個特例 。 經典邏輯滿足一些公理化的基本原理 ， 包括 ： 同一律 、 排中律 、 無矛盾律 （ 也被稱爲矛盾律 ） 、 充足理由律等等 。