 Other interpreters, however, have been inspired by Hegel’s dialectics to develop alternative systems of logic that do not subscribe to the law of non-contradiction. Priest, for instance, has defended Hegel’s rejection of the law of non-contradiction (cf. Priest 1989; 1997 [2006: 4]). The acceptance of some contradictions, he has suggested, does not require the acceptance of all contradictions (Priest 1989: 392). Popper’s logical argument is also unconvincing. Contradictions lead logically to any claim whatsoever, as Popper said, only if we presuppose that nothing can be both true and false at the same time (i.e. only if we presuppose that the law of non-contradiction is correct), which is just what Hegel denies. Popper’s logical argument thus assumes what it is supposed to prove or begs the question (Priest 1989: 392; 1997 [2006: 5–6]), and so is not convincing. Moreover, consistency (not allowing contradictions), Priest suggests, is actually “a very weak constraint” (Priest 1997 [2006: 104]) on what counts as a rational inference. Other principles or criteria—such as being strongly disproved (or supported) by the data—are more important for determining whether a claim or inference is rational (Priest 1997 [2006: 105]). And, as Hegel pointed out, Priest says, the data—namely, “the world as it appears” (as Hegel puts it in EL) or “ordinary experience itself” (as Hegel puts it in SL)—suggest that there are indeed contradictions (EL Remark to §48; SL-dG 382; cf. SL-M 440; Priest 1989: 389, 399–400). Hegel is right, for instance, Priest argues, that change, and motion in particular, are examples of real or existing contradictions (Priest 1985; 1989: 396–97; 1997 [2006: 172–181, 213–15]). What distinguishes motion, as a process, from a situation in which something is simply here at one time and then some other place at some other time is the embodiment of contradiction: that, in a process of motion, there is one (span of) time in which something is both here and not here at the same time (in that span of time) (Priest 1985: 340–341; 1997 [2006: 172–175, 213–214]). A system of logic, Priest suggests, is always just a theory about what good reasoning should be like (Priest 1989: 392). A dialectical logic that admits that there are “dialetheia” or true contradictions (Priest 1989: 388), he says, is a broader theory or version of logic than traditional, formal logics that subscribe to the law of non-contradiction. Those traditional logics apply only to topics or domains that are consistent, primarily domains that are “static and changeless” (Priest 1989: 391; cf. 395); dialectical/dialetheic logic handles consistent domains, but also applies to domains in which there are dialetheia. Thus Priest, extending Hegel’s own concept of aufheben (“to sublate”; cf.  section 1,  above), suggests that traditional “formal logic is perfectly valid in its domain, but dialectical (dialetheic) logic is more general” (Priest 1989: 395). (For an earlier example of a logical system that allows contradiction and was inspired in part by Hegel [and Marx], see Jaśkowski 1999: 36 [1969: 143] [cf. Inoue 2014: 128–129]. For more on dialetheic logic generally, see the entry on  Dialetheism.)