Téléchargement au format .pdf

20 Introduction
determination. Cette operation a ete thematisee par la logique ante-fregeene et
surtout par la logique de Port-Royal. La construction des syntagmes nominaux
(termes) etait expliquee dans 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 de
determination et de 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.
La determination (comme indication sur l'extension) est condition
necessairepour qu'un terme puisse jouer le r^ole de sujet ou de predicat
dans une proposition.
L'analyse de langage a Port-Royal, J-C Pariente ([Par85])
Il y a un autre aspect pris en compte par la LDO : la typicalite des objets. Dans
la LDO les objets peuvent ^etre \typiques" ou \atypiques". Les objets typiques
sont les objets qui ne sont determines que par des determinations compatibles avec
toutes leurs proprietes denitoires. Les objets atypiques sont les objets qui ont ete
determines par au moins une determination niant une proprietedenitoire, mais
non-essentielle. La negation d'une proprietedenitoire n'appara^t pas comme une
contradiction parce que cette propriete est non-essentielle.
Dans la logique classique tous les objets sont typiques on peut m^emedireque
la notion d'objet n'existe pas.
Dans la LDO les notions d'objet, de concept, d'objet typique, d'objet atypique,
extension, extension typique, etendue, etendue typique sont les bases
conceptuelles du systeme.
L'analyse de l'evolution de la theorie de la quantication permet de determiner
les problemes epistemiques suivants :
Peut-on developper dans une logique formelle une theorie de la quantication
renouant avec la quantication classique ou le quanticateur s'applique
au syntagme nominal de facon que le syntagme quantie devienne argument
du predicat.
Y a-t-il des quanticateurs \typiques compatibles"?