 That leaves space for a kind of pluralism that holds that some of the stronger logical principles are correct only when they are restricted to particular kinds of linguistic expression (such as those that feature in the language of Peano Arithmetic); if we don’t restrict them in this way, there will be counterexamples. Other logical principles (perhaps conjunction elimination is on this list) do not need to be restricted to the language of Peano Arithmetic. This leaves us with a clear sense in which we have different correct logics, depending on which language we are assuming. 