poser sans imaginer les deux termes de l’alternative. S’il était impossible de s’imaginer l’un de ces termes, il serait inutile et d’ailleurs impossible de consulter l’expérience. Nous n’avons pas besoin d’observation pour savoir que l’aiguille d’une horloge n’est pas sur la division 15 du cadran, puisque nons savons d’avance qu’il n’y en a que 12, et nous ne pourrions pas regarder à la division 15 pour voir si l’aiguille s’y trouve, puisque cette division n’existe pas.
Remarquons également qu’ici les empiristes sont débarrassés de l’une des objections les plus graves qu’on peut diriger contre eux, de celle qui rend absolument vains d’avance tous leurs efforts pour appliquer leur thèse aux vérités de la géométrie euclidienne. Ces vérités sont rigoureuses et toute expérience ne peut être qu’approchée. En Analysis Sitûs les expériences approchées peuvent suffire pour donner un théorème rigoureux et, par exemple, si l’on voit que l’espace ne peut avoir ni deux ou moins de deux dimensions, ni quatre ou plus de quatre, on est certain qu’il en a exactement 3, car il ne saurait en avoir 2 et demi ou 3 et demi.
De tous les théorèmes de l’Analysis Sitûs, le plus important est celui que l’on exprime en disant que l’espace a trois dimensions. C’est de celui-là que nous allons nous occuper, et nous poserons la question en ces termes : Quand nous disons que l’espace a trois dimensions, qu’est-ce que nous voulons dire ?
J’ai expliqué dans un article antérieur d’où nous vient la notion de la continuité physique et comment a pu en sortir celle de la continuité mathématique. Il arrive que nous sommes capables de distinguer deux impressions l’une de l’autre, tandis que nous ne saurions distinguer chacune d’elles d’une même troisième. C’est ainsi que nous pouvons discerner facilement un poids de 12 grammes d’un poids de 10 grammes, tandis qu’un poids de 11 grammes ne saurait se distinguer ni de l’un, ni de l’autre.
Une pareille constatation, traduite en symboles, s’écrirait :
Ce serait là la formule du continu physique, tel que nous le donne
