logique intensionnelle
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique dont l'élaboration est justifiée par les limites du principe d'extensionalité de la logique classique qui exclut toute approche formelle de la question du sens.
Notes :
Cette logique s'intéresse aux contextes intentionnels créés par des verbes d'attitude propositionnelle comme savoir, croire, souhaiter... La sémantique des logiques intensionnelles est généralement donnée en termes de mondes possibles.
Basée sur la distinction entre le caractère contingent de l'extension et le caractère permanent de l'intension. La logique de Montague en est un exemple.
Terme privilégié :
- logique intensionnelle n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- intensional logic