經典邏輯

經典邏輯標識已經被最深入的研究和最廣泛的使用的一類形式邏輯。它們被特徵化為一些性質；非經典邏輯缺乏一個或多個這種特性，它們是:

1:排中律;

2:無矛盾律;

3:蘊涵的單調性和蘊涵的冪等性;

4:合取的交換性;

De Morgan 對偶性: 所有邏輯運算元都對偶於另一個。

經典邏輯的例子

喬治·布林的代數的重新邏輯形式化為布林邏輯;

Gottlob Frege 的概念文字。

Clarence Irving Lewis 的真勢模態邏輯的系統 S1-S5。

非經典邏輯

直覺邏輯拒絕排中律和 De Morgan 律；

次協調邏輯(比如雙面真理論和相干邏輯)拒絕無矛盾律；

相干邏輯、線性邏輯和非單調邏輯拒絕蘊涵的單調性；

線性邏輯拒絕蘊涵的冪等性；

可計算性邏輯是可計算性的語義構造的形式理論，相對於是真值的形式理論的經典邏輯；它整和並擴充套件了經典、線性和直覺邏輯;

模態邏輯向經典邏輯擴充套件了非真值泛函("模態")運算元。

關於邏輯，關於是非的評判，論斷！辨別是非是一項很重要的能力，關乎我們的抉擇，關乎我們的人生走向！尤其在如今資訊爆炸的年代，保持清醒的頭腦，保持思辨邏輯，更為重要！

邏輯學是研究純粹理念的科學！

邏輯就是思維的規律！邏輯的本質是尋找事物的相對關係，並用已知推斷出未知！

邏輯學是公元三世紀,由古希臘哲學家亞里士多德發明的，狹義的邏輯學是指：研究推理的科學！廣義的邏輯學是指：研究思維的形式！

有時邏輯與邏輯學兩個概念通用。任何具體思維都有它的內容，也有它的形式。任何具體思維，都涉及一些特定的物件。例如，數學中的具體思維，就涉及數量與圖形這些特定的物件；物理學中的具體思維，就涉及到聲，光，電，力等這些特定物件；各個不同領域中的具體思維所涉及的物件是不相同的。但是，在各個不同領域的具體思維中，又存在著一些共同的因素。例如，在各個不同領域的具體思維中，都要應用“所有。。。。。。都 是。。。。。。”，“如果。。。。那麼。。。。。”這些思維因素。各個不同領域的具體思維都需要應用的共同思維因素，就是具體思維的形式，或者說，就是思維形式。各個不同領域的具體思維所涉及的特殊物件，就是具體思維的內容，或者說，就是思維內容。

形式邏輯只研究思維形式而不研究思維內容，這不是要把思維形式和思維內容割離開來。相反的，形式邏輯研究思維形式，正是為了使人們自覺的掌握思維形式的規律，從而更好地反思維形式和思維內容結合起來以正確反映客觀現世。把思維形式和思維內容割離開來，正是形而上學思維方法的結果，這是與形式邏輯毫不相干的。

所以，經典邏輯學就是關於思維規律的學說。