Revisitando o Teorema de Frege
Revisiting Frege's Theorem
| dc.creator | Almeida, Henrique Antunes, 1989- | |
| dc.date | 2014 | |
| dc.date | 2017-04-02T08:34:11Z | |
| dc.date | 2017-07-14T19:54:15Z | |
| dc.date | 2017-04-02T08:34:11Z | |
| dc.date | 2017-07-14T19:54:15Z | |
| dc.date.accessioned | 2018-03-29T04:01:28Z | |
| dc.date.available | 2018-03-29T04:01:28Z | |
| dc.identifier | ALMEIDA, Henrique Antunes,. Revisitando o Teorema de Frege. 2014. 130 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: <http://www.bibliotecadigital.unicamp.br/document/?code=000936279>. Acesso em: 2 abr. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/279774 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1339752 | |
| dc.description | Orientador: Walter Alexandre Carnielli | |
| dc.description | Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas | |
| dc.description | 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 princípios de abstração a um sistema dedutivo de lógica de segunda ordem; fornecemos uma semântica e um sistema dedutivo para essas linguagens e elaboramos alguns resultados metateóricos acerca desse sistema. Em segundo lugar, apresentamos uma exposicão detalhada da prova do Teorema de Frege, enunciado como uma relação entre a Aritmética de Frege e a Aritmética de Dedekind-Peano. Por fim, provamos a equiconsistência entre essas teorias e a Aritmética de Peano de Segunda Ordem | |
| dc.description | 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 deductive system of second-order logic; we also furnish a semantics and a deductive system for these languages and establish a few metatheorical results about the system. Second, we present a detailed proof of Frege¿s Theorem, formulated as a relation between Frege¿s Arithmetic and Dedekind-Peano Arithemtic. Finally, we prove the equiconsistency between these theories and Peano Second-Order Arithmetic | |
| dc.description | Mestrado | |
| dc.description | Filosofia | |
| dc.description | Mestre em Filosofia | |
| dc.format | 130 p. : il. | |
| dc.format | application/pdf | |
| dc.publisher | [s.n.] | |
| dc.subject | Frege, Gottlob, 1848-1925 | |
| dc.subject | Abstração | |
| dc.subject | Aritmética | |
| dc.subject | Matemática - Filosofia | |
| dc.subject | Lógica simbólica e matemática | |
| dc.subject | Abstraction | |
| dc.subject | Arithmetic | |
| dc.subject | Mathematics - Philosophy | |
| dc.subject | Symbolic and mathematical logic | |
| dc.title | Revisitando o Teorema de Frege | |
| dc.title | Revisiting Frege's Theorem | |
| dc.type | Tesis |