形式逻辑这个词是有多种含义的,有的专指传统逻辑(包括传统演绎逻辑和传统归纳逻辑),有的专指演绎逻辑(包括传统演绎逻辑和现代演绎逻辑),有的则专指现代数理逻辑。还有一种是政治性产物,是政治决定理论的恶果,是为了与辩证逻辑这种政治决定的逻辑相区分。这种意义的形式逻辑常常被污蔑为形而上学、低等逻辑,而辩证逻辑自然是科学的逻辑、高等逻辑。这种意义上的形式逻辑其实就是现今通常所说的逻辑学,这种意义上的形式逻辑正好没有承认辩证逻辑是逻辑学,而只认为其是一种哲学。