logique aléthique
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique dont les propositions expriment des raisonnements soumis aux modalités du possible et du nécessaire.
Note :
Les opérateurs il est possible que et il est nécessaire que sont les opérateurs aléthiques. Parmi les logiques modales, c'est la logique aléthique qui a été le plus anciennement étudiée.
Termes privilégiés :
- logique aléthique n. f.
- logique du possible n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- alethic logic