Analyse de quelques préverbes et prépositions français et ... - LaLIC

Chapitre 6
8. EX conduit 2 les_soupirants Marie rempl. 6,7
9. [ éconduire 2 = EX conduire 2 ] instanciation
10. éconduire 2 les_soupirants Marie rempl. 8,9
Le principe de cette déduction utilisant le quantificateur existentiel Σ 31 est tout à fait le
même que celle avec Σ 21 sauf le fait que le préverbe s’applique à un prédicat binaire et non
pas unaire comme c’était le cas de couler.
Quelle est la fonction du préverbe ? À prime abord, il semble ne pas opérer de
changement de valence. Le prédicat de base (couler) est unaire ainsi que le prédicat composé
obtenu après la préverbation (affluer). Au pas 8 de la déduction, le type de l’opérateur abstrait
AD, dont la trace linguistique est le préverbe a-, est (t->p) -> (t->p), le même que le type d’un
adverbe modifiant un prédicat unaire. Étudions cela de plus près.
L’opérateur AD 2 = C PREP, défini au pas 3, a le même type que l’opérateur SUR
défini pour le précédent type de préverbation – AD 2 : ((t->p) -> (t->(t->p))). AD 2 s’applique
sur un prédicat unaire pour construire un prédicat binaire. Alors, ‘AD 2 coule 1 ’ correspond à
un prédicat binaire de type (t->(t->p)) qui attend deux arguments.
Ensuite c’est le quantificateur existentiel Σ 21 qui s’applique sur ce prédicat dérivé
binaire. Le type du quantificateur existentiel est Σ 21 : (((t->(t->p)) -> (t->p)) 5 . Ce type montre
clairement son rôle : il s’applique sur un prédicat binaire (t->(t->p)) pour construire un
prédicat unaire (t->p), c’est-à-dire il efface un des arguments du prédicat ce qui diminue sa
valence. Donc, le prédicat binaire dérivé ‘AD 2 couler 1 ’, suite à l’application du
quantificateur Σ 21 , redevient unaire (Σ 21 (AD 2 couler 1 ) : t->p ). Ensuite, le combinateur B,
ne fait que modifier l’ordre d’application des fonctions en laissant ‘couler 1 ’ à la fin. Le
combinateur B a le schéma de type : (x->y) -> ((z->x) -> (z->y)). L’unification des types se
fait en posant : x= (t-> (t->p)), y = (t->p) et z = (t->p). Le type de l’opérateur AD défini au
pas 7, [AD = B Σ 21 AD 2 ], est bien (t->p) -> (t->p) . Ce type montre que le préverbe a-, la
trace de l’opérateur AD dans la langue, s’applique sur un prédicat unaire pour construire un
prédicat unaire également.
5 Le quantificateur existentiel a le schéma de type ((x->(x->y)) -> (x->y)). Les types sont unifiés avec x=t et y=p.
188