The Dynamics of Imperfect Reasoning: Change, Paraconsistency and Knowledge
摘要
In this article, the logic PALFI1 is introduced, a paraconsistent dynamic epistemic logic based on LFI1. Within an epistemic approach of paraconsistency, the themes of change and knowledge can be discussed in the framework of paraconsistent logic. This engenders new ways to think about epistemic states in epistemic logics, and it also illuminates the intricate connection between paraconsistency, change, and knowledge. Using PALFI1, it is possible to give a satisfactory reply to Kripke’s Paradox of Knowledge, and also to represent the evolution of informational environments with multiple agents.