Difusão dos avanços da lógica paraconsistente e suas aplicações

• Processo: 24/00683-5
• Modalidade de apoio: Bolsas no Brasil - Programa Jornalismo Científico
• Data de Início da vigência: 01 de julho de 2024
• Data de Término da vigência: 30 de junho de 2025
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Daniel Santiago Jockwich Martinez
• Beneficiário: Andres Julian Schablatura Vera
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Vinculado ao auxílio: 21/04883-0 - Teoria paraconsistente de conjuntos, AP.JP
• Assunto(s): Lógica paraconsistente
• Palavra(s)-Chave do Pesquisador: Lógica paraconsistente | Newton da Costa | Paraconsistência | Teoria paraconsistente de conjuntos | Lógica paraconsistente

Resumo

Este projeto de difusão científica sobre lógica paraconsistente possui três objetivos principais: (i) apresentar ao público um percurso histórico do campo da paraconsistência no Brasil, a partir de seu desenvolvimento pela mão do professor Newton da Costa na década de 1960, (ii) explicar os principais conceitos matemáticos e filosóficos que fundamentam distintas lógicas paraconsistentes e identificar suas atuais fronteiras de pesquisa, a exemplo do projeto "Teoria Paraconsistente de Conjuntos" associado a esta proposta e, por fim, (iii) investigar as potenciais aplicações da paraconsistência em inúmeros campos do conhecimento, teóricos e práticos. Para alcançar tais objetivos, o projeto parte de um levantamento bibliográfico e pretende realizar uma série de entrevistas com pesquisadores relevantes da paraconsistência em instituições como USP e Unicamp. Voltado ao grande público, o projeto fará uso de linguagem sem formalismo sempre que possível, acessível ao leigo ou ao acadêmico que não está familiarizado com o campo da lógica. O conteúdo dos produtos de difusão, independentemente do formato a ser escolhido, será pautado simultaneamente pelo rigor científico e pelo caráter informativo, dinâmico e atrativo, adequado à linguagem de entretenimento das redes sociais.