Aller au contenu

Page:Poincaré - Science et méthode (Édition définitive).djvu/230

La bibliothèque libre.
Cette page n’a pas encore été corrigée

Et, d’autre part, ce nombre n’existe pas, car sa définition implique contradiction. Ce nombre en effet se trouve défini par la phrase en italiques qui est formée de moins de cent mots français ; et par définition ce nombre ne doit pas pouvoir être défini par une semblable phrase.


VI. Zigzag-theory et noclass-theory.

Quelle est l’attitude de M. Russell en présence de ces contradictions ? Après avoir analysé celles dont nous venons de parler et en avoir cité d’autres encore, après leur avoir donné une forme qui fait penser à l’Epiménide, il n’hésite pas à conclure :

« A propositional function of one variable does not always determine a class. » Une « propositional function » ou « norm » peut être « non prédicative ». Et cela ne veut pas dire que ces propositions non prédicatives déterminent une classe vide, une classe nulle ; cela ne veut pas dire qu’il n’y a aucune valeur de x qui satisfasse à la définition et qui puisse être l’un des éléments de la classe. Les éléments existent, mais ils n’ont pas le droit de se syndiquer pour former une classe.

Mais cela n’est que le commencement et il faut