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

• Ano de defesa: 2013
• Autor(a) principal: Britto, Arthur Heller
• Orientador(a): González Porta, Mário Ariel
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontifícia Universidade Católica de São Paulo
• Programa de Pós-Graduação: Programa de Estudos Pós-Graduados em Filosofia
• Departamento: Filosofia
• País: BR
• Palavras-chave em Português: Teorema de Frege; Logicismo; Concepção fregeana de logica
• Palavras-chave em Inglês: Logicism
• Área do conhecimento CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
• Link de acesso: https://tede2.pucsp.br/handle/handle/11644

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