Repository | Journal | Volume | Articles

La notion d’opérateur n’a pas toujours un statut bien clair en linguistique. Pourtant, l’application d’un opérateur à un opérande sert de base primitive aux formalismes applicatifs (λ-calcul, logique combinatoire, programmation fonctionnelle) utilisés explicitement ou implicitement par plusieurs linguistes. Considéré comme un processus opératoire, l’opérateur est associé à des unités linguistiques incomplètes (ou syncatégorèmes). Les types fonctionnels de Church formalisent adéquatement les différents types d’opérateurs des Grammaires Catégorielles. Les unités linguistiques étant des opérateurs, elles sont composables par les combinateurs de la logique combinatoire de Curry. En établissant un lien entre l’application et l’implication entre propositions, la correspondance, dite de Curry-Howard, entre le langage des types fonctionnels et celui des propositions, est interprétée dans le domaine de la linguistique.

Full citation: