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

Esta monografia apresenta uma an lise l gico-epist mica do conceito Fregeano de analiticidade, bem como uma proposta de redefini o desse conceito no mbito da teoria de modelos da l gica de segunda ordem (Henkin semantics). A abordagem l gico-reducionista, compat vel com essa redefini o de analiticidade, consiste na deriva o formal dos axiomas da Teoria Geral de Conjuntos (arcabou o sem ntico para aritm tica de Peano em segunda ordem) a partir dos seguintes princ pios: o axioma da extensionalidade e um princ pio (de abstra o) denominado de equipol ncia l gica formalizados em um fragmento da l gica de segunda ordem (total). Al m disso, introduz-se um crit rio l gico-epistemol gico, para a demarca o de princ pios de abstra o anal ticos, fundamentado na redefini o de analiticidade e no princ pio de equipol ncia l gica.