形式邏輯，也稱爲傳統邏輯或符號邏輯，是研究思維的形式結構及其規律的科學。
形式邏輯主要包括概念、判斷、推理（如歸納推理和演繹推理）等元素，它關注的是思維形式的一般性和結構性規律，而不是思維的具體內容。形式邏輯的研究對象是事物的質，它通過概念、判斷、推理（主要包括歸納推理與演繹推理）來反映事物的本質屬性。形式邏輯在撇開思維的具體內容的條件下，研究各種不同種類的命題、推理的形式結構及其正確聯繫的規律。
此外，形式邏輯還包括對簡單枚舉歸納法和排除歸納法、類比法、假說等的研究，這些都屬於非辯證的邏輯形式。形式邏輯在理性思維過程中，只考慮純粹思辨的抽象概念，拋開任何現實因素的純粹思維邏輯。它通過建立形式化的語言系統和嚴格的推理規則，對複雜的邏輯問題進行分析和推導。
形式邏輯的特點是保證概唸的明確性和限定性，要求用於抽象思維的概念、命題、推導、判斷等不能既是又不是，只能是或不是。在法律領域，形式邏輯的運用受到法律的規範性、規約性和價值性的約束，法律思維是依據規則和事實爲中心的理性思維活動。