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

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

d'acte de foi; mais alors il faut se rendre compte de ce qu'on fait et savoir qu'on a allongé la liste des axiomes indémontrables; ou bien il faut construire une démonstration en règle, soit par l'exemple, soit par l'emploi du raisonnement par récurrence. Ce n'est pas que cette démonstration soit moins nécessaire quand il s'agit d'une définition directe, mais elle est généralement plus facile.

Certains Pragmatistes seront plus exigeants : pour qu'ils regardent une définition comme légitime, il ne leur suffira pas qu'elle ne conduise pas à des contradictions dans les termes, il leur faudra encore qu'elle ait un sens, à leur point de vue particulier que j'ai cherché à définir plus haut.

Quoi qu'il en soit, la logique restera-t-elle stérile, après l'introduction des définitions par postulats ? Nous ne pouvons plus, étant donnée une proposition, y remplacer un terme par sa définition; tout ce que nous pouvons faire, c'est d’éliminer ce terme entre la proposition et le postulat qui lui sert de définition. Si cette opération, faite d'après ce qu'on pourrait appeler les règles de l'élimination logique, ne nous conduit pas à une identité, c'est que la proposition est indémontrable par la logique pure; si elle conduit à une identité, c'est que la proposition n'est qu'une tautologie. Nous n'avons rien à changer à nos conclusions de tout à l'heure.