Fundamento Lógico-Epistemológicos da Aritmética

Tomando-se por base uma análise lógico-epistemológica da noção fregeana de analiticidade, e de uma (re)definição dessa noção em termos de teoria de modelos, proponho um aproche """"neo-logicista"""" para fundamentação da aritmética elementar. Este enfoque lógico-reducionista consiste na derivação formal dos axiomas da Teoria Geral dos Conjuntos (arcabouço semântico para a aritmética de Peano em segunda ordem) de um sistema lógica de ordem superior. Além disso, estabeleço um critério lógico-epistemológico para a demarcação de definições contextuais analíticas. A base axiomático-definicional que constitui esse sistema lógico é caracterizada pelo acréscimo do axioma de extensionalidade a um fragmento da lógica de segunda ordem (total) e pela introdução de um princípio de abstração analítico que denominamos de """"princípio de equipolência lógica"""".