Functions and Generality of Logic