Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda / An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus

Description

Made available in DSpace on 2014-07-29T15:06:26Z (GMT). No. of bitstreams: 1
Dissertacao Mestrado Hiury Correia.pdf: 634437 bytes, checksum: cf6fd2233508dfe9b0a574d4f162b2ba (MD5)
Previous issue date: 2010-11-20 / 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. / O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contraria, também, a rejeição de Frege à possibilidade de se referir a entidades insaturadas. Argumentamos que a noção de abstração aparece tanto como parte das posições filosóficas de Frege como, por exemplo, a idéia de que a quantificação é uma predicação de segunda ordem como, também, de sua prática lógica.

Links & Downloads

1. 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.
2. http://repositorio.bc.ufg.br/tede/handle/tde/782

Tags

Frege

begriffsschrift

abstração e teoria dos tipos

Frege

begriffsschrift

abstraction and type theory

CNPQ::CIENCIAS HUMANAS::FILOSOFIA

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.bc.ufg.br:tde/782
Date	20 November 2010
Creators	CORREIA, Hiury Duarte
Contributors	PORTO, André da Silva
Publisher	Universidade Federal de Goiás, Mestrado em Filosofia, UFG, BR, Ciências Humanas
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	application/pdf
Source	reponame:Biblioteca Digital de Teses e Dissertações da UFG, instname:Universidade Federal de Goiás, instacron:UFG
Rights	info:eu-repo/semantics/openAccess