Voir surtout Phil, t. VII, et les inédits de Couturat

en dernière analyse à des idées primitives, dont nous n'atteignons sans doute, par des approximations successives, que des expressions symboliques ou complexes, mais qui, dans l'esprit du dogmatisme rationaliste, restent le support indispensable et la garantie de tout savoir. Dès lors les sciences peuvent différer les unes des autres par les termes ultimes qu'elles engagent en des combinaisons indéfinies ; mais l'art qui préside à ces combinaisons étant partout le même, est unique ; il est universel ; il est à la fois l'art de trouver et l'art de démontrer, l'art de trouver par les voies, partout les mêmes, de la démonstration, en un mot la Logique universelle, ayant dans la mathématique à la fois un modèle, qu'il convient qu'elle imite pour devenir parfaite, et une simple suite ou dépendance, la mathématique n'étant qu'une partie de la Logique. Enfin il n'est pas jusqu'à la métaphysique qui, embrassant le savoir tout entier, n'apparaisse au sommet comme la Logique elle-même et ne doive en adopter, pour atteindre la certitude, les formes et les développements : « Si quelqu'un voulait écrire en mathématicien dans la métaphysique et dans la Morale, dit Leibnitz dans les Nouveaux Essais 1, rien ne l'empêcherait dé le faire avec rigueur. » Et au marquis de THôpital il écrit le 27 décembre 1694 : « Ma Métaphysique est toute mathématique, pour dire ainsi, ou la pourrait devenir 2. » Ainsi, par le progrès d'une pensée qui a sa première expression dans la Dissertation de 1666, Leibniz en était arrivé à identifier peu à peu la Logique et la Métaphysique, la Métaphysique et la Caractéristique universelle.

A les juger dans leur ensemble, on ne peut méconnaître ce qu'il y a de grandiose dans ces vues de Leibniz : et il faut ajouter qu'à aucun projet il n'a consacré autant d'efforts, ni d'aussi constants jusqu'à la fin de sa vie, qu'à la réalisation de cette caractéristique, restée comme le rêve et l'enchantement de son esprit. S'éloignerait-on cepen-