“普通逻辑”名称与体系的确立是逻辑学的一个进步

“形式逻辑”现在已成了一个很不确定的概念。公元前4世纪亚里士多德创立的直言演绎逻辑,自康德始200多年一直被称作“形式逻辑”;后经斯多葛学派(称充了复合命题逻辑)、培根和穆勒等人(加进了归纳逻辑)的发展形成的传统逻辑,也叫“形式逻辑”;