Temas Kantianos no Anti-logicismo de H. Poincaré

O ponto de vista de Poincaré frente à fundamentação da aritmética é o tema central desta dissertação, especialmente no que diz respeito à exigência de predicatividade. Com o intuito de, em primeiro lugar, apresentar a crítica que dirige ao projeto de reduzir a aritmética à lógica, conforme proposto por Frege e assumido por Russell, partimos da concepção da matemática e da lógica de Poincaré. Em particular, consideramos, em segundo lugar, a evolução do conceito de definição predicativa no percurso da polêmica com Russell. Finalmente, esta exposição visa examinar a aparente conexão entre Kant e Poincaré, sugerida pela análise de tópicos anteriores. Como fio condutor de tal investigação temos, não a tese de que a aritmética é sintética a priori nem sua fundamentação a partir da intuição e, sim, a afirmação de que a matemática é uma ciência governada por um processo de construção. Relacionamos,então, a noção de construção com a de definição predicativa e procuramos a epistemologia da matemática subjacente.