Kant is introducing the distinction between analytic and synthetic judgements, and he says: 'All analytic judgements depend wholly on the law of contradiction, and are in their nature a priori cognitions, whether the concepts that supply them with matter be empirical or not.