ANALYSE CLASSIQUE

vidu = ; on distingue alors 3 éléments : la fonction proprement dite, l'individu — et une valeur, c’est-à-dire une autre fonction ou la variable de type 1. L'’argument est constitué soit par une variable propositionnelle, soit par un système fini d’autres fonctions, parmi lesquelles peut apparaître (1) aussi la variable de type 1. Lorsqu'on remplace dans l’argument les variables par des individus, la même substitution s'effectue dans la valeur. Une fonction est donc un moyen de mettre en correspondance des individus. On observe la même répartition en types que pour les variables propositionnelles, la fonction ayant toujours le type immédiatement supérieur au type maximum figurant dans l’argument. En revanche, le type de la valeur (et celui de l'individu =, qui est obligatoirement le même) est fixé arbitrairement par la définition de la fonction. On a donc (?) les deux schémas (5) :