Pour B. Russell, la variable est peut-être une des notions les plus difficiles à comprendre en mathématiques (The Principles of Mathematics, 1903). En effet, la variable est fondamentalement polysémique. Sa signification varie avec les domaines d'utilisation ; tantôt elle est utilisée pour indiquer une indétermination d'un signe dans une équation ; tantôt elle sert à décrire analytiquement une fonction en Analyse, tantôt, on l'utilise en logique pour exprimer la quantification au moyen de « variables liées ». Nous donnons une brève analyse historique de l'évolution de cette notion en mathématiques, depuis sa création avec l'Algèbre de Viète et Descartes pour l'expression des équations, jusqu'à la représentation formelle d'un concept, formalisé par Frege comme une fonction non numérique, ce qui a donné naissance aux modernes langages du premier ordre. D'une part, la théorie des signes de Peirce et d'autre part, les types fonctionnels de Church, le λ-calcul « avec variables liées » ainsi que la logique combinatoire de Curry « sans variables liées », sont d'excellents instruments qui sont convoqués pour examiner les différentes sortes de variables aussi bien en mathématiques, qu'en logique ou en informatique théorique. Par exemple, nous montrons que la notion de « variable liée » n'est pas nécessaire pour la formulation de la quantification en logique et son analyse dans le fonctionnement des langues naturelles : un quantificateur simple est avant tout un opérateur qui s'applique à un prédicat afin de construire une proposition ; un quantificateur restreint est dérivé d'un quantificateur simple, obtenu par une composition fonctionnelle avec un connecteur logique (les opérateurs d'implication ou de conjonction). Nous proposons de prendre en compte et de formaliser à l'intérieur du cadre formel de la logique combinatoire typée :(i) les « vielles notions » logiques « extension / intension », (ii) les distinctions issues de la psychologie cognitive et de l'anthropologie, entre les exemplaires « typiques » ou « atypiques » d'un concept, (iii) l'opération de détermination » de la Logique de Port Royal,, ce qui nous a conduit à définir les quantificateurs « star », considérés comme des opérateurs qui viennent apporter des déterminations supplémentaires aux termes, en particulier aux termes nominaux. Ces nouveaux quantificateurs sont plus adéquats à l'analyse logique des langues naturelles que les quantificateurs frégéens. Nous sommes ainsi capables de donner une distinction nette entre les significations de « quelconque » et «indéterminé », qui sont implicitement mises en œuvre dans la Déduction Naturelle de Gentzen. Cela nous conduit à donner une solution à un paradoxe apparent qui surgit avec la règle d'introduction du quantificateur universel.
For B. Russell “The variable is perhaps the most distinctively mathematical of all notions ; it is certainly also one of the most difficult to understand” (The Principles of Mathematics, 1903). The aim of this paper is to highlight the meaning of variable in different fields of Mathematics: the expression of equations in Algebra with indeterminate entities; the analytical expression of functions in Analysis; the expression of quantification in Logic… We give a historical survey of this notion from Viète and Descartes to Frege's representations of a concept, viewed as a non numerical function, yielding to the modern theory of quantification in first order languages. On one hand, the Peirce's theory of signs, and on the other hand, with Church's functional types, λ-calculus “with bound variables” and Curry's combinatory logic “without bound variables”, are very useful tools for investigating different kinds of variables in Mathematics, in Logic and in theoretical Computer Sciences. For instance, it was showed that “bound variables” were not semiotic tools necessary to formulate quantification (in Frege's sense) in “classical” Logic. Indeed, a simple quantifier is an operator which applies to a predicate by building a proposition; restricted quantifiers are derived from simple quantifiers by formal combinations with logical connectors (conditional or conjunction operators). We propose to take into account and to formalize, inside the framework of Combinatory Logic with types, (i) the “old logical notions” of “extension / intension”; (ii) determination operations from Port Royal's Logic; (iii) the distinction from the anthropology and cognitive psychology between “typical” and “atypical” instances of a concept, which brings us to define new quantifiers, called “star quantifiers”, conceived as determination operators acting on terms. These quantifiers are more adequate than the fregean quantifiers, for a natural languages processing. Thus, we are able to give a conceptual distinction between the meanings of “Whatever” and “Indeterminate”, implicitly used in Gentzen's Natural Deduction; thanks to this distinction, we can clarify an apparent “paradox” emerging with the universal quantifier introduction rule.
L'analyse linéaire de la régression, appelée aussi plus simplement régression linéaire, est l'une des méthodes statistiques les plus utilisées dans les sciences appliquées et dans les sciences de l'homme et de la société. Son objectif est double : il consiste tout d'abord à décrire les relations entre une variable privilégiée, appelée variable expliquée (ou dépendante), et plusieurs variables jouant un même rôle par rapport à la première, appelées variables explicatives (ou indépendantes). Elle permet aussi d'effectuer des prévisions de la variable expliquée en fonction des variables explicatives. Les liaisons entre les variables explicatives exercent une influence très importante sur l'efficacité de la méthode, quel que soit l'objectif dans lequel elle est utilisée. Nous exposons dans cet article des propriétés sur ces liaisons démontrées et publiées récemment dans plusieurs articles.The linear analysis of the regression, called also more simply linear regression, is one of the most used statistical methods in applied sciences and social sciences. Its objective is double: first of all it consists in describing the relations between a variable, called explained (or dependent) variable, and several variables, called explanatory (or independent) variables. It also makes it possible to conduct forecasts of the explained variable in terms of the explanatory variables. The links between the explanatory variables exert a considerable influence on the effectiveness of the method, whatever the objective in which it is used. We expose in this paper some of the properties of these links, recently proved and published in several papers