Distinction kantienne. Un jugement analytique est un jugement dont le prédicat est tiré du sujet, et qui, de ce fait, n'est qu'une explicitation qui ne nous apprend rien de neuf.
À l'opposé, un jugement synthétique est un jugement dont le prédicat est ajouté au sujet sans qu'il en ait été tiré. Il n'y a de connaissance nouvelle que si le jugement qui l'énonce est synthétique. Kant montre que tous nos jugements synthétiques ne sont pas empiriques : il existe des jugement synthétiques a priori, par exemple dans les propositions des mathématiques et de la physique pure.