Pragmatism and developmentalism in Brasilian education thought in the 1950s and 1960s