Relation d'équivalence

Toute relation d'équivalence est associée à une catégorisation. Ces catégories sont-elles objectives ? Ce problème des catégories objectives présente un aspect épistémologique : considérant deux éléments x et y quelconques de E, comment décider que "$x\mathcal{R}y$" est vrai ?

Si on considère l'exemple de la relation d'équivalence fondée sur le caractère masculin vs. féminin des êtres humains, comment décide-t-on que telle personne est du même caractère que telle autre ? Tout d'abord, on peut en principe vérifier que la relation d'équivalence existe pour une personne donnée en lui demandant d'établir des groupes selon la procédure détaillée dans le paragraphe précédent. Si on constate que les groupes produits par cette personne varient d'un modèle à l'autre, la notion de catégorisation est indéfinie pour cette personne, puisqu'on ne peut pas l'associer à une relation d'équivalence.

Bien souvent, les critères de catégorisation ne sont pas explicites, mais nous sommes capables de produire des jugements de classification conformes à la structure d'une relation d'équivalence. Il suffit qu'en principe le résultat des jugements de classification ne dépende pas de la personne qui effectue le jugement pour qu'on puisse considérer qu'une catégorisation, $x\mathcal{R}y$, soit vraie ou fausse.