Fundamentos Lógico-Epistemológicos da Aritmética - Sarmento, Garibaldi
36,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
18 °P sammeln
  • 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

Andere Kunden interessierten sich auch für
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.