 Second, pure general logic is absolutely binding on any rational human thinker and provides an unconditional logical ought: the laws of logic are the categorically normative laws of thought for all actual and possible rational animals. Thus pure general logic is both a formal science and also a moral science, but not a natural science. As such, pure general logic fully heeds the lesson of the Naturalistic Fallacy, that is, the irreducibility of the ought to the is. Correspondingly, just like the unconditional moral ought, as expressed by the Categorical Imperative, the logical ought, as expressed by, e.g., the law of non-contradiction, is rarely correctly obeyed in the real world by finite flawed thinkers like us, who commit logical fallacies and moral sins with comparable frequency: sadly, ought does not entail is. Still, as non-naturalistic, Kant’s pure general logic is irreducible to all contingent facts and especially to all empirical psychological facts; hence his logic is thoroughly anti-psychologistic, which exploits the flip-side of unconditional obligation, whether logical or moral: happily, is does not entail ought.