亞裏士多德的工具論是形式邏輯發展的基礎。可以說沒有工具論就沒有形式邏輯。
邏輯研究能夠提高壹個人的理解、分析、評價和構造論證的能力。因為這個原因，邏輯為現代大學的教學做出了重大的貢獻。
定義
“形式邏輯學”是關於“形式邏輯”即傳統邏輯的概念、範疇、規律的學科體系。
所謂“形式邏輯”就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由於本質上“形式邏輯”
是知性邏輯，所以現代數理邏輯沒有超出“形式邏輯”即傳統邏輯的範疇。
所謂邏輯是思維的規律，邏輯學是關於思維規律的學說，思維規律是思維內容與思維“形式”的統壹。“形式”邏輯也是從內容和“形式”的統壹上來研究思維規律的學說，因而決不是什麽純“形式”的邏輯。正好像傳統把概念說成是思維的“形式”是混淆了概念和語言壹樣，把傳統邏輯說成是思維“形式”的學說是混淆了傳統邏輯和語言學
簡介
從思維的形式結構方面研究思維規律的科學。它總結了人類思維的經驗教訓，以保持思維的確定性為核心，用壹系列規則、方法幫助人們正確地思考問題和表達思想。是人們認識世界和改造世界的必要工具。