Objective Validity

I do not think Kant ever gives a proof or a legitimization for objective validity of categories. He says he will, he does, he did. But it's nowhere to be seen.

I wish modern logic existed when he was writing the Critique! It would be such a different book.