32,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.
Autorenporträt
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.