The subversive character of truth inflicts upon thought an imperative quality. Logic centers on judgments which are, as demonstrative propositions, imperatives, — the predicative “is” implies an “ought.” … Verification of the proposition involves a process in fact as well as in thought: (S) must become that which it is. The categorical statement thus turns into a categorical imperative; it does not state a fact but the necessity to bring about a fact. For example, it could be read as follows: man is not (in fact) free, endowed with inalienable rights, etc., but he ought to be.