Fundamentos logico-epistemologicos da aritmetica
Autor(a) principal: | |
---|---|
Data de Publicação: | 2000 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1588544 |
Resumo: | Orientador: Michael Beaumont Wrigley |
id |
UNICAMP-30_53147209db9d3928f6ef6619d1371a7b |
---|---|
oai_identifier_str |
oai::186752 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
Fundamentos logico-epistemologicos da aritmeticaMatematica - FundamentosMatemática - FilosofiaLógica simbólica e matemáticaOrientador: Michael Beaumont WrigleyTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: 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ógicaAbstract: 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 equipollenceDoutoradoDoutor em Filosofia[s.n.]Wrigley, Michael Beaumont, 1953-2003D'Ottaviano, Itala Maria LoffredoCifuentes Vasquez, Jose CarlosSilva, Jairo Jose daAlves, Elias HumbertoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSarmento, Garibaldi Monteiro2000info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf90p.https://hdl.handle.net/20.500.12733/1588544SARMENTO, Garibaldi Monteiro. Fundamentos logico-epistemologicos da aritmetica. 2000. 90p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1588544. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/186752porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:06:45Zoai::186752Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:06:45Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Fundamentos logico-epistemologicos da aritmetica |
title |
Fundamentos logico-epistemologicos da aritmetica |
spellingShingle |
Fundamentos logico-epistemologicos da aritmetica Sarmento, Garibaldi Monteiro Matematica - Fundamentos Matemática - Filosofia Lógica simbólica e matemática |
title_short |
Fundamentos logico-epistemologicos da aritmetica |
title_full |
Fundamentos logico-epistemologicos da aritmetica |
title_fullStr |
Fundamentos logico-epistemologicos da aritmetica |
title_full_unstemmed |
Fundamentos logico-epistemologicos da aritmetica |
title_sort |
Fundamentos logico-epistemologicos da aritmetica |
author |
Sarmento, Garibaldi Monteiro |
author_facet |
Sarmento, Garibaldi Monteiro |
author_role |
author |
dc.contributor.none.fl_str_mv |
Wrigley, Michael Beaumont, 1953-2003 D'Ottaviano, Itala Maria Loffredo Cifuentes Vasquez, Jose Carlos Silva, Jairo Jose da Alves, Elias Humberto Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Programa de Pós-Graduação em Filosofia UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Sarmento, Garibaldi Monteiro |
dc.subject.por.fl_str_mv |
Matematica - Fundamentos Matemática - Filosofia Lógica simbólica e matemática |
topic |
Matematica - Fundamentos Matemática - Filosofia Lógica simbólica e matemática |
description |
Orientador: Michael Beaumont Wrigley |
publishDate |
2000 |
dc.date.none.fl_str_mv |
2000 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/20.500.12733/1588544 SARMENTO, Garibaldi Monteiro. Fundamentos logico-epistemologicos da aritmetica. 2000. 90p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1588544. Acesso em: 2 set. 2024. |
url |
https://hdl.handle.net/20.500.12733/1588544 |
identifier_str_mv |
SARMENTO, Garibaldi Monteiro. Fundamentos logico-epistemologicos da aritmetica. 2000. 90p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1588544. Acesso em: 2 set. 2024. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/186752 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf 90p. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1809188834479439872 |