Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
Carregando...
Data
2010-11-20
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Goiás
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.
Descrição
Palavras-chave
Citação
CORREIA, Hiury Duarte. An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus. 2010. 202 f. Dissertação (Mestrado em Ciências Humanas) - Universidade Federal de Goiás, Goiânia, 2010.