Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1
Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5)
Previous issue date: 2013-11-08 / 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 / O 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 Cauchy
Identifer | oai:union.ndltd.org:IBICT/oai:leto:handle/11644 |
Date | 08 November 2013 |
Creators | Britto, Arthur Heller |
Contributors | Porta, Mario Ariel González |
Publisher | Pontifícia Universidade Católica de São Paulo, Programa de Estudos Pós-Graduados em Filosofia, PUC-SP, BR, Filosofia |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | application/pdf |
Source | reponame:Biblioteca Digital de Teses e Dissertações da PUC_SP, instname:Pontifícia Universidade Católica de São Paulo, instacron:PUC_SP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds