Caminhos para uma Teoria Mais Robusta de Estruturas Swap

• Processo: 25/22258-7
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de fevereiro de 2026
• Data de Término da vigência: 31 de dezembro de 2026
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Felipe Nunes de Souza Camargo
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: combinação de lógicas | Estruturas Swap | Fibrilação de Lógicas | Matrizes Não Determinísticas | Semânticas não determinísticas

Resumo

Matrizes Lógicas Não Determinísticas são estruturas que generalizam as tradicionais Matrizes Lógicas e que permitem a aplicação de matrizes únicas e finitas a uma classe muito mais ampla de lógicas proposicionais. Todavia, essas matrizes não nos dão recursos muito úteis para combinar lógicas caracterizadas por elas. Além disso, os múltiplos valores que elas possuem, manipulados por operações hiperalgébricas, são, por vezes, de difícil interpretação e manipulação. Estruturas Swap, por outro lado, representam os valores de uma Matriz Não Determinística como combinações de valores booleanos. Isso permite que a combinação dessas lógicas seja feita de modo bastante direto. Elas também caracterizam as operações hiperalgébricas de modo muito mais informativo quanto à interpretação que devem possuir e, por vezes, de modo que facilita a manipulação das mesmas. Todavia, as Estruturas Swap ainda foram pouco exploradas e possuem um escopo muito fechado de aplicação, ao menos se comparado ao seu potencial. A pesquisa proposta neste projeto visa analisar possiveis alternativas para ampliar o escopo de aplicação das Estruturas Swap e suas combinações, apresentando algumas contribuições originais, estabelecendo as bases para estudos posteriores. Isso será feito por meio do estudo da bibliografia relevante e da interlocução com outros pesquisadores da área. Os principais resultados esperados são a produção de uma monografia e o compartilhamento da pesquisa por meio de seminários e apresentações em congressos e grupos de pesquisa. (AU)