Paraconsistent belief revision: constructive models and new operations
| Grant number: | 14/22119-2 |
| Support type: | Scholarships in Brazil - Post-Doctorate |
| Effective date (Start): | January 01, 2015 |
| Effective date (End): | December 31, 2018 |
| Field of knowledge: | Humanities - Philosophy |
| Cooperation agreement: | Coordination of Improvement of Higher Education Personnel (CAPES) |
| Principal Investigator: | Marcelo Esteban Coniglio |
| Grantee: | Rafael Rodrigues Testa |
| Home Institution: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
| Associated scholarship(s): | 17/10836-0 - Paraconsistent belief revision: constructive models and new operations, BE.EP.PD |
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) | |