Autor: Guido Imaguire

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.

ISSN: 1414-4217

DOI: DOI:10.5007/1808-1711.2010v14n1p111

Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p111/17983

Palavras-Chave: Extension; intension; logical consequence