Frege’s extrinsicism about the normativity of logic

Abstract

One ought to be logically consistent. This is sometimes referred to as the Normativity Thesis about logic. But why do we acknowledge it? This is the “source question”. This paper shows that Frege provided a promising, yet often ignored, answer to that question. Frege held that the logical consequence relation |= is not intrinsically normative. Rather, the normativity of logic is derived from something other than logic itself, namely the norm that one ought to judge truly and not falsely. I demonstrate that this carves out a spectrum of two opposed views on why logic is normative. I call Frege’s view extrinsicism, which contrasts with intrinsicism. The extrinsicist view, from an exegetical point of view, is basically absent from all interpretations of Frege’s view on the normativity of logic. From a systematic point of view, it offers a sound alternative to the widely accepted assumption that logic is demarcated from other disciplines such as microphysics, biology or arithmetic through a distinct and exceptional kind of normative force over how to judge and reason about the world, because it is taken to have a direct relation to truth and truth preservation.