Advanced search
Start date
Betweenand

Advances and new perspectives on paraconsistent belief revision

Grant number: 14/22119-2
Support Opportunities:Scholarships in Brazil - Post-Doctoral
Start date: January 01, 2015
End date: December 31, 2018
Field of knowledge:Humanities - Philosophy - Logic
Agreement: Coordination of Improvement of Higher Education Personnel (CAPES)
Principal Investigator:Marcelo Esteban Coniglio
Grantee:Rafael Rodrigues Testa
Host 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)

News published in Agência FAPESP Newsletter about the scholarship:
More itemsLess items
Articles published in other media outlets ( ):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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, p. 41-pg., . (10/51038-0, 14/22119-2)
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, . (14/22119-2, 10/51038-0)