Logic Research Group

The mathematical and computational Logic Reserach Group of CoreLab focuses mainly on the following subjects: Modal Logic, Reasoning, Knowledge, Belief, Provability & Justification Logic.

Logic Research Group meeting every Wednesday, 15:30-17:30, at CoreLab.

Session #3: Justification Logic - Basic Principles , November 7, 2012 (Natalia Kotsani).

*This Wednesday the meeting will start after the end of Christos Papadimitriou talk!

Abstract
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. 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. 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. As a case study, we offer a resolution of the Goldman–Kripke ‘Red Barn’ paradox and analyze Russell’s ‘prime minister example’ in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning.

Justification Logic Papers

• S. Artemov. 'The Logic of Justification.' The Review of Symbolic Logic, v.1, No.4, pp.477-513, 2008.
• S. Artemov. 'Why Do We Need Justification Logic?' Games, Norms and Reasons Synthese Library, 2011, Volume 353, 23-38.
• S.Artemov, E.Kazakov and D.Shapiro. 'On logic of knowledge with justifications,' Technical Report CFIS 99-12, Cornell University, 1999.