tête dans l'ordre alphabétique, et qu'elles finissent par une voyelle, tandis que les phrases anciennes finissaient par une consonne. Et alors notre entier ou notre point qui avait été provisoirement rangé dans une catégorie, devra être transféré dans l'autre.
Si au contraire nous classons les points de l'espace d'après la grandeur de leurs coordonnées, si nous convenons de classer ensemble tous ceux dont l'abscisse est plus petite que 10, l'introduction de nouveaux points ne changera rien à la classification ; les points déjà introduits qui répondaient à la condition ne cesseront pas d'y répondre après cette introduction. La classification sera prédicative.
Ce que nous venons de dire des classifications s'applique immédiatement aux définitions. Toute définition est en effet une classification. Elle sépare les objets qui satisfont à la définition, et ceux qui n'y satisfont pas et elle les range dans deux classes distinctes. Si elle procède, comme dit l'École, per proximum genus et differentiam specificam, elle repose évidemment sur la subdivision du genre en espèces. Une définition comme toute classification peut donc être ou ne pas être prédicative.
Mais ici une difficulté se présente. Reprenons l'exemple précédent. Les nombres entiers appartiennent à la classe ou à la classe , suivant qu'ils sont plus petits ou plus grands que 10,5. J'ai défini
