DOS FUNDAMENTOS A FILOSOFIA DA ARITMETICA (UMA INTERPRETACAO DO PROGRAMA DE HILBERT).

FRONECEMOS UMA INTERPRETACAO SISTEMATICA DA FILOSOFIA SUBJACENTE AO PROGRAMA DE HILBERT. HILBERT DESENVOLVE UMA CRITICA A INTUICAO COMO INSTANCIA DE FUNDAMENTACAO DA MATEMATICA SEMELHANTE A CRITICA DE LEIBNIZ A O CARTSTRUTIVISMO CARTESIANO. COM EFEITO,COMO LEIBNIZ, HILBERT CRITICA A INTUICAO COMO SUBJETIVA; COMO LEIBNIZ, PROCURA SUBSTITUIR A INTUICAO PELA INSTANCIA INTERSUBJETIVA DO FORMALISMO. NO LUGAR DAS DEFINICOES LEIBNIZIANAS TEMOS O SISTEMA FORMAL HILBERTIANO, NO LUGAR DA PROVA DE POSSIBILIDADE O DEFINIDO TEMOS A DEMONSTRACAO DE CONSISTENCIA. MAS VERIFICAMOS UMA COINCIDENCIA MAIS PROFUNDA QUANDO CONSIDERAMOS AS RELAC O ESSENCIAL PARA O PH SER UMA RESPOSTA EFETIVA AO CONSTRUTIVISMO. FINALMENTE, ENCONTRAMOS OUTRA COINCIDENCIA QUANDO VERIFICAMOS A MESMA EXIGENCIA EM HILBERT E LEIBNIZ DE UM TRATAMENTO DO INFINITO ATRAVES DO FIN ITO. A TESE INCLUI UMA ANALISE DE INTERPRETACOES ALTERNATIVAS QUE PROCURAM EM KANT, O EMPIRISMO LOGICO E O OPERACIONALISMO OS ANTECEDENTES FILOSOFICOS DO PH. INDICAMOS OS LIMITES DA PRIMEIRA DELAS E DESCARTAMOS AS VERTENTES. EM HILBERT PODEMOS ENCONTRAR ECO DA TEORIA KANTIANA DOS CONCEITOS, MAS AS RESTANTES INTERPRETACOES REPOUSAM SOBRE UMA VISAO..