2014-07-292011-11-182010-11-20CORREIA, 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.http://repositorio.bc.ufg.br/tede/handle/tde/782Our 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.application/pdfAcesso AbertoFregebegriffsschriftabstração e teoria dos tiposFregebegriffsschriftabstraction and type theoryCNPQ::CIENCIAS HUMANAS::FILOSOFIADissertação