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

AUTOR(ES)

Hiury Duarte Correia

FONTE

IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia

DATA DE PUBLICAÇÃO

20/11/2010

RESUMO

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.

ASSUNTO(S)

frege begriffsschrift abstração e teoria dos tipos filosofia frege begriffsschrift abstraction and type theory

Documentos Relacionados

• Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
• Structure of a third murine immunoglobulin lambda light chain variable region that is expressed in laboratory mice.
• Identification of a third type of lambda light chain in mouse immunoglobulins.
• Avaliação de software no ensino de cálculo
• Uma formalização da composicionalidade do cálculo lambda-ex em Coq