Téléchargement au format .pdf

L'ontologie de l'objet 5
temps elles ont essaye d'etablir un rapport entre les dimensions des classes. Elles
se sont crees leurs propres procedes de categorisation et de quantication. Les
mathematiques par exemple, ont \invente" les dierents ensembles de nombres
dont la construction a comme base un procede classicatoire. Ce sont toujours les
mathematiques qui ont \invente" la quantication pour exprimer le fait qu'une
certaine classe n'est pas vide, ou que toute une classe est comprise dans une
autre :
Tout x est y
Il y a des x qui sont y
Mais tout d'abord il faut s'interroger sur l'objet :
Qu'est-ce qu'un objet?
A quelles conditions la connaissance d'un objet est-elle possible?
Pourquoi la connaissance est-elle une connaissance d'objets?
Quel est le principe de l'unite des objets?
Comment fonder une ontologie?
1.2 L'ontologie de l'objet
Une ontologie est une classication ou une categorisation. Quelle est la dierence
entre une classication et une categorisation?
Selon J.-P. Descles :
Une classication represente une simple distribution des objets
dans des classes, tandis qu'une categorisation contient en plus des
classes, les relations entre ces classes. Une categorie ne peut ^etre
pensee qu'avec d'autres categories. Une categorie est plus qu'une
classe. Elle ne se denit pas par elle-m^eme. Elle rentre dans des
hierarchies.
Une ontologie est plut^ot une categorisation qu'une classication. Un premier
probleme qui se pose est la relation entre l'ontologie du sens commun qui
parle d'objets et l'ontologie formelle, liee classiquement et traditionnellement a
la logique qui specie les proprietes des objets, en utilisant la theorie de la quantication
et des modeles [Nef98].