Logica Copernicana: wykład Rafaela Ongaratto The Dynamics of Paraconsistent Reasoning
Zapraszamy na kolejne spotkanie Logica Copernicana (godz. 11:00, 15.10.2025, sala seminaryjna Katedry Logiki). W ramach seminarium wykład wygłosi Rafael Ongaratto z University of Campinas w Brazylli (Centre for Logic, Epistemology and the History of Science) oraz Institut de Recherche en Informatique de Toulouse we Francji.
Tytuł wykładu: The Dynamics of Paraconsistent Reasoning
Abstrakt:
In this talk, I introduce the logic PALFI1, a paraconsistent dynamic epistemic logic based on the three-valued logic LFI1. By discussing the notions of change and knowledge in the framework of paraconsistent logic, we engender new ways of thinking about knowledge in epistemic logics, and also illuminate the intricate connection between paraconsistency and change. Using PALFI1, it is possible to give a satisfactory answer to Kripke’s Paradox of Knowledge, and also to represent the evolution of an informational environment with multiple agents.
Seminarium Logica Copernicana (https://logicacopernicana.umk.pl/) to nieregularne, międzynarodowe seminarium poświęcone prezentacji zaawansowanych badań z zakresu logiki lub z nią związanych. Referaty na seminarium będą prezentowane przez gości Katedry Logiki lub członków zespołu.