Téléchargement au format .pdf

Description de ce travail 23
La LDO aide a mieux comprendre la logique sous-jacente a lamodelisation
objet.
La LDO aide a faire progresser certains travaux en linguistique informatique
: les systemes a base de connaissances, la modelisation des interfaces
en langues naturelles.
La LDO represente une alternative d'analyse des reseaux semantiques concernant
les problemes d'heritage.
La justication et les raisons de la construction de la LDO apparaissent suite
a une analyse de la categorisation et de la quantication dans la logique et la
linguistique. Cette these contient deux parties distinctes :
Une analyse de la categorisation et de la quantication dans la logique et
linguistique. Cette analyse motive et justie la deuxieme partie.
La construction de la LDO.
Le travail est structure delamaniere suivante :
Le chapitre 2 presente le systeme conceptuel de Frege et sa theorie de la
quantication vus au travers d'une analyse critique de ses contributions a la
logique du langage. Les approches de Russell, Peano et Peirce sont brievement
rappelees.
Le chapitre 3 contient l'analyse de la theorie fregeenne du langage et une
critique de cette theorie avec les arguments des ante-fregeens, realisee par un
post-fregeen : F. Sommers.
Le chapitre 4 contient une analyse critique de Frege par des arguments postfregeens.
La logique combinatoire de Curry est presentee et ses capacites applicatives
sont exempliees.
Dans le chapitre 5 nous presentons une theorie de la quantication d'origine
linguistique, la theorie des quanticateurs de Keenan.
Le chapitre 6 contient la description du systeme conceptuel de la LDO.
Le chapitre 7 presente d'abord un tableau de la quantication chez Quine,
chez Curry et dans le calcul du premier ordre (theorie des modeles etdeduction
naturelle). Ensuite, on introduit le systeme des operateurs de quantication de
J.-P. Descles (la theorie star). On donne les regles syntaxiques et la semantique
de ces quanticateurs en termes de classes d'objets . Cette theorie est comparee
avec la theorie star et nous proposons quelques directions de developpement.
Le chapitre 8 presente la formalisation de la LDO.
Le chapitre 9 presente une semantique en termes de classes d'objets de la
LDO.