Intension et extension

 Pour l’article homophone, voir Intention.

L'intension (ou compréhension chez les auteurs les plus anciens) et l'extension sont des concepts logiques qui ont été utilisés par la philosophie ancienne et médiévale, ainsi, qu'aujourd'hui, par la philosophie du langage. L'extension d'un terme peut aussi être désignée par le terme de « dénotation ». Selon la logique traditionnelle, aristotélicienne, l'extension se réfère à l'ensemble des objets auxquels s'appliquent ces caractères (objets de la classe). Elle s'oppose ainsi à l'intension ou à la compréhension, qui désigne l'ensemble des prédicats qui appartiennent à un concept (prédicats du sujet).

Introduction

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. L'intension s'identifie ainsi au concept.

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 »).

Deux termes peuvent dès lors avoir une intension différente, c'est-à-dire être des concepts distincts, tout en ayant la même extension, c'est-à-dire s'attribuer au même groupe d'objets (par exemple le terme de « créature avec un foie » et « créature avec un rein »)^[1]. La réciproque n'est pas vraie: deux termes ne peuvent avoir la même intension mais avoir une extension différente^[1]. L'identité d'intension détermine donc l'identité d'extension; ou encore, la signification d'un terme (son intension) détermine son extension^[1].

Selon la théorie médiévale, « le concept correspondant à un terme n'était rien d'autre qu'une conjonction de prédicats » (Putnam, 1975^[1]). Dès lors, « le concept correspondant à un terme devait toujours fournir des conditions nécessaires et suffisantes d'appartenance à l'extension du terme »^[1]. Les discussions médiévales étaient de nature à la fois logique et théologique: il y avait en effet un paradoxe théologique qui se présenta aux théologiens juifs, arabes et chrétiens, concernant la définition du terme « Dieu »^[1]. Le concept de Dieu était en effet déterminé par la conjonction de différents termes, les « perfections divines »: « Souverainement Bon », « Tout-Puissant », « Omniscient », etc^[1]. Mais l'unité divine empêchait l'essence divine d'être complexe: « « Dieu » était défini à l'aide d'une conjonction de termes, mais Dieu (sans guillemets) ne pouvait pas être le produit logique des propriétés correspondantes »^[1].

Intension, concept et état psychologique

Une théorie dominante affirmait ainsi que la signification d'un terme ou d'un énoncé, au sens d'intension, était un concept. Selon Hilary Putnam, cette théorie débouchait sur la conclusion selon laquelle un concept était une entité mentale^[1]. Frege et Carnap, qui partageaient cette théorie du concept, mais refusaient le « psychologisme », assimilaient le concept non pas à une entité mentale, mais à une entité abstraite^[1]. Toutefois, la saisie de ces entités abstraites demeuraient un « acte psychologique »: comprendre un mot, ou connaître son intension, c'était selon eux être dans un certain état psychologique.

C'est cela qu'a mis en cause Hilary Putnam dans son expérience de pensée dite de la Terre jumelle^[1]. Putnam s'attaque à en effet à cette théorie descriptiviste de la signification, qui repose selon lui sur deux hypothèses :

• Connaître la signification d'un terme revient à être dans un certain état psychologique^[1];
• La signification d'un terme (au sens d'intension) détermine son extension (au sens où l'identité d'intension implique l'identité d'extension)^[1].

Référence

Voir aussi

• Dénotation et connotation
• signification (philosophie)
• Totalité

• Portail de la logique
• Portail de la philosophie