Author(s): Guido Imaguire
Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247
Volume: 14;
Issue: 1;
Start page: 111;
Date: 2010;
Original page
Keywords: Extension | intension | logical consequence.
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.
Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247
Volume: 14;
Issue: 1;
Start page: 111;
Date: 2010;
Original page
Keywords: Extension | intension | logical consequence.
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.