A constituição dos saberes de lógica na formação de professores de matemática da Universidade Estadual de Feira de Santana

O objetivo deste artigo foi divulgar o resultado da investigação sobre a constituição dos saberes da Lógica no curso de formação de professores de matemática da Universidade Estadual de Feira de Santana. Para isso, realizamos um estudo das ferramentas teórico-metodológicas apresentadas por Hofstetter e Schneuwly (2017) sobre os saberes profissionais constituídos para o ensino e a formação de professores. A discussão foi pautada por uma análise dos projetos político-pedagógicos desta Universidade desde a implantação do curso de Licenciatura Plena em 1976, passando pelo currículo 314 até o currículo 318-atualizado em 2018. A disciplina que trata dos saberes da Lógica pelos professores neste curso de formação de professores foi constituída no Departamento de Ciências Humanas e Filosofia sob o título de Tópicos Especiais em Lógica migrando para o Departamento de Ciências Exatas com o nome de Lógica Matemática e Teoria dos Conjuntos implantada no currículo 318. Sendo educadores matemáticos, entendemos que os conteúdos transversais da Lógica são tratados nas demais disciplinas do curso o método dedutivo com teoria dos conjuntos como linguagem ou mesmo quando utilizados testes matemáticos, saberes de lógica proposicional e lógica de predicados.