Téléchargement au format .pdf

184 La categorisation
s
f:= un triangle
g
s
x:= un triangle equilateral
Figure 6.17: Le triangle equilateral
Le concept g se trouve dans une cha^ne de determinations qui permet d'engendrer
x a partir de f
La LDO par sa partie constructiviste (la construction de la classe des objets
O) modelise cette disambigusation.
2. Pour la notion de concept on a deux choix epistemiques :
accepter qu'un concept est deni sur O (toute la classe des objets plus ou
moins determines ), donc
8
>< >
(fx)= ou
>:
?
est englobe dans le rapport entre f et x. Ainsi (f(f)) peut ^etre "vrai" ou
"faux" et, donc, il faut donner des cas ou (f(f)) = >, c'est a dire englober dans
le systeme un axiome de type A 6.
accepter qu'un concept est deni sur O det (comme dans le cas fregeen et celui
de la logique classique) et etendre la denition de l'application d'un concept f a
tout objet x plus ou moins determine en posant comme axiome: (f(f)) = > et en
donnant un moyen d'heritage de la valeur > a travers les cha^nes de determination.
L'axiome A 6:
(f(f)) = > , Ext f 6= ?
est justie.
L'objet typique d'un concept \tombe sous" ce concept si et seulement si,il
existe des objets totalement determines a correlat empirique.