Review of Symbolic Logic 1 (4):477-513 (2008)
|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 GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Sergei N. Artemov & Lev D. Beklemishev (1993). On Propositional Quantifiers in Provability Logic. Notre Dame Journal of Formal Logic 34 (3):401-419.
Declan Smithies (2012). Moore's Paradox and the Accessibility of Justification. Philosophy and Phenomenological Research 85 (2):273-300.
Sergei Artemov & Rosalie Iemhoff (2007). The Basic Intuitionistic Logic of Proofs. Journal of Symbolic Logic 72 (2):439 - 451.
Mehul Shah (2007). Is It Justifiable to Abandon All Search for a Logic of Discovery? International Studies in the Philosophy of Science 21 (3):253 – 269.
Sergei N. Artemov (2012). The Ontology of Justifications in the Logical Setting. Studia Logica 100 (1-2):17-30.
Sergei Artemov (forthcoming). Justification Logic. Stanford Encyclopedia of Philosophy.
Added to index2009-03-19
Total downloads52 ( #23,699 of 722,764 )
Recent downloads (6 months)3 ( #25,873 of 722,764 )
How can I increase my downloads?