Loading...
Please wait, while we are loading the content...
Similar Documents
The Logic of Justification (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Artemov, Sergei |
| 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 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. 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 wellknown Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. 1 |
| File Format | |
| Language | English |
| Publisher Date | 2008-01-01 |
| Publisher Institution | Cornell University |
| Access Restriction | Open |
| Subject Keyword | Justification Logic Prime Minister Example Classical Propositional Logic Hidden Assumption Mainstream Epistemology Justification Assertion Knowledge Problem General Logical Framework Basic Principle Epistemic Logic Epistemic Modal Logic Case Study Goldman-kripke Red Barn Paradox General Correspondence Theorem Evidence-based Foundation Epistemic Justification Wellknown Gettier Example Mathematical Theory Analyze Russell Well-known Justified True Belief V Robust System |
| Content Type | Text |
| Resource Type | Technical Report |
