Lógicas modais com semânticas não-determinísticas

• Processo: 22/16816-9
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de junho de 2023
• Situação: Interrompido
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Mahan Vaz Silva
• 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): Lógica modal
• Palavra(s)-Chave do Pesquisador: Estruturas Swap | Lógica Modal | Paraconsistência | Semânticas não-determinísticas | Semãntica Formal, Lógica modal

Resumo

Resumo Este projeto tem o objetivo de desenvolver semânticas não-determinísticas para lógicas modais expandindo os resultados recentes sobre estruturas swap de Coniglio [5, 9], inspirados nos trabalhos de Kearns [13], Ivlev [12] e Avron e Lev [1]. Queremos trabalhar com lógicas que lidem adequada- mente com as situações propostas por Belnap e Dunn [11], em que temos evidências para a verdade e falsidade de um enunciado e desejamos atribuir um valor de verdade para este enunciado, baseado nas evidências que possuímos. A essa motivação adicionam-se os paradoxos, principalmente os epistêmi- cos, como material de interesse para aplicação dessas semânticas. Nosso objetivo é dividido em três frentes: a primeira, em desenvolver semânticas não-determinísticas para lógicas modais, utilizando as estruturas swap e N matrizes, assim como combinação de operadores modais, visando responder paradoxos; a segunda, desenvolver semânticas não-determinísticas com estruturas swap para lógicas modais de tipo Ivlev e combinar essas semânticas com modelos de Kripke; Por fim, desenvolver e im- plementar algoritmos para lidar com bases de dados inconsistentes, baseados em métodos de decisão desenvolvidos para as lógicas e semânticas propostas.