Philosophie pratique de Kant
La Philosophie pratique de Kant désigne la philosophie édifiée par l'usage de la raison pratique, par contraste avec l'usage de la raison théorique, qui faisait l'objet de la "Critique de la raison pure". La philosophie pratique englobe ainsi aussi bien la philosophie morale que la philosophie politique ou la philosophie du droit. Kant expose celle-ci principalement dans les "Fondements de la métaphysique des mœurs" et dans la "Critique de la raison pratique", mais également dans d'autres opuscules, tels que "Du prétendu droit de mentir par humanité", "Théorie et pratique" ou "Qu'est-ce que les Lumières ?". La philosophie pratique kantienne est indissociable de sa théorie de la connaissance exposée dans la première "Critique", bien qu'il y ait une tension et une évolution dans la pensée de Kant entre les trois "Critiques". La "Critique de la raison pratique" a pour objet les questions « que dois-je faire ? » et « que puis-je espérer ? ».
Théorie de la connaissance de Kant
Or, si les sciences expérimentales font appel à des jugements synthétiques "a posteriori" (ils forment des propositions qui sont dérivées de l'expérience et validées par elles), les sciences théorétiques, comme les mathématiques, forment selon Kant des jugements synthétiques "a priori": elles n'ont nul besoin de l'expérience pour formuler des propositions qui sont à la fois nécessaires et universelles. Le projet kantien vise donc à faire de la métaphysique une véritable science, sur le modèle des mathématiques.