Aristote est le premier qui ait donné un exposé partiel de la logique, entendue en ce sens; c'est ce qu'on désigne traditionnellement sous le nom de logique formelle. Mais le siècle dernier en a vu la conception évoluer profondément en même temps que la méthode s'étendre: la logique formelle étriquée et stéréotypée de la tradition a cédé la place à une nouvelle logique, discipline qui surpasse l'ancienne par l'étendue de son domaine et par sa subtilité. La logique formelle traditionnelle n'est pas réfutée ni reniée, car ce qu'elle faisait, la logique nouvelle le fait encore, mais cela ne représente que le sous-produit d'une entreprise plus puissante.
