Logic and Intensionality

Abstract

There are different ways we use the expressions “extension” and “intension”. I specify in the first part of this paper two basic senses of this distinction, and try to show that the old metaphysical sense, by means of particular instance vs. universal, is more fundamental than the contemporary sense by means of substitutivity. In the second part, I argue that logic in general is essentially intensional, not only because logic is a rule-guided activity, but because even the extensional definition of a logic system presupposes an intensional notion of logical consequence.