Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética

Detalhes bibliográficos
Autor(a) principal: Almeida, Edgar Luis Bezerra de, 1976-
Data de Publicação: 2017
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/1632743
Resumo: Orientadores: Itala Maria Loffredo D'Ottaviano, Rodrigo de Alvarenga Freire
id UNICAMP-30_cfd65098b01cee554449c28a680d6606
oai_identifier_str oai::991047
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 Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritméticaAnalysis of truth conditions and existential requirements in axiomatizations of arithmeticAritméticaOntologiaVerdadeArithmeticOntologyTruthOrientadores: Itala Maria Loffredo D'Ottaviano, Rodrigo de Alvarenga FreireTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: Esta Tese tem por objetivo contribuir para o entendimento de dois assuntos caros à filosofia da matemática, a noções de verdade de proposições matemáticas e a noção de existência em aritmética. Para isso, são apresentadas duas contribuições originais, uma para cada um desses assuntos. Com relação à noção de verdade, são exploradas as consequências da adoção do pressuposto que as condições de verdade das proposições aritméticas são determinadas por um padrão normativo instituído pela prática matemática. A análise desenvolvida estabelece precisamente em qual sentido o modelo padrão da aritmética - e consequentemente, o valor de verdade das sentenças aritméticas - é fixado pelo pressuposto de análise. Adicionalmente, é delineada uma estratégia de predicação da verdade de sentenças aritméticas fundada no paradigma normativo e que contorna alguns dos principais problemas enfrentados pelas escolas realista e formalista no que tange a atribuição de valor de verdade às sentenças aritméticas. Quanto à noção de existência, é desenvolvida uma proposta de avaliação dos requerimentos existenciais das sentenças aritméticas a partir do pressuposto que o importe existencial destas sentenças é um atributo das condições de verdade das proposições. A análise desse pressuposto motiva uma definição precisa e bem fundamentada, no contexto aritmético, para o conceito de axioma de existência de conjuntos. Adicionalmente, a análise fomenta um critério de diferenciação entre os axiomas de teorias que são, sob o prisma das interpretações, indistinguíveisAbstract: This Thesis aims to contribute to the understanding of two important subjects to the philosophy of mathematics. The notion of truth for mathematical propositions and the notion of existence in arithmetic. To pursue this target two original contributions are presented, one for each of these subjects. With regard to the notion of truth, we explore the consequences of adopting a normative framework to fix the truth value of arithmetic propositions. This normative framework is instituted by mathematical practice. The analysis will establish in what sense the standard model of arithmetic - and hence the truth value of arithmetic sentences - is fixed by the analysis' hypothesis. In addition, a strategy to fix the truth of arithmetical sentences based on the normative paradigm is outlined and we will argue that we can avoid some of the main difficulties faced by the realism and formalism with regard to the assignment of truth value to arithmetical sentences. Concerned with the notion of existence, a proposal is made to evaluate the existential requirements of arithmetic sentences. This evaluation is based on the assumption that the existential import of these sentences is an attribute of the truth conditions of arithmetic propositions. The analysis of this assumption motivates a precise and well-founded definition, in the arithmetical context, to the concept of existence axiom in arithmetical context. In addition, the analysis fosters a criterion of differentiation between the axioms of theories that are, from the perspective of interpretations, indistinguishableDoutoradoFilosofiaDoutor em FilosofiaFAPESP2013/01.011-6[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Freire, Rodrigo de AlvarengaCosta-Leite, Alexandre Fernandes BatistaSouza, Edelcio Gonçalves deMariano, Hugo LuizVenturi, GiorgioUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASAlmeida, Edgar Luis Bezerra de, 1976-20172017-12-11T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf1 recurso online (138 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1632743ALMEIDA, Edgar Luis Bezerra de. Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética. 2017. 1 recurso online (138 p.) Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1632743. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/991047Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2018-02-22T14:53:10Zoai::991047Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2018-02-22T14:53:10Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
Analysis of truth conditions and existential requirements in axiomatizations of arithmetic
title Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
spellingShingle Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
Almeida, Edgar Luis Bezerra de, 1976-
Aritmética
Ontologia
Verdade
Arithmetic
Ontology
Truth
title_short Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
title_full Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
title_fullStr Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
title_full_unstemmed Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
title_sort Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética
author Almeida, Edgar Luis Bezerra de, 1976-
author_facet Almeida, Edgar Luis Bezerra de, 1976-
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Freire, Rodrigo de Alvarenga
Costa-Leite, Alexandre Fernandes Batista
Souza, Edelcio Gonçalves de
Mariano, Hugo Luiz
Venturi, Giorgio
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 Almeida, Edgar Luis Bezerra de, 1976-
dc.subject.por.fl_str_mv Aritmética
Ontologia
Verdade
Arithmetic
Ontology
Truth
topic Aritmética
Ontologia
Verdade
Arithmetic
Ontology
Truth
description Orientadores: Itala Maria Loffredo D'Ottaviano, Rodrigo de Alvarenga Freire
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-12-11T00:00:00Z
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/1632743
ALMEIDA, Edgar Luis Bezerra de. Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética. 2017. 1 recurso online (138 p.) Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1632743. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1632743
identifier_str_mv ALMEIDA, Edgar Luis Bezerra de. Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética. 2017. 1 recurso online (138 p.) Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1632743. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/991047
Requisitos do sistema: Software para leitura de arquivo em PDF
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1 recurso online (138 p.) : il., digital, arquivo PDF.
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_ 1809189118589009920

Registros relacionados