[en] Starting with Categorial Grammars, the author presents applicative formalism, where the basic operation is the application of an operator to an operand, using Church's functional types to explain the different operations in natural languages : predication, determination, transposition operations (type raising). The general notion of operator is to be distinguished from more particular operators characterized by specific functional types : predicates, determination and transposition operators… A predicate is used to construct a proposition (or a predicative relation) from arguments. A determination operator is used to bring more specific information to a term or a predicate or a sentence. The functional types are tools to name the different operators. When a sentence is broken down into a (logical) Predicate and a (logical) Subject, the copule "be" is analyzed as a binary operator that builds a Predicate from determinants, (adjectives, for example)… Some linguists (Harris, Shaumyan, Le Guern, Culioli, Pottier…) have worked explicitly with operators. This article is a conceptual analysis of some operators used in linguistics and logics to highlight the notion of predication. According to the author, it is necessary to articulate linguistics, logics and cognition to study in depth the nature of Language which expresses cognitive representations and reasoning schemata by means of semiotic configurations.

[fr] En partant d'un rappel des Grammaires catégorielles, l'auteur présente rapidement le formalisme applicatif où l'opération de base est une application d'un opérateur à un opérande. Il introduit les types fonctionnels de Church pour fournir une explicitation des différentes opérations mises en œuvre par les langues naturelles : prédication, détermination, transposition. La notion générale d'opérateur doit être distinguée de celles d'opérateurs plus spécifiques comme les prédicats, les opérateurs de détermination, de transposition… Un prédicat est un opérateur dont le but est la construction d'une proposition à partir de ses différents arguments. Un opérateur de détermination a pour but d'apporter une information plus spécifique à un terme nominal, à un prédicat, à une phrase entière… Les types fonctionnels permettent de préciser la description de ces opérateurs. La décomposition d'une phrase entre un Prédicat (logique) et un Sujet (logique) est introduite en considérant que la copule " être " doit être analysée comme un opérateur constructeur d'un Prédicat à partir de termes, plus ou moins déterminés, de déterminants (des adjectifs par exemple)… Plusieurs linguistes (Harris, Shaumyan, Culioli, Berrendonner, Le Guern, Pottie…) font appel explicitement, dans leurs analyses, à des opérateurs linguistiques. Cet article a pour objet d'apporter une certaine clarification aux usages des opérateurs en logique et en linguistique, afin de mieux étudier le statut de la prédication. Selon l'auteur, il serait nécessaire de mieux articuler la linguistique avec la logique et la cognition afin d'étudier plus profondément la nature même du langage qui expriment des représentations cognitives et mettent en œuvre des raisonnements logiques, par le biais de constructions sémiotiques spécifiques aux langues naturelles.