Dissertação
- Autor
- Rodrigo Costa Ferreira
- Orientador(a)
- Giovanni da Silva de Queiroz
- Universidade
- UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ) — UFPB-JP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2009
2009Rodrigo Costa Ferreira. LÓGICA E TEORIA DAS CATEGORIAS; ALGUMAS APROXIMAÇÕES. 2009. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ), PB. Orientador(a): Giovanni da Silva de Queiroz.1
A TEORIA DAS CATEGORIAS APRESENTA UMA LINGUAGEM ABSTRATA CAPAZ DE DESCREVER ESTRUTURAS MATEMÁTICAS NENERALIZADA..aPLICADA A LOGICA, ESSA TEORIA PERMITE FORMALIZAR IDÉIAS COMPLEXAS DE FORMA MAIS SIMPLES. APRESENTAMOS UM BREVE ESBOÇO HISTÓRICO, DESTA TEORIA, NA QUAL INDICAMOS OS PRINCIPAIS CONCEITOS, TRABALHOS E MOTIVAÇÕES. DEFINIMOS O QUE É UMA CATEGORIA, BEM COMO ANUNCIAMOS ALGUNS MODELOS PARA ESTA. ALGUMAS CONSTRUÇÕES FUNDAMENTAIS FORAM DICUTIDAS. AO FINAL, CONSTRUÍMOS POR MEIO DA CATEGORIA TOPOI, UMA SEMÂNCTICA PARA A LOGICA PROPORCIONAL CLASSICA E DEMONSTRAMOS, EM TERMOS CATEGÓRICO, O TEOREMA DA COMPLETUDE PARA TAL LÓGICA.
Palavras-chave: