Programa de Pós-graduação em Filosofia
URI Permanente desta comunidade
Navegar
Navegando Programa de Pós-graduação em Filosofia por Assunto "abstraction and type theory"
Agora exibindo 1 - 1 de 1
Resultados por página
Opções de Ordenação
Item Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda(Universidade Federal de Goiás, 2010-11-20) CORREIA, Hiury Duarte; PORTO, André da Silva; http://lattes.cnpq.br/3598537464598916Our 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.