Sobre a Noção Categorial de Proto-topos

v. 6 n. 2 (2018) Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica" • Revista de Filosofia Moderna e Contemporânea

Autor: Edelcio Gonçalves de Souza

Resumo:

O objetivo da presente trabalho é mostrar como é possível fazer semântica para linguagens proposicionais em ambientes categoriais que não sejam topos. Proponho a definição de dois tipos de categorias denominadas categorias com morfismos verdade (CTM) e proto-topos. Em categorias com morfismos verdade, pode-se definir as “funções de verdade” que correspondem aos conectivos lógicos de negação, conjunção, implicação e disjunção. Em proto-topos, pode-se mostrar que as “funções de verdade” assim definidas satisfazem certas propriedades desejáveis com respeito aos valores de verdade verdadeiro e falso.

DOI: https://doi.org/10.26512/rfmc.v6i2.22103

Texto Completo: http://periodicos.unb.br/index.php/fmc/article/view/22103

Palavras-Chave: linguagens proposicionais,semântica categoria

Revista de Filosofia Moderna e Contemporânea

A Revista de Filosofia Moderna e Contemporânea caracteriza-se como um periódico digital, idealizado por um grupo de professores do Departamento de Filosofia da UnB (Universidade de Brasília), cujos interesses de pesquisa convergem para a interpretação e o debate dos pressupostos e dos desdobramentos históricos da tradição filosófica iniciada por volta do século XVII, centrada na discussão das faculdades do sujeito, dos modelos de organização política e social, dos valores e normas de conduta, assim como da natureza do belo e dos fundamentos da arte.

A Revista pretende ser um espaço de divulgação de estudos interpretativos e discussões acerca de temas, questões e autores de destaque na história da filosofia moderna e contemporânea. Neste sentido, ela se propõe a publicar artigos originais, bem como traduções e resenhas, relativos ao pensamento filosófico moderno e contemporâneo, redigidos em português, espanhol, francês, italiano, inglês e alemão, cujos autores sejam doutores, doutorandos ou mestres em filosofia (ou áreas afins).

Não será solicitado aos autores o pagamento de qualquer custo, referente tanto à submissão quanto ao processamento dos seus trabalhos.