Téléchargement au format .pdf

La logique combinatoire 127
C ? (P y x) (Q x) i- C ?
(P' S )
S.
ou P' := C ? (P y x) et S := (Q x).
L'expression appplicative correspondant au predicat est P', celle du sujet est
4.4.4.2 Le pronom comme operateur
Le pronom est interprete dans les semantiques du langage comme :
{ une variable liee [Gea76c],[Qui74a]
{ une fonction [Eva77], [Som82]
L'interpretation classique en ce qui concerne le fonctionnement du pronom
est de considerer le pronom comme une unite linguistique L1 qui renvoie a une
autre unite linguistique, L2, cette fois-ci plus complexe (syntagme nominal ou
syntagme nominal quantie). L'unite L2 est appelee antecedent. Dans les travaux
de Evans et Sommers le pronom est conside comme une fonction qui \renvoie" a
son antecedent en le choisissant dans la phrase (voir la classication des pronoms
de Sommers du chapitre 2, le pronom de type E deni par Evans [Eva77].
Le pronom est etroitement lie alatheorie de la quantication par le fait que
l'antecedent estsouvant un syntagme nominal quantie.
Nous considerons le pronom comme un operateur qui :
{ Construit son antecedent
{ Construit la quantication de cet antecedent
{ Applique la quantication a son antecedent.
Considerons la phrase :
Jean a quelques mouttons et Paul les avaccine l'ete dernier.
Sa structure applicative est :
( ^ ( Q f g)) (h pron))
ou Q est un quanticateur, (Q f g) la premiere proposition, pron l'unite lexicale
qui encode le pronom et (h pron) la deuxieme proposition.
Cette expression est equivalente a:
PRON (h (Q' (g(Q f))))
ou Q est le quanticateur correspondant a Q, mais qui s'applique au syntagme
nominal, Q' est le quanticateur construit par le pronom m^eme et PRON