“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑，所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。亚里士多德的工具论是形式逻辑发展的基础。可以说没有工具论就没有形式逻辑。逻辑研究能够提高一个人的理解、分析、评价和构造论证的能力。因为这个原因，逻辑为现代大学的教学做出了重大的贡献。形式逻辑这个词是有多种含义的，有的专指传统逻辑(包括传统演绎逻辑和传统归纳逻辑)，有的专指演绎逻辑(包括传统演绎逻辑和现代演绎逻辑)，有的则专指现代数理逻辑。还有一种是政治性产物，是政治决定理论的恶果，是为了与辩证逻辑这种政治决定的逻辑相区分。这种意义的形式逻辑常常被污蔑为形而上学、低等逻辑，而辩证逻辑自然是科学的逻辑、高等逻辑。这种意义上的形式逻辑其实就是现今通常所说的逻辑学，这种意义上的形式逻辑正好没有承认辩证逻辑是逻辑学，而只认为其是一种哲学。
形式逻辑学的评价是什么?
其实，在现今的非经典演绎逻辑中确实有一支是与辩证逻辑有很多相似之处的，这种逻辑就是次协调逻辑(又常称为费协调逻辑、亚相容逻辑，也有人称之谓悖论逻辑、辩证逻辑)。这种逻辑承认经典演绎逻辑中的“矛盾律”并不普遍有效，试图将“矛盾”封装起来，不让其危害整个系统。许多认同黑格尔辩证逻辑的人也是因为看到了现代经典逻辑中的悖论问题，而期望黑格尔的辩证逻辑能解决这个问题。但事实上，类似的方法已经有了，这就是次协调逻辑。然而，次协调逻辑是隶属于现代非经典演绎逻辑的，如果次协调逻辑真是辩证逻辑的话，那么这种辩证逻辑属于现代非经典演绎逻辑的一支，而不是独立于其外。不过，次协调逻辑尽管与黑格尔的辩证逻辑有许多相似之处，但也有许多区别，并不能简单的说它是辩证逻辑。
营业执照公示信息