Advances and new perspectives on paraconsistent belief revision

Abstract

This project aims to continue the work done by the candidate under supervision of Prof. Dr. Marcelo Esteban Coniglio (IFCH and CLE-UNICAMP) and contribution of Prof. Dr. Marcio Moretto Ribeiro (EACH-USP), funded by CNPq and in the context of the Thematic Project FAPESP LogCons (process 2010/51038-0). Our focus was the construction of Systems of Paraconsistent Belief Revision, ie built on a logic of formal inconsistency (LFI). Our proposal was to develop the formal consequences of assuming the possibility of contradictory but nontrivial closed theories and the role of the consistency operator in the dynamic of such theories. The results of the previous work, besides presentations in national and international conferences and seminars, was a doctoral thesis successfully defended in July of this year, as well as articles in final stages of preparation. The subject of this project will be the same of the PhD, but the formal framework will be expanded, based on recent advances of LFIS, as well as deepen the logical-philosophical consequences of the opposition raised in the thesis between minimality and non-contradiction, as well as the distinction between the concepts of consistency and coherence and how this affects the coherentist theory of epistemic justification.The link with the group of Theoretical and Applied Logic (GTAL) CLE (FAPESP thematic cited above) will be maintained, as well the the participation of the candidate in the Laboratory for Logic, Artificial Intelligence and Formal Methods (LIAMF) IME-USP, under the responsibility of Prof. Dr. Renata Wassermann. (AU)