soin les opérations logiques de l’esprit et les divers modes de déduction, suivant la méthode positive préconisée et pratiquée par Leibniz, à savoir par l’étude des formes du langage et de la pensée scientifique. Au lieu de cela, il s’est contenté d’emprunter à la vieille Logique scolastique des formules surannées et un cadre tout fait, et d’adopter la classification traditionnelle des jugements, en la complétant par de fausses fenêtres pour les besoins de la symétrie. Et quand on sait quel usage, ou plutôt quel abus il a fait de ce cadre étroit et rigide, quand on le voit calquer sur lui le tableau des catégories et celui des principes, puis couler tour à tour toutes ses théories dans ce moule uniforme et le transformer en un lit de Procuste où elles doivent entrer bon gré mal gré, bien plus, s’en servir comme d’un guide et d’un moyen d’invention, on reste confondu à la pensée que le grand critique a accepté sans critique le fondement de tout son système, qu’à l’édifice majestueux (mais trop artificiel et trop symétrique) des trois Critiques il manque le soubassement indispensable, à savoir une Logique moderne et vraiment scientifique, et qu’en un mot, le colosse d’airain a des pieds d’argile.
D’autre part, Kant concevait, avec tous ses contemporains, les mathématiques comme les sciences du nombre et de la grandeur, et même, plus étroitement encore, comme les sciences de l’espace et du temps, et non pas comme une science ou plutôt une méthode purement formelle, comme un ensemble de raisonnements déductifs et hypothétiquement nécessaires. Ici encore, on ne saurait lui reprocher de n’avoir pas prévu l’avenir, encore que, sur ce point aussi, Leibniz ait vu plus clair et plus loin que lui, et ait conçu fort nettement la Mathématique universelle, et plus spécialement l’Algèbre universelle (qu’il appelait la Caractéristique) comme applicable à toutes [305]
