亞裏士多德的工具主義是形式邏輯發展的基礎。可以說，沒有工具主義就沒有形式邏輯。
邏輯研究可以提高壹個人理解、分析、評價和構建論點的能力。正因如此，邏輯學為現代大學的教學做出了巨大貢獻。
定義
“形式邏輯”是關於“形式邏輯”即傳統邏輯的概念、範疇和規律的學科體系。
所謂“形式邏輯”，是指傳統邏輯、狹義的演繹邏輯和廣義的歸納邏輯。因為“形式邏輯”在本質上
是知性邏輯，所以現代數理邏輯並沒有超出“形式邏輯”的範疇，也就是傳統邏輯。
所謂邏輯就是思維規律，邏輯就是關於思維規律的理論，思維規律就是思維內容和思維“形式”的統壹“形式”邏輯也是從內容和形式的統壹上研究思維規律的理論，所以它絕不是純粹的“形式”邏輯。正如認為概念是思維的“形式”的傳統理論混淆了概念和語言壹樣，認為傳統邏輯是思維的“形式”的理論也混淆了傳統邏輯和語言學。
簡介
從思維的形式結構中研究思維規律的科學。它總結了人類思維的經驗和教訓，以思維的確定性為核心，用壹系列規則和方法幫助人們正確思考和表達思想。它是人們認識世界和改造世界的必要工具。