Toutes nos connaissances présupposent l'expérience et commencent avec elle ; mais toutes n'en dérivent pas. Il y a des jugements qui sont à la fois synthétiques et a priori. Comment sont-ils possibles ? Kant montre, dans l'espace et le temps, les formes a priori de toutes les données empiriques. Pour travailler sur ces premières données, l'entendement se sert de concepts que Kant appelle catégories ; il montre comment se produit la synthèse des données des sens et des catégories ; puis il détermine les principes de l'entendement pur. Il soutient qu'il est impossible d'appliquer les principes de l'entendement pur au monde des noumènes ; ils ne sont valables que pour les phénomènes ; nous ne pouvons pas connaître les choses en soi.