Advanced search
Start date
Betweenand

Advances and new perspectives on paraconsistent belief revision

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)

Scientific publications
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M. AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL, v. 25, n. 4, SI, p. 632-672, AUG 2017. Web of Science Citations: 0.

Please report errors in scientific publications list by writing to: cdi@fapesp.br.