Raison pratique, p

un monde de la nature et un monde de la liberté, parce que c'est la forme même du monde de la raison. Tel est le #ype qui nous sert à juger nos maximes suivant des principes moraux. « Si la maxime de l’action n’est pas telle qu’elle puisse revêtir la forme d’une loi universelle de la nature, elle est moralement impossible. »

Ainsi on ne saurait trop le redire, l'érection d’une maxime en loi universelle de la nature est seulement le « type de la loi morale. » Nous avons donc, dans notre détermination de la moralité, les divers degrés suivants : 1° trouver une loi de la Zberté et du noumène qui en exprime formellement le fond : cette loi est l’wrxvversahité du vouloir ; 2° trouver une loi de la nature, un ordre d’actions naturel quisoit le symbole d’un ordre de la liberté, d’une loi de la liberté : c'est l’universalité des lois de la nature, en tant qu’elles peuvent dépendre de notre volonté. « C’est toujours ainsi, dit Kant, que juge le sens commun lui-même, car la ot de la nature sert toujours de fondement à ses jugements les plus ordinaires, même aux jugements d’expérience. Il l’a donc toujours devant les yeux, sauf à ne faire, dans les cas où il s’agit de juger la causalité libre, de cette loc de la nature que le type d’une loi de la hberté, car, s’il n’avait sous la main quelque chose qui pût lui servir d'exemple dans l'expérience, il ne pourrait mettre en usage dans l’application la loi d’une raison pure pratique. Il est donc permis aussi d'employer la nature du monde sensible comme type d’une nature intelligible, pourvu qu'on ne transporte pas à celle-ci les intuitions et ce qui en dépend, mais qu’on se borne à lui rapporter la forme législative en général..., car des lois comme telles sont 2dentiques quant à la forme, n'importe d’où elles tirent les principes qui les déterminent(1).» En d’autres termes, que les principes d’une loi appartiennent au monde sensible ou au monde intelligible, la forme de la loi, c’est-à-dire l’universalité, sera toujours la mème. Telle est, selon nous, l’économie générale du formalisme kantien, intermédiaire entre la méthode toute négative d'élimination et la méthode dogmatique d'induction platonicienne.

À propos de cette doctrine, qui est la pure et originale doctrine de Kant, on peut élever les questions suivantes, qui concernent 1° la valeur bonne ou mauvaise de la forme universelle, 2° son caractère positif où négatif, 3° sa possibilité d'application, soit générale, soit particulière.