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

Chapitre 5
(a) et (b) ont la même structure syntaxique avec la copule être et les adjectifs mortel et
nombreux, cependant (a) est une inférence valide, alors que (b) ne l’est pas. Cela signifie que
les catégories syntaxiques ne sont pas suffisantes pour déterminer des propriétés
inférentielles. Sont mortels et sont nombreux ne sont pas de la même nature, il est nécessaire
d’introduire des types sémantico-logiques différents afin de bloquer des inférences non
valides comme (b).
Les types sémantico-logiques de base concernent les différents types d’entités
(individualisables J, collectives C, lieux L, etc.) et le type de proposition (H). La différence
entre mortels et nombreux dans les inférences (a) et (b) vient du fait que est nombreux ne
s’applique pas à des entités individuelles comme c’est le cas de est mortel. Pour une classe
constituée d’individus, il est possible de « descendre » jusqu’aux individus, mais ce n’est pas
le cas d’une classe de type collectif (C) 8 .
5.3. Grammaires catégorielles
En se basant sur la distinction de E. Husserl des expressions catégorématiques et des
expressions syncatégorématiques, les logiciens Lešniewski, Adjukiewicz et Bar-Hillel
développent des analyses à l’aide de deux types (ou catégories) de base : noms n et
propositions S. À partir de ces types de base sont définis des types dérivés 9 . Adjukiewicz,
Bar-Hillel et Lambek proposent différents systèmes pour vérifier la bonne formation
syntaxique des phrases d’une langue. Ce sont les Grammaires catégorielles. Les unités
linguistiques peuvent être de différents types :
- formateurs de noms (détermination nominale, adjectifs, compléments de
nom, articles) ;
- formateurs de propositions (par exemple la négation, les connecteurs
binaires, les prédicats) ;
- formateurs de nature plus complexe (comme les adverbes qui peuvent servir
à déterminer un adjectif, un verbe ou une proposition).
8 Nous n’allons pas reprendre ici tout le raisonnement, le lecteur pourra consulter Desclés [1990].
9 Un type dérivé décrit exactement le type des opérandes admissibles et le type des résultats construits.
152