intension et extension

En logique, l’intension (ou « compréhension ») et l’extension sont deux façons de définir un concept. L'intension d'un concept est sa définition. Par exemple, l'intension de « chat » est : « animal à quatre pattes de la famille des félins ». L'extension est l'ensemble des choses auxquelles l'intension (la définition) s'applique. Par exemple : mon chat, le chat de mon voisin, les chats siamois, etc. On parle ainsi de « définition en intension » pour faire référence au contenu du concept de chat (« animal à quatre pattes de la famille des félins ») et de « définition en extension » pour l'ensemble des choses auxquelles s'applique la définition en intension. L'intension et l'extension sont utilisées de nos jours en philosophie du langage et sont héritées de la philosophie ancienne et médiévale. L'usage moderne de cette distinction correspond à la distinction fregéenne entre sens et dénotation. En logique aristotélicienne, l'intension est définie plus précisément comme l'ensemble des prédicats qui appartiennent à un concept, c'est-à-dire l'ensemble des prédicats du sujet.