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

Aspects formels de la Grammaire Applicative et Cognitive
le caractère fonctionnel de x, la fonction qu’il exerce. Les connecteurs reçoivent également un
type, par exemple le type de I est Fαα. Ainsi on peut formuler le type des connecteurs binaires
en logique. L’implication P, par exemple, est de type FπFππ – elle s’applique à une
proposition π, puis à une deuxième proposition π pour former une proposition π. De cette
façon on limite l’applicabilité de l’implication – elle peut s’appliquer seulement sur des objets
de type proposition et non pas sur d’autres types.
La théorie de la fonctionnalité peut s’appliquer aussi bien à des notions mathématiques
qu’au langage naturel où l’on peut définir la catégorie des verbes transitifs et intransitifs pour
l’analyse syntaxique, des entités individuelles, massives, collectives, etc. pour l’analyse
sémantique. Curry, fondateur de la théorie de la fonctionnalité, publie ses travaux en 1932. Il
existe un lien entre ses travaux et ceux de Lešniewski et Ajdukiewicz, prolongés par Bar-
Hillel, Lambek et les grammaires catégorielles. La grammaire applicative prolonge plus
directement les travaux de Curry.
Il s’avère nécessaire en linguistique de manipuler des unités de différents types. Un
système applicatif dont les expressions se voient assigner des types est dit système applicatif
typé. L’utilisation de types syntaxiques permet de vérifier la bonne formation des expressions
et les types sémantiques ou sémantico-logiques permettent d’interdire certaines inférences
invalides dans les langues.
Un système typé est défini avec des types de base et des types dérivés à partir des
premiers selon la règle suivante :
(i) Les sortes de S sont des types.
(ii) si x et y sont des types, alors Oxy est un type.
L’assignation d’un type x à une expression X est notée x : X. L’opération d’application
est notée O dans Oxy. Oxy et un opérateur qui attend un opérande de type x est donne pour
résultat y.
Pour montrer la nécessité d’utiliser des types sémantiques, nous reprenons l’exemple
de Desclés [1990] avec les inférences suivantes :
(a) Les hommes sont mortels. (b) Les hommes sont nombreux.
Les athéniens sont des hommes. Les athéniens sont des hommes.
Les athéniens sont mortels.
*Les athéniens sont nombreux.
151