intensionnelle (logique)
Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».
Du latin médiéval intensio, « magnitude ».
Logique
Partie de la logique concernée non par l'extension des termes, mais par leur « compréhension » ou, selon le néologisme proposé au xixe s. par W. Hamilton, par leur « intension » ; à l'inverse de la logique classique, qui traite semblablement de tous les termes coréférentiels ou de tous les énoncés de même valeur de vérité, la logique intensionnelle prend également en considération la manière dont le réfèrent d'un terme est présenté, ainsi que la proposition exprimée par l'énoncé.
L'un des objectifs de la logique intensionnelle est de parvenir à un traitement correct des contextes « opaques », dans lesquels la substitution de termes coréférentiels est susceptible de modifier la valeur de vérité des phrases qui les contiennent ; ainsi, l'on ne peut conclure de Œdipe croyait qu'il épousait Jocaste à Œdipe croyait qu'il épousait sa mère. La solution généralement retenue fait intervenir l'extension des termes incriminés dans un ensemble déterminé de « mondes possibles » : l'inférence ci-dessus ne serait légitime que si Jocaste et la mère d'Œdipe étaient le même individu dans toutes les situations possibles compatibles avec les croyances d'Œdipe.
Jacques Dubucs