 Before we can hope to make any headway with these questions a number of clarifications are in order. First and foremost, in asking after the normative status of logic, we had better get clearer on what we mean by “logic”. For present purposes, I will take a logic to be a specification of a relation of logical consequence on a set of truth-bearers. Moreover, I will assume consequence relations to necessarily preserve truth in virtue of logical form. For simplicity, I will use “\(\models\)” to denote such a consequence relation. My default assumption will be to take the double turnstile to denote the semantic consequence relation of the classical first-order predicate calculus. But not much hangs on this. Partisans of other types of non-classical consequence relations may read “\(\models\)” as referring to their preferred consequence relation.