| Titre | Le concept d'opérateur en linguistique | |
|---|---|---|
| Auteur | Jean-Pierre Desclés | |
 |
Revue | Histoire, Epistémologie, Langage |
| Numéro | vol.31, n°1, 2009 Mathématisation du langage au 20e siècle | |
| Rubrique / Thématique | Mathématisation du langage au 20e siècle Articles |
|
| Page | 75-98 | |
| Résumé |
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. Source : Éditeur (via Persée) |
|
| Résumé anglais |
Linguists do not always use the term “ operator” clearly. Still, applying an operator to an operand is a basic operation in some applicative formalisms (λ-calculus, combinatory logics, functional programming) used by linguists. An operator is associated to syncategorematic linguistic expressions. Church's functional types are a suitable formalization of different types of operators in Categorial Grammars. Since linguistic units are viewed as operators, they can be composed by means of the combinators of Curry's Combinatory Logic. A formal link between application and implication in propositional calculus explains the relevance of the Curry-Howard correspondence between functional types and the implication in propositional calculus ; this correspondence is evaluated in the field of linguistics. Source : Éditeur (via Persée) |
|
| Article en ligne | https://www.persee.fr/doc/hel_0750-8069_2009_num_31_1_3107 |
