O TEOREMA DE FREGE: UMA REAVALIAÇÃO DO SEU PROJETO LOGICISTA

O OBJETIVO DESTA DISSERTAÇÃO E, EM PRIMEIRO LUGAR, APRESENTAR O NÚCLEO FUNDAMENTAL DO PROJETO LOGICISTA FREGEANO - O QUE FICOU CONHECIDO PELO NOME DE TEOREMA DE FREGE - COMO UM RESULTADO MATEMÁTICO INDEPENDENTE PARA, EM SEGUIDA, AVALIAR O SEU SIGNIFICADO FILOSÓFICO POR MEIO DA DISCUSSÃO ACERCA DO CONCEITO FREGEANO DE LOGICA. ALÉM DISSO, ESTE TRABALHO CONTÉM DOIS ANEXOS, NOS QUAIS SE DEMONSTRA UM TEOREMA GERAL DE RECURSÃO DENTRO DE UM SISTEMA CLÁSSICO DE LOGICA DE SEGUNDA ORDEM E SE APRESENTA UMA CONSTRUÇÃO NEOFREGEANA DOS NÚMEROS REAIS POR MEIO DE SEQUÊNCIAS DE CAUCHY