“形式邏輯”就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由于本質上“形式邏輯”是知性邏輯，所以現代數理邏輯沒有超出“形式邏輯”即傳統邏輯的范疇。亞里士多德的工具論是形式邏輯發展的基礎?？梢哉f沒有工具論就沒有形式邏輯。邏輯研究能夠提高一個人的理解、分析、評價和構造論證的能力。因為這個原因，邏輯為現代大學的教學做出了重大的貢獻。形式邏輯這個詞是有多種含義的，有的專指傳統邏輯(包括傳統演繹邏輯和傳統歸納邏輯)，有的專指演繹邏輯(包括傳統演繹邏輯和現代演繹邏輯)，有的則專指現代數理邏輯。還有一種是政治性產物，是政治決定理論的惡果，是為了與辯證邏輯這種政治決定的邏輯相區分。這種意義的形式邏輯常常被污蔑為形而上學、低等邏輯，而辯證邏輯自然是科學的邏輯、高等邏輯。這種意義上的形式邏輯其實就是現今通常所說的邏輯學，這種意義上的形式邏輯正好沒有承認辯證邏輯是邏輯學，而只認為其是一種哲學。

形式邏輯學的評價是什么?

其實，在現今的非經典演繹邏輯中確實有一支是與辯證邏輯有很多相似之處的，這種邏輯就是次協調邏輯(又常稱為費協調邏輯、亞相容邏輯，也有人稱之謂悖論邏輯、辯證邏輯)。這種邏輯承認經典演繹邏輯中的“矛盾律”并不普遍有效，試圖將“矛盾”封裝起來，不讓其危害整個系統。許多認同黑格爾辯證邏輯的人也是因為看到了現代經典邏輯中的悖論問題，而期望黑格爾的辯證邏輯能解決這個問題。但事實上，類似的方法已經有了，這就是次協調邏輯。然而，次協調邏輯是隸屬于現代非經典演繹邏輯的，如果次協調邏輯真是辯證邏輯的話，那么這種辯證邏輯屬于現代非經典演繹邏輯的一支，而不是獨立于其外。不過，次協調邏輯盡管與黑格爾的辯證邏輯有許多相似之處，但也有許多區別，并不能簡單的說它是辯證邏輯。