Téléchargement au format .pdf

274 Conclusions
nature logique" et de \nature linguistique" est une preuve de la pertinence de cette
demarche. Elle a abouti et s'est concretisee dans le developpementdelaLDOet
de son systeme de quanticateurs. La LDO est un systeme de categorisation qui
tient compte de la determination et de la typicalite, son systeme de quanticateurs
represente une theorie de la quantication. La LDO repond a certains problemes
linguistiques et logiques et donne plus de lumiere dans des zones assez obscures
jusqu'a maintenant de la cognition :
{ La LDO donne a lavariable le statut d'objet plus ou moins determine, avec,
comme initiateur l'objet totalement indetermine typique.
{ La LDO decrit le processus de qualication par une cha^ne de determinations
dont la primitive est l'operateur de determination .
{ La dimension cognitive de la typicalite est representee par l'operateur de
typication ().
{ La quantication est representee par un systeme d'operateurs de quantication
plus riche que le systeme classique (la theorie star). Les quanticateurs
s'appliquent aux concepts et non pas a la proposition entiere comme dans la
logique classique. C'est l'equivalent formel de la construction du syntagme
nominal dans la grammaire.
{ Le pronom est un operateur.
{ Les connecteurs de la logique classique sont des operateurs, mais une semantique
du langage doit prendre en compte d'autres operateurs comme l'operateur
de typication et l'operateur de determination ( et ).
{ Le paradigme sujet-predicat appartenant a la grammaire est utilise ounon
selon le cas et le niveau d'analyse.
Cette etude a deux parties :
{ L'analyse de la categorisation et de la quantication
{ La formalisation de la LDO.
La demarche suivie dans la formalisation est de veiller constamment a l'adequation
du modele par rapport au domaine qui est dans ce cas le langage et la
cognition. Nous avons appliquelamethode conformementa laquelle les constructions
formelles developpees ne sont pas developpees \pour elles-m^emes", sans que
l'on se preoccupe de leur domaine d'application eventuelle. Cette modelisation