existence
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
L'existence d'un individu rendant vraie une expression de la logique des prédicats est affirmée par le signe 3.
Notes :
Les logiciens classiques considéraient le quantificateur existentiel (quelque homme est mortel...) comme une conséquence « subalterne » du quantificateur universel.
La pensée moderne dite « logiciste » fait une distinction plus nette : dans un langage formalisé, le quantificateur universel peut s'appliquer à une variable qui ne prendra finalement aucune valeur. Le quantificateur existentiel, lui, sera supprimé et remplacé par une valeur ou une fonction explicite, c'est la skolémisation.
Terme privilégié :
- existence n. f.
-
Du latin existentia, même sens.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- existence