An Inductive Modal Approach for the Logic of Epistemic Inconsistency

Ricardo Silvestre


The purpose of this paper is twofold. First we want to extent a specific
paranormal modal logic in such a way as obtain a paraconsistent and
paracomplete multimodal logic able to formalize the notions of plausibility
and certainty. With this logic at hand, and this is our second purpose, we
shall use a modified version of Reiter‘s default logic to build a sort of
inductive logic of plausibility and certainty able to represent some basic
principles of epistemic inductive reasoning, such as a negative
autoepistemic principle, an `error-prone feature of induction' principle and
a confirmation by enumeration principle.

Full Text: PDF


  • There are currently no refbacks.