TR-2007019: Justification Logic
Sergei Nikolaevich Artemov · CUNY Academic Works (City University of New York) · 2007
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification.Justification Logic is based on classical propositional logic augmented by justification assertions t:F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs.It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem.As a case study, we formalize Gettier examples in Justification Logic and reveal hidden assumptions and redundancies in Gettier reasoning.We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a robust system of justifications.This renders a new, evidence-based foundation for epistemic logic.