Skip navigation

Use este identificador para citar ou linkar para este item: https://repositorio.ufpb.br/jspui/handle/123456789/19472
Registro completo de metadados
Campo DCValorIdioma
dc.creatorGondim, Matheus Wanderley-
dc.date.accessioned2021-02-20T22:00:19Z-
dc.date.available2019-10-24-
dc.date.available2021-02-20T22:00:19Z-
dc.date.issued2019-09-30-
dc.identifier.urihttps://repositorio.ufpb.br/jspui/handle/123456789/19472-
dc.description.abstractThis 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.pt_BR
dc.description.provenanceSubmitted by Gracilene Figueiredo (gracilene.barbosa@biblioteca.ufpb.br) on 2021-01-22T13:47:34Z No. of bitstreams: 2 license_rdf: 805 bytes, checksum: c4c98de35c20c53220c07884f4def27c (MD5) MatheusWanderleyGondim_Tese.pdf: 633562 bytes, checksum: 7517154b10812e11cc8feb0226a0fa59 (MD5)en
dc.description.provenanceApproved for entry into archive by Biblioteca Digital de Teses e Dissertações BDTD (bdtd@biblioteca.ufpb.br) on 2021-02-20T22:00:19Z (GMT) No. of bitstreams: 2 license_rdf: 805 bytes, checksum: c4c98de35c20c53220c07884f4def27c (MD5) MatheusWanderleyGondim_Tese.pdf: 633562 bytes, checksum: 7517154b10812e11cc8feb0226a0fa59 (MD5)en
dc.description.provenanceMade available in DSpace on 2021-02-20T22:00:19Z (GMT). No. of bitstreams: 2 license_rdf: 805 bytes, checksum: c4c98de35c20c53220c07884f4def27c (MD5) MatheusWanderleyGondim_Tese.pdf: 633562 bytes, checksum: 7517154b10812e11cc8feb0226a0fa59 (MD5) Previous issue date: 2019-09-30en
dc.description.sponsorshipCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESpt_BR
dc.languageporpt_BR
dc.publisherUniversidade Federal da Paraíbapt_BR
dc.rightsAcesso abertopt_BR
dc.rights.urihttp://creativecommons.org/licenses/by-nd/3.0/br/*
dc.subjectFilosofia da Matemáticapt_BR
dc.subjectOntologiapt_BR
dc.subjectEstruturalismopt_BR
dc.subjectMetafísicapt_BR
dc.subjectLógicapt_BR
dc.subjectPhilosophy of Mathematicspt_BR
dc.subjectOntologypt_BR
dc.subjectStructuralismpt_BR
dc.subjectLogicpt_BR
dc.subjectMetaphysicspt_BR
dc.titleO estruturalismo e o debate ontológico em Filosofia da Matemáticapt_BR
dc.typeTesept_BR
dc.contributor.advisor1Assis Neto, Fernando Raul de-
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/2343862670428432pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/1625493228930899pt_BR
dc.description.resumoEsta 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentFilosofiapt_BR
dc.publisher.programPrograma de Pós-Graduação em Filosofiapt_BR
dc.publisher.initialsUFPBpt_BR
dc.subject.cnpqCNPQ::CIENCIAS HUMANAS::FILOSOFIApt_BR
Aparece nas coleções:Centro de Ciências Humanas, Letras e Artes (CCHLA) - Programa de Pós-Graduação em Filosofia

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
MatheusWanderleyGondim_Tese.pdf618,71 kBAdobe PDFVisualizar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons