Téléchargement au format .pdf

Categorisation et quantication dans la LDO 19
psychologie cognitive apporte des elements nouveaux. Rosch [Ros78] a developpe
une importante notion, celle de prototype, avec la dimension correspondante, la
typicalite. D'apres Roch un prototype est une sous-categorie, ou eventuellement,
un exemplaire qui constitue une \meilleure" representation de la categorie que
les autres sous-categories ou exemplaires. Rosch a montre que, si l'on contr^ole les
eets dus a lafrequence des mots dans la langue, le degre de typicalite des souscategories
joue un r^ole essentiel dans ces jugements. Dans sa conception c'est
la quantite de caracteristiques ou d'attributs que les sous-categories possedent
en commun qui determine leur ressemblance mutuelle et c'est semblablement
la quantite de caracteristiques qu'une sous-categorie possede en commun avec la
categorie superieure qui fait que la premiere est, a un degre plus ou moins eleve,
typique ou prototypique en regard de la seconde.
Le fait que les sous-categories d'une categorie n'entretiennent pas avec cette
derniere de relations parfaitement simples n'est pas tres facilement interpretable.
On ne voit pas comment le sous-ensemble des pommes pourrait ^etre \plus inclus"
que celui des tomates dans l'ensemble des fruits (Les fruits, notamment pour la
conception que s'en font les enfants occidentaux, sont le plus souvent consommes
comme desserts et composent des plats sucres. C'est moins habituel pour les
tomates que pour les pommes !) .
La typicalite de Rosch concerne les representations naturelles et elles seules,
celles qui sont presentes dans la memoire semantique des individus. Le mot
\typique" vise alors a designer une propriete d'une representation.
Ce sont des elements que les categorisations classiques de la logique ou des
mathematiques (notamment la theorie des ensembles) n'ont pas pris en compte.
Les categories des \mots" des grammaires non plus.
Peut-on avoir une categorisation qui tienne compte de ces elements?
Si oui, quelle est la quantication correspondante?
Voila des problemes auxquels doit repondre une theorie de la quantication
apres qu'on lui aura donne un statut plus clair.
1.6 Categorisation et quantication dans la LDO
La LDO est une logique qui rend mieux compte des notions d'objet et de concept.
Elle est a la fois une ontologie formelle et un systeme logique. En ce qui concerne
la categorisation, elle considere les objets \plus ou moins determines" comme
representants objectaux des concepts. Ces objets sont determines par des operations
de \determination" jusqu'aux objets determines. Du point de vue de la
construction des objets c'est un retour au coeur de la logique, notamment la Logique
de Port Royal, qui tenait compte de ce type d'operation. La determination
des objets est denie par rapport a une operation particuliere elle aussi appelee la