---

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.

---

Garibaldi Sarmento é Doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas - Unicamp. Atualmente é professor Associado da Universidade Federal da Paraíba - UFPb, vinculado ao Departamento de Filosofia.Atua nas áreas de Lógica Matemática e Fundamentos de Matemática; com ênfase, principalmente, no projeto logicista.

---