Constructivity and Predicativity: Philosophical Foundations