Téléchargement au format .pdf

150 La categorisation
6.2 Concepts et objets plus ou moins determines
Les concepts dans cette approche sont penses dans le m^eme sens que les concepts
fregeens, c'est-a-dire ils sont des fonctions denies sur l'ensemble des objets ayant
comme valeurs les valeurs de verite : vrai (>) et faux (?). Les concepts gardent
leur caractere non-sature, \l'insaturation" de type fregeen qui fait la distinction,
pour Frege, entre les concepts et les objets. Par contre, notre approche considere
une classe beaucoup plus large d'objets.
Pour Frege les objets etaient totalement determines. Dans la LDO on part
de l'idee qu'il existe des objets de dierents degres de determination. La LDO
les appelle \plus ou moins determines". La classe de tous les objets O contient
tous ces objets. Une sous-classe de O est la classe des objets determines O det .
Un objet determine est un objet tel que toute determination compatible avec la
nature intrinseque de l'objet n'apporte aucune information supplementaire sur
l'objet. Il n'y a plus besoin de determination pour individuer cet objet. S'il est
reel on peut le toucher, le montrer etc.
La dierence entre les objets consideres par cette approche et les objets
fregeens est :
{ Les objets fregeens sont \satures" dans le sens qu'ils sont vus comme des
operandes absolus par rapport aux fonctions mais ils sont determines par
rapport aux determinations
{ Les objets de la LDO sont toujours des operandes absolus par rapport aux
operateurs, mais ils peuvent ^etre determines ou indetermines.
La caracteristique determine { indetermine des objets est denie par rapport
a une operation particuliere: ladetermination. Cette operation a ete thematisee
par la logique ante-fregeene et surtout par la logique de Port-Royal.
\Ce qu'il y a de plus remarquable dans ces termes complexes est
que l'addition qu'on peut faire a un terme est de deux sortes: l'une
qu'on peut appeler explication, et l'autre determination."
La logique ou l'art de penser, A. Arnauld, P. Nicole ([Arn70])
Cette operation a ete completement eacee par la logique mathematique qui
met dans la m^eme classe { la classe des fonctions { toutes les operations comme:
determination, qualication, distinguees par les langues naturelles.
Les langues naturelles distinguent ces operations par des procedes dierents
d'encodage. Donc, c'est en s'inspirant de la langue naturelle qu'on peut conferer
a ladetermination un statut particulier dans notre modele : le statut d'operateur
qui construit des objets plus ou moins determines.