Formal Logic

The traditional logic, going back to Aristotle, concerned with the formal validity of inferences (syllogistics, the law of contradiction, A=A). Hegel criticizes it as "logic of understanding" (*Verstandeslogik*), which remains abstract (empty of content, tautological), stops at fixed oppositions, and fails to grasp the self-movement of the concept (dialectic, sublation).