Logicismo, intuicionismo e formalismo nas licenciaturas em matemática das universidades públicas paranaenses

Nesse texto refletimos sobre as questões associadas ao logicismo, intuicionismo e formalismo presentes nos documentos que orientam as licenciaturas em Matemática das universidades públicas paranaenses. Visamos, com isso, compreender as influências que podem exercer nas práticas pedagógicas e nas concepções de Matemática e de ensino assumidas pelos professores. A análise de conteúdo realizada com o auxílio do software Atlas ti, em 22 documentos de universidades, revelou que embora exista um movimento voltado à superação da compreensão do conhecimento matemático como independente do sujeito, ainda são necessárias reflexões filosófico/epistemológicas que permitam ao futuro professor valorizar o aluno como sujeito capaz de elaborar estratégias de construção de conceitos matemáticos e de preenchê-las de significado