In the second Critique, Kant claims that the moral law is given as a fact of reason. In this paper, contra the standard view, I argue that there is a non-dogmatic way of defending this claim. And Kant’s principle of morality is widely taken to be a formal principle. How then can such a formal principle be reconciled with our substantial moral end? In this paper, I also argue that Kant’s principle of morality can be construed as a formal principle in the sense that it provides correctness conditions for moral laws, rather than providing specific moral laws.