Frege e as Leis da Aritmética: do ideal de fundamentação ao paradoxo

• Ano de defesa: 2015
• Autor(a) principal: Coury, Aline Germano Fonseca
• Orientador(a): Vilela, Denise Silva
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de São Carlos; Câmpus São Carlos
• Programa de Pós-Graduação: Programa de Pós-Graduação em Educação - PPGE
• Palavras-chave em Português: Aritmética - Fundamentos; Russell, Paradoxo de; Frege, Gottlob, 1848 - 1925
• Palavras-chave em Inglês: Foundations of the Arithmetic; The Basic Laws of the Arithmetic
• Área do conhecimento CNPq: CIENCIAS EXATAS E DA TERRA::MATEMATICA; CIENCIAS HUMANAS::EDUCACAO::TOPICOS ESPECIFICOS DE EDUCACAO
• Link de acesso: https://repositorio.ufscar.br/handle/20.500.14289/7513

Since the end of the nineteenth century and early twentieth century, some scholars such as Frege, Russell, Dedekind, Wittgenstein, among others, started to seek the foundations of the mathematics. Specifically, Frege developed studies in order to build the arithmetic foundation based on classical logic, i. e., using logic, he intended to build a system capable of formalizing mathematical definitions and proof methods. These works resulted in the publication of The Foundations of the Arithmetic in 1884 and subsequently in 1893 and 1902, The Basic Laws of Arithmetic. However, Frege’s attempt to reduce arithmetic to logic was inadequate due to a paradox discovered by Bertrand Russell in 1902. The aim of this research was to reconstruct mathematically and logically the Russell paradox in its original formulation in the Frege’s The Basic Laws of Arithmetic. This study had as primary bibliography Frege’s works and as secondary bibliography, works of his commentators, as well as the correspondence between Frege and Russell. This research provides a logical, philosophical and mathematical formation for the educator who is in contact with this event that covers both the areas that is disciplinary today. It is a fertile moment in the history of philosophy of mathematics and logic, configured as a watershed for mathematical theories since it enabled Gödel's incompleteness theorems and non-classical logics to be formulated, and also has repercussions in contemporary philosophy and which is of unquestionable value for the teacher formation.