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

Chapitre 6
Avec P 1 = vole 1 ; P 2 ’ = vole 2 et prep = ‘au-dessus de’, la déduction suivante relie les
deux interprétations :
1. vole 2 ((au-dessus de) δ (Paris)) Luc hyp.
2. B vole 2 (au-dessus de) δ (Paris) Luc intr. B
3. [B vole 2 (au-dessus de) δ = B (C* vole 1 ) (au-dessus de) α ] loi
4. B (C* vole 1 ) (au-dessus de) α Paris Luc rempl. 3,4
5. C* vole 1 ((au-dessus de) α Paris) Luc élim. B
6. ((au-dessus de) α Paris) vole 1 Luc élim. C*
Cependant, l’on peut se demander si le préverbe est plus proche da la préposition
adverbiale ou de la préposition déterminative ? Formellement, il n’est pas impossible
d’obtenir le préverbe à partir de la préposition déterminative :
1. veiller 2 (sur δ sa_soeur) Luc hyp.
2. B veiller 2 sur δ sa_soeur Luc intr. B
3. C B sur δ veiller 2 sa_soeur Luc intr. C
4. [C B sur δ = sur-] déf.
5. sur- veiller 2 sa_soeur Luc rempl. 3,4
6. [sur- veiller 2 = surveiller2] instanciation
7. surveiller 2 sa_soeur Luc rempl. 5,6
Les types sont vérifiés 4 :
B : O OtOtp OOttOtOtp
C : O OOtOtpOOttOtOtp OOttOOtOtpOtOtp
C B : O Ott OOtOtp OtOtp sur det : Ott
C B sur det : O OtOtp OtOtp veiller 2 : OtOtp
C B sur det veiller 2 :OtOtp
4 La vérification du type du combinateur C: O OxOyz OyOxz s’effectue en posant x=Ott, y=z= OtOtp, et celle
de B : O OβγOOαβOαγ avec α=β=t, γ=Otp.
182