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

Detalhes bibliográficos
Ano de defesa: 2010
Autor(a) principal: CORREIA, Hiury Duarte lattes
Orientador(a): PORTO, André da Silva lattes
Banca de defesa: Não Informado pela instituição
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:
Palavras-chave em Inglês:
Área do conhecimento CNPq:
Link de acesso: http://repositorio.bc.ufg.br/tede/handle/tde/782
Resumo: 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.