Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda

• Ano de defesa: 2010
• Autor(a) principal: CORREIA, Hiury Duarte
• Orientador(a): PORTO, André da Silva
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Goiás
• Programa de Pós-Graduação: Mestrado em Filosofia
• Departamento: Ciências Humanas
• País: BR
• Palavras-chave em Português: Frege; begriffsschrift; abstração e teoria dos tipos
• Palavras-chave em Inglês: Frege; begriffsschrift; abstraction and type theory
• Área do conhecimento CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
• Link de acesso: http://repositorio.bc.ufg.br/tede/handle/tde/782

Our dissertation s theme is the Idea that, buried in Frege s unfriendly Logical notation, one finds the notion of abstraction as a key ingredient of his Begriffsschrift. This runs contrary to the ordinary appraisal, such as the one found in Van Heijenoort s introduction to that article. It runs also contrary to Frege s refusal of the possibility of referring to unsaturated entities. Still, we argue that the notion seems to be part both of Frege s philosophical positions such as the idea of quantification as second order predication and of Frege s logical practices.