“现代逻辑”的对称。泛指产生于数理逻辑之前的传统形式逻辑，包括古典演绎逻辑与古典归纳逻辑。一说主要指亚里士多德创立的演绎逻辑，特指经过中世纪的演变的亚里士多德逻辑。