Logique formelle

La logique traditionnelle, remontant à Aristote, qui s'occupe de la validité formelle des syllogismes (syllogistique, principe de non-contradiction, A=A). Hegel la critique comme « logique de l'entendement », qui reste abstraite (vide de contenu, tautologique), s'arrête à des oppositions fixées et ne saisit pas l'automouvement du concept (dialectique, sublation).