純粋理性批判
In modern terminology, members of the first group are known as analytic propositions and members of the latter as synthetic propositions. This terminology comes from Kant (Introduction to "Critique of Pure Reason", Section IV).