 Without a principled distinction between logical and nonlogical constants, it seems, logic would need to be a kind of universal science: not just a canon for inference, but an encyclopedia. If logic is to be a distinctive discipline, the Demarcater will argue, it must concern itself not with all kinds of validity or goodness of arguments, but with a special, privileged kind: formal validity.