UMA AVALIAÇÃO DA ESTRUTURA DE TIPOS PRESENTE NA TERCEIRA SEÇÃO DA BEGRIFFSSCHRIFT, À LUZ DO CÁLCULO LAMBDA.

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.. Palavras chave: Frege, Begriffsschrift, Abstração e Teoria dos Tipos