Résumé
L’approche logique des grammaires catégorielles renouvelle les travaux des annéescinquante (voire trente) et rapproche les formalismes catégoriels des systèmes detypage utilisés en informatique. La linguistique informatique s’est ainsi enrichied’une approche originale qui néanmoins rejoint d’autres formalisations plusconnues, telles les grammaires d’arbres adjoints, les grammaires de dépendances etcertaines grammaires transformationnelles. On peut se demander quelles sont lesraisons d’une telle démarche, quels succès elle a obtenus, quels objectifs étaient, etsont toujours, poursuivis. Nous nous proposons de répondre à ces questions par lepanorama que voici, en soulignant l’importance que joue la logique dans ces forma-lismes et le lien privilégié avec la sémantique qui en résulte. Les résultats de basesont explicitement traités tandis que les recherches et réalisations récentes ne sontqu’esquissées.