  The proposals for demarcating logical constants that we have examined so far have all been analytical demarcations. They have sought to identify some favored property (grammatical particlehood, topic neutrality, permutation invariance, characterizability by inferential rules, etc.) as a necessary and sufficient condition for an expression to be a logical constant. A fundamentally different strategy for demarcating the constants is to start with a job description for logic and identify the constants as the expressions that are necessary to do that job. For example, we might start with the idea that the job of logic is to serve as a “framework for the deductive sytematization of scientific theories” (Warmbrod 1999, 516), or to characterize mathematical structures and represent mathematical reasoning (Shapiro 1991), or to “[express] explicitly within a language the features of the use of that language that confer conceptual contents on the states, attitudes, performances, and expressions whose significances are governed by those practices” (Brandom 1994, xviii). Let us call demarcations of this kind pragmatic demarcations.