邏輯就是思維的規律，又稱理則、論理、推理、推論，是有效推論的哲學研究，邏輯的本質是尋找事物的相對關係，並用已知推斷未知。邏輯學就是關於思維規律的學說。 邏輯學有廣義和狹義之分。狹義的邏輯學指：研究推理的科學，即只研究如何從前提必然推出結論的科學。廣義的邏輯學指：研究思維形式，思維規律和思維的邏輯方法的科學。廣義邏輯學研究的範圍比較大，是一種傳統的認識，與哲學研究有很大關係。整個邏輯學科的體系非常龐大複雜，如：傳統的、現代的和辯證的、演繹的、歸納的和類比的、經典的和非經典的，等等。但是，它再龐雜也有相通的地方，例如：構建判斷的方法；進行必然性推理；認同邏輯真理或邏輯規律等。 邏輯和邏輯學的發展，經過了傳統邏輯（形式邏輯）與辯證邏輯兩大階段，辯證邏輯又發展有矛盾邏輯、對稱邏輯兩大階段。對稱邏輯是邏輯學發展的最新成果，是辯證邏輯發展的高階階段，也是邏輯學發展的最高階段。對稱邏輯學就是對稱邏輯的概念、範疇與範疇體系，由中國著名學者陳世清先生創立。