Téléchargement au format .pdf

168 La categorisation
En plus, tous les concepts de Intf sont compatibles avec f, c'est-a-dire :
Int f Compf
La notion de compatibilite exprime le fait qu'un concept f peut ^etre determine
par un concept g. Une propriete g peut determiner un objet x qui tombe sous
f. Dans ce cas g est compatible avec f. Il existe des objets qui tombent sous f
qui sont determines par g, il en existe d'autres qui ne le sont pas. Par exemple
il existe des hommes aux yeux bleus et des hommes qui n'ont pas les yeux bleus,
des hommes qui habitent a Brest et des hommes qui n'habitent pas a Brest.
Les proprietes \habiter a Brest" et \avoir les yeux bleus" ne determinent pas
la typicalite. Ces proprietes sont simplement compatibles avec le concept \^etre
homme". Mais la propriete \avoir 50" est une propriete incompatible avec le
concept \^etre homme".
La notion de compatibilitenesedenit pas exclusivement par la notion d'intension.
Les 5 cas de compatibilite representent une modelisation du rapport
entre Int f et Comp f. Mais ce rapport est beaucoup plus complexe et nous
n'avons pas a priori une information complete sur Comp f.
Il y a deux points de vue possibles :
{ L'intension Int f est vue comme l'union des proprietes essentielles etdes
proprietes non-essentielles typiques la classe des proprietes compatibles
avec f contient en plus les proprietes non-essentielles atypiques et les proprietes
generales Prop f (voir la gure 6.7)
{ L'intension Int f est vue comme l'union des proprietes essentielles, des proprietes
non-essentielles typiques et des proprietes non-essentielles atypiques
la classe des proprietes compatibles avec f contient en autre les proprietes
generales Propf (voir la gure 6.7 )