Crítica de la razón pura
In the Introduction to the "Critique of Pure Reason", Kant contrasts his distinction between analytic and synthetic propositions with another distinction, the distinction between "a priori" and "a posteriori" propositions. He defines these terms as follows: