Kant's idea of a critique of practical reason