Téléchargement au format .pdf

148 La categorisation
(au sens que leurs attribu le systeme m^eme). La LDO represente d'un cote un
systeme de categorisation plus adequate pour la categorisation linguistique que
les categorisations traditionnelles. Du point de vue du raisonnement elle est
une logique alternative comparable aux logiques non-monotones et a la logique
lineaire. Elle represente aussi un systeme de base pour denir la semantique d'une
nouvelle theorie de la quantication, beaucoup plus adequate au langage que la
quantication de la logique classique.
Ce chapitre est organise en sept sous-chapitres. Il presente les bases conceptuelles
de la LDO et la LDO comme systeme de categorisation. Le premier decrit
les concepts et les objets de la LDO. Le deuxieme sous-chapitre presente les
operateurs de typication et de determination . Le troisieme sous-chapitre
donne la structure de l'intension d'un concept { Int f. Le quatrieme souschapitre
analyse la notion de \compatibilite" dans la LDO. Dans le cinquieme
sous-chapitre on denit les notion \d'objet typique" et \d'objet atypique". Le
sixieme sous-chapitre donne le systeme d'axiomes de la LDO et le septieme chapitre
les classes des objets de la LDO et leurs rapports reciproques.