Avanços e novas perspectivas em revisão de crenças paraconsistente

Resumo

O presente projeto pretende continuar o trabalho desenvolvido pelo candidato sob orientação do Professor Dr. Marcelo Esteban Coniglio (IFCH e CLE-Unicamp) e participação do Prof. Dr. Márcio Moretto Ribeiro (EACH-USP), financiado pelo CNPq e inserido no contexto do Projeto Temático FAPESP LogCons (processo 2010/51038-0). No referido trabalho focamo-nos na construção de sistemas de Revisão de Crenças Paraconsistentes, isto é, construídos sobre uma lógica da inconsistência formal (LFI, da sigla em inglês). Nossa proposta foi desenvolver as consequências formais de se assumir a possibilidade de teorias fechadas contraditórias porém não triviais e qual o papel do operador de consistência na dinâmica de tais teorias. Os frutos do trabalho anterior, além de apresentações em seminários e congressos nacionais e internacional, foi a tese de doutorado defendida com sucesso em junho deste ano, bem como de artigos em fase final de elaboração. O tema do doutorado será mantido porém expandiremos nosso arcabouço formal, tendo por base principalmente os recentes avanços das LFIS, bem como aprofundaremos as consequências lógico-filosóficas da oposição levantada na tese entre minimalidade e não-contradição além da distinção entre os conceitos de coerência e consistência e como tal possivelmente afeta a teoria coerentista da justificativa epistêmica. Além de manter a vinculação com o grupo de Lógica Teórica e Aplicada (GTAL) do CLE (sob o temático FAPESP já citado) contaremos com a participação do candidato no grupo do Laboratório de Lógica, Inteligência Artificial e Métodos Formais (LIAMF) do IME-USP, sob responsabilidade da Profa. Dra. Renata Wassermann. (AU)