 In the case of categorical ought-sentences, the order of presupposition is reversed: the non-normative sentence (b′) derives its justification or meaning from the normative one (a′). To model the relation between (a′) and (b′) on the relation between (a) and (b) ‘would be to practice moral philosophy in a Socratic fashion, that is, it would imply a one-sided intellectualistic interpretation of the concept of value’ (1909, 242). Kroner thinks that the case of logic is similar to the case of morals. The highest logical norm is something like (a″) …