Revisitando o Teorema de Frege

Revisitando o Teorema de Frege

Henrique Antunes Almeida

DISSERTAÇÃO

T/UNICAMP AL64r

[Revisiting Frege's Theorem]

Campinas, SP : [s.n.], 2014.

130 p. : il.

Orientador: Walter Alexandre Carnielli

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: Neste trabalho, abordamos o Teorema de Frege sob uma perspectiva exclusivamente técnica. Primeiramente, propomos uma caracterização geral de linguagens de segunda ordem que sejam adequadas para formalizar quaisquer teorias fregeanas ¿ teorias que resultam da introdução de um ou mais...

Abstract: In this work, we discuss Frege¿s Theorem under an exclusively technical perspective. First, we propose a general caracterization of second-order languages suitable to formalize all Fregean theories ¿ theories that result from the introduction of one or more abstraction principles to a...

Revisitando o Teorema de Frege

Henrique Antunes Almeida


										

Revisitando o Teorema de Frege

Henrique Antunes Almeida

    Exemplares