05.07.2014 Views

Téléchargement au format .pdf

Téléchargement au format .pdf

Téléchargement au format .pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

142 La quantication en linguistique<br />

Un detail technique en ce qui concerne la construction recursive des types<br />

des quanticateurs generalises. Si on accepte l'interpretation d'un groupe nominal<br />

comme etant une fonction:<br />

P (E) ;! f>, ?g<br />

et on note par TYPE h 1 i l'ensemble de ces fonctions, alors on constate que les<br />

determinants d'un seul argument sont des fonctions :<br />

TYPE h 1 i;! TYPE h 1 i<br />

donc, de type h 1, 1 i<br />

La theorie des fonctions, la procedure de currication [Cur58], [Des90b] et la<br />

denition des types de Montague [Mon69] montre que le type des quanticateurs<br />

de deux arguments (s'appliquant a deux GN pour rendre un GN) est le type des<br />

fonctions:<br />

TYPE h 1 iTYPE h 1 i;! TYPE h 1 i<br />

c'est-a-dire h 1, h 1, 1 iiet non pas le type hh1, 1i, 1i. Une construction<br />

fonctionnelle rigoureuse donne les types d'<strong>au</strong>tres quanticateurs.<br />

La propriete de monotonie introduite pour les groupes nomin<strong>au</strong>x et pour<br />

les quanticateurs represente le processus de determination pris en compte par<br />

la LDO. Cette remarque prouve qu' il y a des processus cognitifs qui peuvent<br />

^etre formalise par des dierents outils du m^eme domaine (ici la logique ou les<br />

mathematiques). Le choix de l'outil se fait en fonction de l'evaluation de l'interpretation<br />

linguistique. Autrement dit, la pertinence de la modelisation est<br />

evaluee par la force de l'interpretation linguistique.<br />

Une modelisation qui contient en soit la structure de l'encodage d'une langue<br />

particuliere (dans ce cas l'anglais) peut induire des proprietes qui ne sont pas des<br />

proprietes generales. Comme E. Keenan utilise explicitement les classications<br />

syntaxiques qui portent sur l'anglais (la classications des determinants est assez<br />

arbitraire), le passage a d'<strong>au</strong>tres langues comporte des modications. C'est la<br />

raison pour laquelle <strong>au</strong>cune reponse n'est proposee a la question Q3 (paragraphe<br />

5.2.2.2).<br />

La theorie des quanticateurs generalises est une theorie extensionnelle (car<br />

construite a partir de la semantique de Montague). Elle n'est pas une theorie<br />

fonctionnelle des fonctions.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!