logique modale
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique dont les propositions sont précédées d'opérateurs de modalité qui en modifient l'interprétation.
Note :
Les opérateurs de modalité introduisent la notion de point de vue, d'état mental, d'état relatif à la connaissance et à l'intention. La logique modale regroupe les notions de logique du possible (possible, nécessaire), de logique déontique (permission, obligation), de logique épistémique (connaissance, croyance), de logique temporelle (futur, passé), etc.
Terme privilégié :
- logique modale n. f.
-
Dans un sens plus ancien et plus étroit, le terme logique modale est utilisé pour désigner uniquement la logique aléthique (ou logique du possible).
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- modal logic
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- lògica modal n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- lógica modal s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- lógica modal s. f.