Page:Henri Poincaré - Dernières pensées, 1920.djvu/172

Le texte de cette page a été corrigé et est conforme au fac-similé.

Mais il y a une troisième sorte de définitions, ce qui est l'origine d'un nouveau malentendu entre les Pragmatistes et les Cantoriens. Ce sont encore des définitions par postulat, mais le postulat est ici une relation entre l'objet à définir et tous les individus d'un genre dont l'objet à définir est supposé faire lui-même partie (ou bien dont sont supposés faire partie des êtres qui ne peuvent être eux-mêmes définis que par l'objet à définir). C'est ce qui arrive si nous posons les deux postulats suivants :

(objet à définir) a telle relation avec tous les individus du genre .
fait partie du genre G.
ou bien les trois postulats suivants :
a telle relation avec tous les individus du genre .
a telle relation avec .
fait partie de .

Pour les Pragmatistes une pareille définition implique un cercle vicieux. On ne peut définir sans connaître tous les individus du genre , et par conséquent sans connaître qui est un de ces individus. Les Cantoriens n'admettent pas cela ; le genre nous est donné, par conséquent nous en connaissons tous les individus, la définition a pour but seulement de discerner parmi ces individus