純粋理性批判
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: