Téléchargement au format .pdf

Les problemes de categorisation-les traces lingustiques de la typicalite 113
objets ne sont pas identiques. Les pshychologues ont montre que dans le processus
de categorisation la cognition met en evidence des objets \plus representatifs" de
la classe { \les objets typiques" par opposition aux objets \moins representatifs
de la classe"{ \les objets atypiques" [LeN79], [LeN89],[Ros78]. C'est le cas de
l'autruche ou du pingouin dans la classe des oiseaux, la baleine dans la classe
des mammiferes. Les psychologues expliquent le processus de construction des
classes par une procedure qui se developpe de la facon suivante :
En partant d'un individu considere comme \prototype", un autre individu
est accepte dans la classe ou rejete par rapport a ses proprietes comparees avec
les proprietes du prototype. Le statut du prototype et m^eme le processus de
construction sont decrits d'une maniere informelle, et pas susamment claire.
Mais le concept de typicalite existe dans la cognition et il a des traces dans les
langues naturelles. Dans les deux premiers exemples ci-dessus, le pronom \tous"
encode en francais \la totalite", l'article deni \les" l'idee de \tous les francais
typiques" d'un certain point de vue donc une \quasi-totalite". Les mots \tous,
sans exception" encodent la \totalite". Souvent, c'est le contexte qui decide s'il
s'agit d'une \totalite" ou d'une \quasi-totalite".
Par contre, dans les categorisations mathematiques les classes sont construites
de sorte que chaque objet de la classe peut ^etre egalement un representant de cette
classe. Il n'existe pas la typicalite. Si une propriete qui change les objets appara^t,
elle engendre une nouvelle classe.
C'est pour cette raison que les formalismes qui ont ete construits comme fondements
des mathematiques restent trop \grossiers" pour une analyse linguistique.
Les problemes qui surgissent naturellement sont :
{ Peut-on decrire d'une maniere formelle la typicalite?
{ Si oui, quel est le processus de categorisation sous-jacent et sa description
formelle?
{ Peut-on avoir une theorie de la quantication qui tienne compte de ce
phenomene?
{ Quels sont les encodages dans les langues naturelles de la typicaliteetdela
quantication? Autrement dit quels sont \les mots" ou les autres procedes
qui specient ces operations cognitives?
La logique classique ne donne aucune reponse a ces questions, la theorie de
la quantication m^eme dans son interpretation fregeenne, non plus. Un essai de
reponse se trouve dans la theorie de J.-P. Descles qui est presentee et formalisee
dans les chapitres 6 et 7.