Intension

Il y a deux manières pour définir une classe ou une collection : en intension – à distinguer du mot « intention » avec un «t » -  et en extension.

Si nous voulons, par exemple, définir une collection représentant un petit village de cinque habitants qui s’appelle « Milet », nous aurons :
La définition en extension :  « la collection dont je parle, c’est Luc, Marc, Lisa, Vénus, Matteo »,  c’est-à-dire nous énumérons les éléments de cette collection ;

La définition en intension : « la collection dont je parle est les habitants de Milet », c’est-à-dire nous mentionnons une propriété définissante.

Selon Russell (1), la définition en intension est logiquement plus fondamentale que celle en extension pour deux raisons :

une définition extensionnelle peut toujours être réduite à une définition intensionnelle ;

une définition intensionnelle peut être irréductible à une définition extensionnelle.

Voir l’emploi de ces termes en psychanalyse ( La passe)

Bibliographie :

1. Russell B., Introduction à la philosophie mathématique, Payot, Paris, 1991.