Mudanças de Crença: Entre Lógica Modal e Revisão de Crença

• Processo: 24/07209-7
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de outubro de 2024
• Data de Término da vigência: 30 de setembro de 2025
• Á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
• Assunto(s): Lógica modal Cálculo proposicional
• Palavra(s)-Chave do Pesquisador: epistemologia formal | Lógica Epistêmica Dinâmica | Lógica Epistêmica Doxástica | Lógica Modal | Lógica Proposicional | Revisão de Creças | Lógica Epistêmica

Resumo

Ao longo da história, lógicos proporam várias alternativas para a formalização da noção de crença. Um dos principais desafios está no fato de que, diferente do conhecimento ou da verdade, crenças são dinâmicas, sendo constantemente revisadas e alteradas. Nesse contexto, as Lógicas Epistêmicas Dinâmicas, usando multimodalidades, formalizam tanto as crenças quanto as operações de alteração de crenças com operadores de necessidade. Outro caminho apresentado foi a Teoria de Revisão de Crenças, que representa o conjunto das crenças de um agente por um conjunto fechado sob uma relação de inferência. Operações de alteração de crenças são formalizadas como a formação de outros conjuntos a partir de conjuntos anteriores. Recentemente, diversos lógicos proporam aproximações entre esses dois sistemas. Normalmemte modelando os elementos de um sistema um com as ferramentas disponibilizadas pelo outro. Minha pesquisa prevê o estudo de algumas dessas propostas. O principal objetivo é analizá-las, compará-las e, se possível, apresentar contribuições originais. Os principais resultados esperados são a produção de uma monografia e de um seminário para um grupo de pesquisa.