• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

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

CORREIA, Hiury Duarte 20 November 2010 (has links)
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.

Page generated in 0.1442 seconds