Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
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.