Téléchargement au format .pdf

Conclusions 233
Cette theorie est basee sur le systeme de categorisation de la LDO.
Les operateurs de quantication proposes tiennent compte de la typicalite/atypicalite.
L'interpretation des operateurs de quantication se deploie sur deux axes
cognitifs :
- le rapport entre l'intention et l'extension.
- la typicalite.
Cette etude est une etude theorique de logique, au niveau des fondements de
la cognition.
Il reste de nombreux problemes ouverts dans ce domaine, de niveau theorique
(logique) ou applicatif (linguistique). Deux de ces problemes sont :
L'etude du systeme des operateurs de quantication (typiques et generaux)
dans d'autres systemes logiques comme la logique intuitionniste ou les logiques
paraconsistantes [DCo97], [DCo97]
L'identication des mots et des expressions qui representent l'encodage des
operateurs de quantication dans une langue naturelle, dans des grands corpus
de texte.