O estruturalismo e o debate ontológico em Filosofia da Matemática

Detalhes bibliográficos
Ano de defesa: 2019
Autor(a) principal: Gondim, Matheus Wanderley
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal da Paraíba
Brasil
Filosofia
Programa de Pós-Graduação em Filosofia
UFPB
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Filosofia da Matemática
Ontologia
Estruturalismo
Metafísica
Lógica
Philosophy of Mathematics
Ontology
Structuralism
Logic
Metaphysics
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Link de acesso: https://repositorio.ufpb.br/jspui/handle/123456789/19472
Resumo: This doctoral dissertation aims at arguing for a modal commitment towards truth in mathematical structures, i.e., Mathematics commits itself to demonstrable propositions. This task involves presenting and rejecting mathematical platonism about mathematical Objects, that is, the ontological commitment to mathematics’ abstract Objects. The denial of platonism is founded on Benacerraf’s argument for structuralism, as presented in What Numbers Could Not Be. Structuralism is then presented as a view which does not demand ontological commitment in order to achieve a working concept of objective truth in mathematics, as commitment to demonstrable sentences in instances of structures is itself sufficient. The thesis is divided into three chapters: the first one includes a discussion of key concepts for discussing ontology in mathematics; the second one presents the platonist account, the indispensability argument and Benacerraf’s argument for structuralism; the third chapter contains a discussion about the nature of axiom choices, as well as the difficulty in conciliating ontology and epistemology for a satisfactory definition of mathematical truth, as also defended by Benacerraf. This last chapter is then concluded with an argument for the proposed thesis.
id UFPB-2_562d8c5c04c70dbfe117d2e07c4f1387
oai_identifier_str oai:repositorio.ufpb.br:123456789/19472
network_acronym_str UFPB-2
network_name_str Repositório Institucional da UFPB
repository_id_str
spelling O estruturalismo e o debate ontológico em Filosofia da MatemáticaFilosofia da MatemáticaOntologiaEstruturalismoMetafísicaLógicaPhilosophy of MathematicsOntologyStructuralismLogicMetaphysicsCNPQ::CIENCIAS HUMANAS::FILOSOFIAThis doctoral dissertation aims at arguing for a modal commitment towards truth in mathematical structures, i.e., Mathematics commits itself to demonstrable propositions. This task involves presenting and rejecting mathematical platonism about mathematical Objects, that is, the ontological commitment to mathematics’ abstract Objects. The denial of platonism is founded on Benacerraf’s argument for structuralism, as presented in What Numbers Could Not Be. Structuralism is then presented as a view which does not demand ontological commitment in order to achieve a working concept of objective truth in mathematics, as commitment to demonstrable sentences in instances of structures is itself sufficient. The thesis is divided into three chapters: the first one includes a discussion of key concepts for discussing ontology in mathematics; the second one presents the platonist account, the indispensability argument and Benacerraf’s argument for structuralism; the third chapter contains a discussion about the nature of axiom choices, as well as the difficulty in conciliating ontology and epistemology for a satisfactory definition of mathematical truth, as also defended by Benacerraf. This last chapter is then concluded with an argument for the proposed thesis.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESEsta tese de doutorado tem por objetivo defender um compromisso modalpara a verdade em estruturas matemáticas, isto é, de que a matemática secompromete com proposições demonstráveis. Esta tarefa passa pelaapresentação e rejeição do platonismo matemático em relação a Objetos, ouseja, o compromisso ontológico com Objetos abstratos da matemática. Anegativa do platonismo é fundada no argumento a favor do estruturalismoproposto por Paul Benacerraf em WhatNumbersCouldNot Be. Oestruturalismo é então apresentado como uma postura que não demandacompromisso ontológico para que um conceito de verdade objetiva sejaaplicado significativamente à matemática, sendo suficiente umcompromisso com enunciados demonstráveis em instâncias de umaestrutura. O trabalho é organizado em três capítulos: no primeiro, sãodiscutidos os conceitos-chave para a discussão ontológica; no segundo, éapresentada a tese platonista, o argumento da indispensabilidade e oargumento de Benacerraf pelo estruturalismo; no terceiro, é discutida anatureza da escolha de axiomas em teorias matemáticas, bem como adificuldade de conciliação entre ontologia e epistemologia para umadefinição da verdade em matemática, tal como defendida em MathematicalTruth, também de Benacerraf. Este último capítulo é concluído com adefesa da tese deste trabalho.Universidade Federal da ParaíbaBrasilFilosofiaPrograma de Pós-Graduação em FilosofiaUFPBAssis Neto, Fernando Raul dehttp://lattes.cnpq.br/2343862670428432Gondim, Matheus Wanderley2021-02-20T22:00:19Z2019-10-242021-02-20T22:00:19Z2019-09-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://repositorio.ufpb.br/jspui/handle/123456789/19472porhttp://creativecommons.org/licenses/by-nd/3.0/br/info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFPBinstname:Universidade Federal da Paraíba (UFPB)instacron:UFPB2022-06-02T16:59:41Zoai:repositorio.ufpb.br:123456789/19472Repositório InstitucionalPUBhttps://repositorio.ufpb.br/oai/requestdiretoria@ufpb.br||bdtd@biblioteca.ufpb.bropendoar:25462022-06-02T16:59:41Repositório Institucional da UFPB - Universidade Federal da Paraíba (UFPB)false
dc.title.none.fl_str_mv O estruturalismo e o debate ontológico em Filosofia da Matemática
title O estruturalismo e o debate ontológico em Filosofia da Matemática
spellingShingle O estruturalismo e o debate ontológico em Filosofia da Matemática
Gondim, Matheus Wanderley
Filosofia da Matemática
Ontologia
Estruturalismo
Metafísica
Lógica
Philosophy of Mathematics
Ontology
Structuralism
Logic
Metaphysics
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
title_short O estruturalismo e o debate ontológico em Filosofia da Matemática
title_full O estruturalismo e o debate ontológico em Filosofia da Matemática
title_fullStr O estruturalismo e o debate ontológico em Filosofia da Matemática
title_full_unstemmed O estruturalismo e o debate ontológico em Filosofia da Matemática
title_sort O estruturalismo e o debate ontológico em Filosofia da Matemática
author Gondim, Matheus Wanderley
author_facet Gondim, Matheus Wanderley
author_role author
dc.contributor.none.fl_str_mv Assis Neto, Fernando Raul de
http://lattes.cnpq.br/2343862670428432
dc.contributor.author.fl_str_mv Gondim, Matheus Wanderley
dc.subject.por.fl_str_mv Filosofia da Matemática
Ontologia
Estruturalismo
Metafísica
Lógica
Philosophy of Mathematics
Ontology
Structuralism
Logic
Metaphysics
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
topic Filosofia da Matemática
Ontologia
Estruturalismo
Metafísica
Lógica
Philosophy of Mathematics
Ontology
Structuralism
Logic
Metaphysics
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description This doctoral dissertation aims at arguing for a modal commitment towards truth in mathematical structures, i.e., Mathematics commits itself to demonstrable propositions. This task involves presenting and rejecting mathematical platonism about mathematical Objects, that is, the ontological commitment to mathematics’ abstract Objects. The denial of platonism is founded on Benacerraf’s argument for structuralism, as presented in What Numbers Could Not Be. Structuralism is then presented as a view which does not demand ontological commitment in order to achieve a working concept of objective truth in mathematics, as commitment to demonstrable sentences in instances of structures is itself sufficient. The thesis is divided into three chapters: the first one includes a discussion of key concepts for discussing ontology in mathematics; the second one presents the platonist account, the indispensability argument and Benacerraf’s argument for structuralism; the third chapter contains a discussion about the nature of axiom choices, as well as the difficulty in conciliating ontology and epistemology for a satisfactory definition of mathematical truth, as also defended by Benacerraf. This last chapter is then concluded with an argument for the proposed thesis.
publishDate 2019
dc.date.none.fl_str_mv 2019-10-24
2019-09-30
2021-02-20T22:00:19Z
2021-02-20T22:00:19Z
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://repositorio.ufpb.br/jspui/handle/123456789/19472
url https://repositorio.ufpb.br/jspui/handle/123456789/19472
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal da Paraíba
Brasil
Filosofia
Programa de Pós-Graduação em Filosofia
UFPB
publisher.none.fl_str_mv Universidade Federal da Paraíba
Brasil
Filosofia
Programa de Pós-Graduação em Filosofia
UFPB
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPB
instname:Universidade Federal da Paraíba (UFPB)
instacron:UFPB
instname_str Universidade Federal da Paraíba (UFPB)
instacron_str UFPB
institution UFPB
reponame_str Repositório Institucional da UFPB
collection Repositório Institucional da UFPB
repository.name.fl_str_mv Repositório Institucional da UFPB - Universidade Federal da Paraíba (UFPB)
repository.mail.fl_str_mv diretoria@ufpb.br||bdtd@biblioteca.ufpb.br
_version_ 1863379027248545792

Registros relacionados