在逻辑史上有不同的涵义。指“传统逻辑”。指亚里士多德创立的演绎逻辑。如弗兰西斯·培根用此作为他的归纳逻辑的对称。指“形式逻辑”。如康德以此作为他的先验逻辑的对称。