Suivant l'expression de Kant

7. Monadolog., § 31-32. Gehr., Phil., t. VI, p. 612, avec renonciation des deux principes. Leibniz paraît avoir formulé pour la première fois le principe de raison en mai 1677: uAjite omniapro certo sumo.omnia fieri per causas «osdam iiitelligibiles » Id., t. VII, p. 265. Souligné par Leibniz. 11 est devenu plus tard le «principe de raison suffisante » sur lequel il insiste à la fin de sa vie, et autour duquel il fait porter toute sa discussion avec Clarke (v. entre au ras la fin de la réponse à la 5e réplique, ^125-30. Klopp, t. XI, p. 176-8; Dltens, t. II, p 169-70).

S. De scientia uniçersali. Gt.hv., Phil., t. VII, p. 198-9. Cf. Monadolog., § 33-39, t. VI, p. 612-3, et Couturat, p. 210-11. Cf. « contingentia seu quae ab

contingent est-elle imparfaite : elle reste toujours confuse et ne devient jamais claire et distincte (1).

Les vérités de fait ne sont, en quelque sorte, qu'une partie des vérités nécessaires : c'en est, pour ainsi dire, une espèce ou plutôt un entrecroisement, car elles résultent d'une combinaison des possibles compatibles entre eux : ce sont les compossihles (2). Leur « principe est la convenance ou le choix du meilleur » par Dieu (3), source « des vérités nécessaires par son entendement et des vérités contingentes par sa volonté (4).» Aussi, bien qu'elles ne soient pas nécessaires au sens propre du mot, c'est-à-dire telles que « le contraire est impossible ou implique contradiction », elles ne sont pas indéterminées dans leur production : elles sont d'une réalité hypothétique, tandis que les vérités de raisonnement sont d'une nécessité absolue (5); on dit encore que les premières sont d'une nécessité morale, tandis que les autres sont d'une nécessité métaphysique ou géométrique, parce que celles-ci «se peuvent démontrer absolument... d'une manière incontestable; les autres se peuvent démontrer moralement(6).)) Aussi, les unes sont d'une certitude métaphysique ou absolue et les autres d'une certitude morale ourelative(7), car l'histoire ne peut avoir la certitude des sciences démonstratives (8).

infmitis pendent circumstantiis, per finita expérimenta [determinari non possunt. » Lettre à Jacques Bernouilli, 3 décembre 1703. Gehr., Math., t. IIP, p. 84.