Intension
Un article de Wikipédia, l'encyclopédie libre.
L'intension est un concept logique qui s'oppose à l'extension. Toute classe d'éléments peut être définie en extension (en nommant ou en désignant chaque individu qui en fait partie) ou en intension, par une description (spécification d'un certain nombre de prédicats) qui définit la classe.
Par exemple, la classe des rois de France peut être désigné extensionnellement en donnant une liste de noms, ou intensionnellement par le concept « roi de France » (c'est-à-dire le prédicat, la propriété « être un roi de France »).
