Téléchargement au format .pdf

Quanticateurs generalises 131
Le type h a, b i s'interprete comme le type de la fonction qui transforme un
objet de type a dans un objet de type b.
L'association d'un type a une expression represente la correspondance entre
cette expression et l'objet de l'univers interpretatif. Quand on dit \un groupe
nominal est une fonction ..." on exprime l'interpretation qu'on donne a un groupe
nominal dans la theorie.
5.2.2 La theorie des quanticateurs generalises
Dans ce sous-chapitre nous presentons la theorie des quanticateurs generalises
de E.Keenan [Kee97a], [Kee97b].
Soient les exemples suivants:
1. Jean rit. Marie sourit.
2. Aucun docteur d'ici ne fume.
La plupart des linguistes sont bilingues.
Tout poete r^eve.
3. Autant degarcons que de lles ont reussi a l'examen.
L'univers interpretatif de la theorie de E. Keenan est le suivant:
un ensemble d'objets (totalement determines) note parE.
les predicats 1-aires P 1 interpretes comme des sous-ensembles de E, c'est-adire
des elements de P(E).
les propositions interpretees comme des valeurs de verites: > et ?.
les groupes nominaux:
etudiant
l'etudiant blond et de grande taille
l'etudiant aime par Marie
interpretes comme des fonctions de P (E) dans f>,?g et nommes quanticateurs
generalises de type h 1 i sur E. Cet ensemble est note aussi par TYPE h
1 i.
E. Keenan denit ces quanticateurs generalises de dierents types 1 . Les
groupes nominaux sont vus comme des quanticateurs generalises de TYPE h 1
i. Dans les exemples 2, il s'agit des determinants d'un seul argument Det 1 (qui
s'appliquent a un GN pour rendre un GN, soit semantiquement, des fonctions de
P(E) a valeurs dans TYPE h 1 i). Dans l'exemple 3 \autant de.... que de..." est
1 Les types utilises sont les types de Montague.