O teorema de Frege: uma reavaliação do seu projeto logicista

Detalhes bibliográficos
Autor(a) principal: Britto, Arthur Heller
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da PUC_SP
Texto Completo: https://tede2.pucsp.br/handle/handle/11644
Resumo: The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented
id PUC_SP-1_d23a35b23fad63c16304ca30aedd80f8
oai_identifier_str oai:repositorio.pucsp.br:handle/11644
network_acronym_str PUC_SP-1
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_SP
repository_id_str
spelling Porta, Mario Ariel Gonzálezhttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4276812T1Britto, Arthur Heller2016-04-27T17:27:06Z2013-12-032013-11-08Britto, Arthur Heller. O teorema de Frege: uma reavaliação do seu projeto logicista. 2013. 91 f. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2013.https://tede2.pucsp.br/handle/handle/11644The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presentedO objetivo desta dissertação e, em primeiro lugar, apresentar o núcleo fundamental do projeto logicista fregeano - o que ficou conhecido pelo nome de teorema de Frege - como um resultado matemático independente para, em seguida, avaliar o seu significado filosófico por meio da discussão acerca do conceito fregeano de logica. Além disso, este trabalho contém dois anexos, nos quais se demonstra um teorema geral de recursão dentro de um sistema clássico de logica de segunda ordem e se apresenta uma construção neofregeana dos números reais por meio de sequências de Cauchyapplication/pdfhttp://tede2.pucsp.br/tede/retrieve/23905/Arthur%20Heller%20Britto.pdf.jpgporPontifícia Universidade Católica de São PauloPrograma de Estudos Pós-Graduados em FilosofiaPUC-SPBRFilosofiaTeorema de FregeLogicismoConcepção fregeana de logicaLogicismCNPQ::CIENCIAS HUMANAS::FILOSOFIAO teorema de Frege: uma reavaliação do seu projeto logicistainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_SPinstname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPTEXTArthur Heller Britto.pdf.txtArthur Heller Britto.pdf.txtExtracted texttext/plain150008https://repositorio.pucsp.br/xmlui/bitstream/handle/11644/3/Arthur%20Heller%20Britto.pdf.txtb75fb096b95d1dac34321ce2a439a69bMD53ORIGINALArthur Heller Britto.pdfapplication/pdf403242https://repositorio.pucsp.br/xmlui/bitstream/handle/11644/1/Arthur%20Heller%20Britto.pdf9ea7d542e4846499fab1760b30fe2a33MD51THUMBNAILArthur Heller Britto.pdf.jpgArthur Heller Britto.pdf.jpgGenerated Thumbnailimage/jpeg3075https://repositorio.pucsp.br/xmlui/bitstream/handle/11644/2/Arthur%20Heller%20Britto.pdf.jpg00d3c85e8b87d9d1d17270627ef67178MD52handle/116442022-04-28 06:51:00.2oai:repositorio.pucsp.br:handle/11644Biblioteca Digital de Teses e Dissertaçõeshttps://sapientia.pucsp.br/https://sapientia.pucsp.br/oai/requestbngkatende@pucsp.br||rapassi@pucsp.bropendoar:2022-04-28T09:51Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.por.fl_str_mv O teorema de Frege: uma reavaliação do seu projeto logicista
title O teorema de Frege: uma reavaliação do seu projeto logicista
spellingShingle O teorema de Frege: uma reavaliação do seu projeto logicista
Britto, Arthur Heller
Teorema de Frege
Logicismo
Concepção fregeana de logica
Logicism
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
title_short O teorema de Frege: uma reavaliação do seu projeto logicista
title_full O teorema de Frege: uma reavaliação do seu projeto logicista
title_fullStr O teorema de Frege: uma reavaliação do seu projeto logicista
title_full_unstemmed O teorema de Frege: uma reavaliação do seu projeto logicista
title_sort O teorema de Frege: uma reavaliação do seu projeto logicista
author Britto, Arthur Heller
author_facet Britto, Arthur Heller
author_role author
dc.contributor.advisor1.fl_str_mv Porta, Mario Ariel González
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4276812T1
dc.contributor.author.fl_str_mv Britto, Arthur Heller
contributor_str_mv Porta, Mario Ariel González
dc.subject.por.fl_str_mv Teorema de Frege
Logicismo
Concepção fregeana de logica
topic Teorema de Frege
Logicismo
Concepção fregeana de logica
Logicism
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
dc.subject.eng.fl_str_mv Logicism
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented
publishDate 2013
dc.date.available.fl_str_mv 2013-12-03
dc.date.issued.fl_str_mv 2013-11-08
dc.date.accessioned.fl_str_mv 2016-04-27T17:27:06Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv Britto, Arthur Heller. O teorema de Frege: uma reavaliação do seu projeto logicista. 2013. 91 f. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2013.
dc.identifier.uri.fl_str_mv https://tede2.pucsp.br/handle/handle/11644
identifier_str_mv Britto, Arthur Heller. O teorema de Frege: uma reavaliação do seu projeto logicista. 2013. 91 f. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2013.
url https://tede2.pucsp.br/handle/handle/11644
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.publisher.program.fl_str_mv Programa de Estudos Pós-Graduados em Filosofia
dc.publisher.initials.fl_str_mv PUC-SP
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Filosofia
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_SP
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_SP
collection Biblioteca Digital de Teses e Dissertações da PUC_SP
bitstream.url.fl_str_mv https://repositorio.pucsp.br/xmlui/bitstream/handle/11644/3/Arthur%20Heller%20Britto.pdf.txt
https://repositorio.pucsp.br/xmlui/bitstream/handle/11644/1/Arthur%20Heller%20Britto.pdf
https://repositorio.pucsp.br/xmlui/bitstream/handle/11644/2/Arthur%20Heller%20Britto.pdf.jpg
bitstream.checksum.fl_str_mv b75fb096b95d1dac34321ce2a439a69b
9ea7d542e4846499fab1760b30fe2a33
00d3c85e8b87d9d1d17270627ef67178
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv bngkatende@pucsp.br||rapassi@pucsp.br
_version_ 1809278016174424064

Registros relacionados