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

Detalhes bibliográficos
Autor(a) principal: CORREIA, Hiury Duarte
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFG
Texto Completo: 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.
id UFG-2_b717b34b2e1790970fdc90f72a4ad320
oai_identifier_str oai:repositorio.bc.ufg.br:tde/782
network_acronym_str UFG-2
network_name_str Repositório Institucional da UFG
repository_id_str
spelling PORTO, André da Silvahttp://lattes.cnpq.br/3598537464598916http://lattes.cnpq.br/7427036313662071CORREIA, Hiury Duarte2014-07-29T15:06:26Z2011-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.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.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-20application/pdfhttp://repositorio.bc.ufg.br/TEDE/retrieve/3349/Dissertacao%20Mestrado%20Hiury%20Correia.pdf.jpgporUniversidade Federal de GoiásMestrado em FilosofiaUFGBRCiências HumanasFregebegriffsschriftabstração e teoria dos tiposFregebegriffsschriftabstraction and type theoryCNPQ::CIENCIAS HUMANAS::FILOSOFIAUma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambdaAn assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculusinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFGinstname:Universidade Federal de Goiás (UFG)instacron:UFGORIGINALDissertacao Mestrado Hiury Correia.pdfapplication/pdf634437http://repositorio.bc.ufg.br/tede/bitstreams/c2ef60bb-fdb9-486f-bae5-5808cac4cd11/downloadcf6fd2233508dfe9b0a574d4f162b2baMD51THUMBNAILDissertacao Mestrado Hiury Correia.pdf.jpgDissertacao Mestrado Hiury Correia.pdf.jpgGenerated Thumbnailimage/jpeg4582http://repositorio.bc.ufg.br/tede/bitstreams/2be293f4-cff7-49d2-b4db-22d21fa77cfc/downloadf0184f447fb1d9de114ce2e87c21fc11MD52tde/7822014-07-30 03:04:50.061open.accessoai:repositorio.bc.ufg.br:tde/782http://repositorio.bc.ufg.br/tedeRepositório InstitucionalPUBhttp://repositorio.bc.ufg.br/oai/requesttasesdissertacoes.bc@ufg.bropendoar:2014-07-30T06:04:50Repositório Institucional da UFG - Universidade Federal de Goiás (UFG)false
dc.title.por.fl_str_mv Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
dc.title.alternative.eng.fl_str_mv An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus
title Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
spellingShingle Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
CORREIA, Hiury Duarte
Frege
begriffsschrift
abstração e teoria dos tipos
Frege
begriffsschrift
abstraction and type theory
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
title_short Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
title_full Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
title_fullStr Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
title_full_unstemmed Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
title_sort Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
author CORREIA, Hiury Duarte
author_facet CORREIA, Hiury Duarte
author_role author
dc.contributor.advisor1.fl_str_mv PORTO, André da Silva
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3598537464598916
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7427036313662071
dc.contributor.author.fl_str_mv CORREIA, Hiury Duarte
contributor_str_mv PORTO, André da Silva
dc.subject.por.fl_str_mv Frege
begriffsschrift
abstração e teoria dos tipos
topic Frege
begriffsschrift
abstração e teoria dos tipos
Frege
begriffsschrift
abstraction and type theory
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
dc.subject.eng.fl_str_mv Frege
begriffsschrift
abstraction and type theory
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description 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.
publishDate 2010
dc.date.issued.fl_str_mv 2010-11-20
dc.date.available.fl_str_mv 2011-11-18
dc.date.accessioned.fl_str_mv 2014-07-29T15:06:26Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv 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.
dc.identifier.uri.fl_str_mv http://repositorio.bc.ufg.br/tede/handle/tde/782
identifier_str_mv 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.
url http://repositorio.bc.ufg.br/tede/handle/tde/782
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Goiás
dc.publisher.program.fl_str_mv Mestrado em Filosofia
dc.publisher.initials.fl_str_mv UFG
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Ciências Humanas
publisher.none.fl_str_mv Universidade Federal de Goiás
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFG
instname:Universidade Federal de Goiás (UFG)
instacron:UFG
instname_str Universidade Federal de Goiás (UFG)
instacron_str UFG
institution UFG
reponame_str Repositório Institucional da UFG
collection Repositório Institucional da UFG
bitstream.url.fl_str_mv http://repositorio.bc.ufg.br/tede/bitstreams/c2ef60bb-fdb9-486f-bae5-5808cac4cd11/download
http://repositorio.bc.ufg.br/tede/bitstreams/2be293f4-cff7-49d2-b4db-22d21fa77cfc/download
bitstream.checksum.fl_str_mv cf6fd2233508dfe9b0a574d4f162b2ba
f0184f447fb1d9de114ce2e87c21fc11
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFG - Universidade Federal de Goiás (UFG)
repository.mail.fl_str_mv tasesdissertacoes.bc@ufg.br
_version_ 1798044324342005760

Registros relacionados