Ampère, Philosophie des Sciences, t. I, p. igS

SCIENCE PURE ET SCIENCE EMPIRIQUE 3l

science n'est pas mathématique parce qu'elle fait usage du calcul. A ce compte, les mathématiques seraient une branche de la logique parce que les mathématiciens raisonnent; les mathématiques et la logique seraient des branches de la linguistique parce qu'il faut que les raisonnements s'expriment. Ampère dit avec plus de raison que la mécanique et l'uranologie donnent des lois à tous les mondes possibles : « Quant à ceux qui ont fait de l'arithmologie et de la géoinétrie un groupe de sciences distinctes pour placer la mécanique et l'uranologie dans les sciences physiques, il me paraît qu'ils ne prenaient pas le mot mécanique dans le sens que lui donnent les mathématiciens. La mécanique n'est pas une science qui s'occupe seulement des mouvements que présentent les corps que nous pouvons, sur notre globe, soumettre à l'expérience, ou des machines dont nous aidons notre faiblesse. Telle que l'ont conçue les Euler, les Lagrange, les Laplace, etc., la mécanique donne des lois, comme l'arithmologie et la géométrie, à tous les mondes possibles... » L'uranologie elle-même « s'applique à tous les mondes qui peuvent exister, dans l'espace, tandis que rien ne s'oppose à ce que, dans des globes différents du nôtre, les propriétés des corps, soit inorganiques, soit organisés, fussent toutes différentes de celles que les autres sciences cosmologiques étudient dans les corps qui nous entourent ^ » .