Fundamentos logico-epistemologicos da aritmetica
Garibaldi Monteiro Sarmento
TESE
Português
T/UNICAMP Sa74f
Campinas, SP : [s.n.], 2000.
90p.
Orientador: Michael Beaumont Wrigley
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Resumo: Tomando-se por base uma análise lógico-epistemológica da noção Fregeana de analiticidade, e uma (re)definiçâo dessa noção em termos de teoria de modelos, proponho uma abordagem 'neo-logicista' para fundamentação da aritmética elementar. Este enfoque lógíco-reducionista consiste na derivação...
Ver mais
Resumo: Tomando-se por base uma análise lógico-epistemológica da noção Fregeana de analiticidade, e uma (re)definiçâo dessa noção em termos de teoria de modelos, proponho uma abordagem 'neo-logicista' para fundamentação da aritmética elementar. Este enfoque lógíco-reducionista consiste na derivação formal dos axiomas da Teoria Geral de Conjuntos (arcabouço semântico para a aritmética de Peano em segunda ordem) de um sistema lógico de ordem superior, cuja base axiomático-definicional é caracterizada pelo acréscimo do axioma da extensionalidade, a um fragmento da lógica de segunda ordem (total), e pela introdução de um princípio de abstração analítico que denominamos de 'princípio de equipolência lógica'. Além disso, estabeleço um critério Iógico-epistemológico para a demarcação de definições contextuais analíticas baseado na (re)definição de analiticidade e no princípio de equipolência lógica
Ver menos
Abstract: Taking as starting point a logico-epistemological analysis of Frege's notion of analyticity, and a (re)definition of this notion in model-theoretic terms, I offer a 'neo-logicisl' approach to the foundations of arithmetic. This logico-reductionist approach consists in the formal...
Ver mais
Abstract: Taking as starting point a logico-epistemological analysis of Frege's notion of analyticity, and a (re)definition of this notion in model-theoretic terms, I offer a 'neo-logicisl' approach to the foundations of arithmetic. This logico-reductionist approach consists in the formal derivation of the axioms of General Set Theory (which is the semantic framework for second-order Peano arithmetic) from a higher-order logical system, whose axiomatic-definitional basis consists of axiom of extensionality and an analytic principle of abstraction which we shall call the "principle of logical equipollence". Furthermore, I establish a logico-epistemological criterion for demarcation of analytical contextual definitions based on the {redefinition of analyticity, here proposed, and the principle of logical equipollence
Ver menos
Wrigley, Michael Beaumont, 1953-2003
Orientador
D'Ottaviano, Itala Maria Loffredo, 1944-
Avaliador
Cifuentes Vasquez, Jose Carlos, 1954-
Avaliador
Silva, Jairo José da, 1951-
Avaliador
Alves, Elias Humberto, 1936-2013
Avaliador
Fundamentos logico-epistemologicos da aritmetica
Garibaldi Monteiro Sarmento
Fundamentos logico-epistemologicos da aritmetica
Garibaldi Monteiro Sarmento
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra