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

形式邏輯學(xué)的評價是什么?

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