Téléchargement au format .pdf

Introduction 147
et non pas vues comme des encodages dans une langue ou une autre. Il existe
l'approche qui confere aux objets le degre le plus eleve d'abstraction en les concevant
comme des entites abstraites de nature primitive qui peuvent ^etre obtenues
par decomposition par des dierentes operations. Ce sont les objets de
Curry 1 ([Cur58]).
Les objets sont repartis en classes selon certaines proprietes communes. Ce
sont les proprietes qui ont ete appelees concepts dans la tradition logico-philosophique
et egalement dans la tradition linguistique. La notion de concept bien
qu'elle marque toute la logique antefregeenne se detache comme denition a partir
du systeme de Frege (voir le chapitre 2). La logique de Port-Royal parle d'idees,
B.Russell de fonction propositionnelle, G. Frege de concepts. Dans la tradition
linguistique plus proche de nous les concepts sont denis comme des systemes de
representations complexes. Pour A. Culioli [Cul99b]:
\Les notions sont des systemes de representations complexes de
proprietes physico-culturelles c'est-a-dire des proprietes d'objets issues
de manipulations necessairement prises a l'interieur des cultures,
et, de ce point de vue, parler de notion, c'est parler de problemes qui
sont du ressort des disciplines qui ne peuvent pas ^etre ramenees uniquement
a la linguistique. Une notion est anterieure a la categorisation
en nom, verbe, etc."
Pour B. Pottier ([Pot92]) les concepts sont des noemes. J.-P. Descles ([Des98g],
[Des99a]) en gardant la notion fregeenne de concept, elargit la notion d'objet
(entite completement saturee par rapport au concept, dans le sens de Frege) en
postulant les objets plus ou moins determines ([Des99a]):
\Du point de vue logique, la notion d'objet gagnerait a ^etre mieux
cernee" ([Des99a]).
C'est la Logique de la Determination d'Objets (LDO) qui part de
cette hypothese. La LDO represente une contribution a une comprehension
theorique de l'objet par une nouvelle approche logique constructive, fondee sur
une operation fondamentale { l'operation de determination. Cette logique rend
compte des problemes cognitifs et deductifs rencontres par l'heritage des proprietes
par des instances typiques et atypiques. Elle montre comment sont logiquement
organisees les notions de classe extensionnelle, d'intension, d'objets
plus ou moins determines, d'objets completement determines, d'etendue, dere
pre sen tant plus ou moins typique d'un concept, d'objet typique. Cette logique,
comme systeme logique est un systeme applicatif, type et applique aux objets
1 Curry les denote par Obs