- Autor
- LUCIANO CARVALHO CARDOSO
- Orientador(a)
- MARCELO SILVA DE CARVALHO
- Universidade
- UNIVERSIDADE FEDERAL DE SÃO PAULO — UNIFESP
- Programa
- FILOSOFIA
- Grau
- DOUTORADO
- Ano
- 2020
A CONSTRUÇÃO DO LOGICISMO FREGIANO, ENQUANTO ABORDAGEM QUE REDEFINE AS LEIS QUE FUNDAMENTAM O PENSAMENTO E A ARITMÉTICA, É RECONHECIDA POR FUNDAMENTAR-SE SOBRE A NEGAÇÃO DA INTUIÇÃO E POR ESTRUTURAR UMA LÓGICA DE PRIMEIRA E SEGUNDA ORDEM EM CONFORMIDADE COM A LÓGICA EXTENSIONAL DE MODO QUE O FUNDAMENTO DAS VERDADES ARITMÉTICAS SE CONFIGURAM COMO ANALÍTICOS. EM SEUS ÚLTIMOS TRABALHOS, PUBLICADOS APENAS POSTUMAMENTE, FREGE DEFINIRÁ UMA ABORDAGEM DISTINTA PARA O LOGICISMO. AGORA FUNDAMENTADO EM UMA FONTE DE CONHECIMENTO GEOMÉTRICO, QUE RECORRE PARCIALMENTE AO FUNDAMENTO LÓGICO DO CONHECIMENTO, O NOVO MODELO FREGIANO PARECE RECONHECER A IMPORTÂNCIA DA INTUIÇÃO NESSE PROCESSO. O OBJETIVO DESSE TRABALHO CONSISTE EM DEMONSTRAR O ITINERÁRIO DE CONSTRUÇÃO DO LOGICISMO FREGIANO, AS CONTRADIÇÕES QUE VIRIAM A SURGIR NA MEDIDA EM QUE FREGE AMADURECIA SEU SISTEMA, AS RUPTURAS QUE A INFINITUDE ACARRETOU E COMO, APÓS A CONSTATAÇÃO DE INCONSISTÊNCIA DE SEU SISTEMA, FREGE O REESTRUTURA EM UM MODELO PROTOTÍPICO DE MATEMÁTICA UNIFICADA.
