O raciocínio abdutivo enquanto um processo de mudança de crenças (AGM) paraconsistente

• Processo: 24/22555-9
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de maio de 2025
• Data de Término da vigência: 31 de outubro de 2027
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Ulisses Franceschi Eliano
• 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): Revisão de crenças
• Palavra(s)-Chave do Pesquisador: abdução | Agm | Paraconsistência | Raciocínio Abdutivo | revisão de crenças | Abdução, revião de crenças e paraconsistência

Resumo

O objetivo final desta tese será formalizar logicamente o raciocínio abdutivo pensado como um processo de mudança de crenças e de modo a possibilitar hipóteses explicativas contraditórias, entre si ou entre crenças prévias, em um determinado estado epistêmico. Para isso, três pilares filosóficos, conceituais e lógicos serão devidamente elucidados, sistematizados e integrados: i) a abdução, ii) a dinâmica das crenças e o sistema de revisão de crenças AGM e iii) a paraconsistência - especificamente relativa às lógicas da inconsistência formal (LFIs). Cada um desses pilares possui um imenso arcabouço teórico e vasta literatura a serem explorados. Assim, a fim de criar as as condições para avaliar as virtudes e limitações do modelo formal a ser construído, além da mera formalização lógica em si, um detalhamento filosófico-conceitual suficientemente pormenorizado de cada um desses pilares é, creio, indispensável.