邏輯可分為廣義和狹義。狹義的邏輯學是指推理的科學，即只研究如何從前提得出結論的科學。廣義的邏輯學是指研究思維形式、規律和邏輯方法的科學。廣義邏輯的研究範圍比較大，這是傳統的理解，和哲學研究有很大關系。邏輯學科的整個體系是非常龐大和復雜的，如:傳統的、現代的和辯證的、演繹的、歸納的和類比的、經典的和非經典的等等。但再復雜也有相通之處，比如:構造判斷的方法；進行必然推理；認同邏輯真理或法律等。
邏輯和邏輯的發展經歷了傳統邏輯(形式邏輯)和辯證邏輯兩個階段，辯證邏輯又有矛盾邏輯和對稱邏輯兩個階段。對稱邏輯是邏輯發展的最新成果，是辯證邏輯的高級階段，是邏輯發展的最高階段。對稱邏輯是對稱邏輯的概念、範疇和範疇體系，由我國著名學者陳世清創立。