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.
The discussions, in the field of mathematical education, about the influences of Logicism, intuitionism and formalism and initial formation in the pedagogical practices of teachers of mathematics led them to question: what is shown about Logicism, intuitionism And Formalism in the documents governing the mathematics degree courses of public universities Paraná? The analysis of the documents of 22 public universities Paraná revealed that although there is a movement focused on overcoming the understanding of mathematical knowledge as independent of the subject, there are still necessary philosophical/epistemological Reflections that Allow the future teacher to value the student as a subject capable of developing strategies for the construction of mathematical concepts and stuffing them of meaning.
