Téléchargement au format .pdf

Chapitre 11
Conclusions
L'utilisation des modelisations-objet pour representer les connaissances a connu
un important developpement en informatique. Cette evolution provoque un
regain d'inter^et pour la notion d'objet, dans le domaine de la logique.
Cette etude represente la formalisation de la Logique de la Determination
d'Objets (LDO) a partir des concepts de J.-P. Descles.
L'idee d'etudier les particularites mises en evidence par la logique et par la
linguistique dans le but de les integrer dans une theorie unitaire appartient a J.-P.
Descles qui a initie cette etude. Cette \unication" conduit a une extension de
la quantication traditionnelle.
Nous avons tout d'abord realise uneetude critique des notions de quantication
et de categorisation chez divers auteurs et dans diverses theories. Cette
synthese nous a permis de faire une analyse de la quantication et de la categorisation
et de relever les points forts et les points faibles de diverses theories, dans
le but de les completer et de les integrer dans une theorie plus generale.
En partant de l'idee que la quantication comme processus cognitif repose
sur un systeme de categorisation, nous avons \couple" les deux notions. Nous
avons etudie la categorisation du point de vue de l'aspect \d'arriere plan" de la
quantication.
Comme ces deux notions apparaissent egalement dans la logique et dans la
linguistique, nous sommes partis d'une analyse de chacune dans les deux domaines
: comment la quantication a ete construite dans la logique et quelle est
sa categorisation sous-jacente. C'est en eet la logique qui, la premiere, parle
explicitement de la quantication. La maniere dont la linguistique voit la quantication
est distincte de celle de la logique.
Cette etude realise d'abord une analyse de la quantication et de la categorisation
sous-jacente par rapport aux problemes souleves par la logique et par la
linguistique.
La possibilite de la construction d'un systeme formel qui capte les \traits de