 Kant’s sorts of antinomies (cf.  section 3  above) or contradictions more generally are therefore, as Hegel puts it in one place, “in all objects of all kinds, in all representations, concepts and ideas” (EL-GSH Remark to §48). Hegel thus seems to reject, as he himself explicitly claims (SL-M 439–40; SL-dG 381–82), the law of non-contradiction, which is a fundamental principle of formal logic—the classical, Aristotelian logic (see entries on  Aristotle’s Logic  and  Contradiction)  that dominated during Hegel’s lifetime as well as the dominant systems of symbolic logic today (cf. Priest 1989: 391; Düsing 2010: 97–103). According to the law of non-contradiction, something cannot be both true and false at the same time or, put another way, “x” and “not-x” cannot both be true at the same time.