Resumo
Este projeto tem como objetivo o estudo das múltiplas aplicações conceituais dos métodos para combinar lógicas.Ele mostra como combinar lógicas modais aléticas (para modelar o operador de contingência) e lógicas epistêmicas. Tal combinação é feita com a finalidade de enunciar um tipo de ceticismo caracterizado pela defesa do seguinte princípio: proposições contingentes não são conhecidas.…