Lógica Epistêmica Dinâmica Paraconsistente: enigmas sobre conhecimento inconsistente e informação

• Processo: 25/01892-0
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado
• Data de Início da vigência: 01 de setembro de 2025
• Data de Término da vigência: 31 de agosto de 2026
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Rafael dos Santos Ongaratto
• Supervisor: Hans Van Ditmarsch
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Instituição Anfitriã: Institut De Recherche En Informatique De Toulouse, França
• Vinculado à bolsa: 24/00807-6 - Desvendando Enigmas e Ressignificando Paradoxos: uma investigação em lógicas não-clássicas, BP.DR
• Assunto(s): Lógica paraconsistente Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: enigmas lógicos | Lógica Epistêmica Dinâmica | Lógica paraconsistente | Lógicas não-clássicas | Lógica Paraconsistente e Lógica Epistêmica

Resumo

Se nós pensarmos em termos de verdade, a paraconsistência rivaliza com a lógica clássica, introduzindo um terceiro valor de verdade. Entretanto, a escola brasileira de lógica paraconsistente, concebida nos trabalhos de Walter Carnielli e Marcelo Coniglio, tem um desideratum de pensar sobre a paraconsistência em termos de informação ao invés de verdade, isto é, Lógicas de Inconsistência Formal, as lógicas desenvolvidas nesta tradição, servem para representar a preservação de informação (possivelmente conflitante). Nessa medida, nós propomos fazer enigmas paraconsistentes baseados em uma interpretação epistêmica da paraconsistência, isto é, pensando em termos de informação. Ao aplicá-la a problemas do mundo real, no entanto, limitações começam a aparecer: lógicas paraconsistentes como a LFI1 são capazes de representar um estado informação que é impessoal: ele não diz nada sobre o conhecimento de múltiplos agentes, nem pode representar atualizações na informação. Essas duas propriedades podem ser incorporadas satisfatoriamente à lógica se considerarmos lógicas epistêmicas dinâmicas baseadas em LFIs. Nosso objetivo final é produzir e resolver enigmas paraconsistentes baseados nessa lógica epistêmica dinâmica. Uma versão paraconsistente da Lógica do Anúncio Público, a lógica epistêmica dinâmica padrão, também é interessante por si mesma: se nos restringirmos à lógica clássica, podemos conhecer apenas um conjunto de enunciados consistentes. Contudo, se estamos em uma lógica paraconsistente, há situações em que um agente pode conhecer um conjunto inconsistente de enunciados. Por exemplo, podemos dizer que um agente conhece a teoria ingênua da verdade, mesmo que essa teoria seja inconsistente, em um uso mais fraco de "conhecimento". O desenvolvimento de versões dinâmicas de LFIs também contribui para a interpretação epistêmica da paraconsistência.