jugements analytiques seraient des jugements virtuellement identiques, et c’est sans doute là ce qu’il voulait dire quand il parlait de prédicats contenus d’une manière « latente », « confuse » ou « obscure » dans le sujet. Mais le principe d’identité ne justifie que les jugements identiques, et non les jugements analytiques. Jamais de la formule : « a est a » on ne pourra déduire la formule : « ab est a », pour cette raison bien simple que celle-ci contient une opération ou combinaison (la multiplication logique) qui ne figure pas dans le principe d’identité. C’est pourquoi la logique moderne se voit obligée d’admettre le principe de simplification (ab est a) à côté du principe d’identité et indépendamment de lui. Il semble que cette objection ne soit qu’une chicane ; mais elle a plus de portée qu’on ne pense. Elle prouve, en somme, la fausseté de la conception traditionnelle de la Logique formelle, suivant laquelle celle-ci reposait tout entière sur un seul principe, le principe d’identité ; d’où l’on concluait aussitôt que cette Logique est absolument stérile, parce qu’elle ne permet que de passer du même au même, et ne justifie que de vaines tautologies.
Ainsi, si nous voulons interpréter équitablement la doctrine de Kant en la rectifiant à la lumière de la Logique moderne, il faudra dire que le fondement des jugements analytiques est le principe de simplification. Mais cette formule est trop étroite. En effet, lorsque Kant dit que « tous les raisonnements des mathématiciens s’effectuent d’après le principe de contradiction » (B. 14), il veut dire, au fond, qu’ils s’effectuent suivant les règles de la Logique. Or nous savons aujourd’hui que la Logique formelle ne peut se constituer sans une vingtaine de principes indépendants. Quels que soient au surplus leur nombre et leur énoncé, nous devrons, pour interpréter Kant dans le sens le plus large et le plus favorable, substituer l’expression « les principes de la Logique » à son expression [246] «
