Infinitude e Rupturas no Logicismo de Gottlob Frege

• Ano de defesa: 2020
• Autor(a) principal: Cardoso, Luciano Carvalho [UNIFESP]
• Orientador(a): Carvalho, Marcelo Silva De [UNIFESP]
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• dARK ID: ark:/48912/001300002548j
• Idioma: por
• Instituição de defesa: Universidade Federal de São Paulo (UNIFESP)
• Palavras-chave em Português: Aritmética; Pensamento; Conceitos; Enumerabilidade; Infinitude
• Palavras-chave em Inglês: Arithmetic; Thought; Concepts; Enumerability
• Link de acesso: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=9740701; https://hdl.handle.net/11600/64634

A construção do Logicismo Fregiano, enquanto abordagem que redefine as leis que fundamentam o pensamento e a aritmética, é reconhecida por fundamentar-se sobre a negação da intuição e por estruturar uma lógica de primeira e segunda ordem em conformidade com a lógica extensional de modo que o fundamento das verdades aritméticas se configuram como analíticos. Em seus últimos trabalhos, publicados apenas postumamente, Frege definirá uma abordagem distinta para o Logicismo. Agora fundamentado em uma fonte de conhecimento geométrico, que recorre parcialmente ao fundamento lógico do conhecimento, o novo modelo Fregiano parece reconhecer a importância da intuição nesse processo. O objetivo desse trabalho consiste em demonstrar o itinerário de construção do Logicismo Fregiano, as contradições que viriam a surgir na medida em que Frege amadurecia seu sistema, as rupturas que a Infinitude acarretou e como, após a constatação de inconsistência de seu sistema, Frege o reestrutura em um modelo prototípico de matemática unificada.