Combinações de conceitos modais e paraconsistentização de lógicas

• Processo: 08/07002-0
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de outubro de 2008
• Data de Término da vigência: 31 de outubro de 2009
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Alexandre Fernandes Batista Costa Leite
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Ceticismo
• Palavra(s)-Chave do Pesquisador: ceticismo | combinação de lógicas | conceitos modais | conhecimento-crença | paraconsistentização | Epistemologia e Metafísica

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.O trabalho também investiga conexões entre as noções de conhecimentoe crença. Existe um argumento conhecido e chamado aqui redução conhecimento-crença,o qual mostra que as noções de conhecimento e crença colapsam.Este projeto também propõe a investigação, do ponto de vista da combinaçãode lógicas, de quais são os sistemas formais combinados capazes de evitartal colapso. No final, as combinações de conceitos modais no contexto deambientes contraditórios são desenvolvidas com o uso da ferramenta unificadorachamada paraconsistentização de lógicas. Tal ferramenta é usada com a finalidadede paraconsistentizar algumas lógicas combinadas de tal modo que seja possível obterversões do ceticismo lógico nas quais contradições não são problemáticas,bem como versões paraconsistentes livres do colapso entre conhecimento e crença.Pretende-se também investigar aspectos matemáticos da paraconsistentizaçãode lógicas, assim como sua teoria básica e aplicações.