THE LOGIC OF JUSTIFICATION

被引:146
作者
Artemov, Sergei [1 ,2 ,3 ]
机构
[1] CUNY, Grad Ctr, Comp Sci Program, New York, NY 10016 USA
[2] CUNY, Grad Ctr, Program Math, New York, NY 10016 USA
[3] CUNY, Grad Ctr, Program Philisophy, New York, NY 10016 USA
基金
美国国家科学基金会;
关键词
D O I
10.1017/S1755020308090060
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
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 well-known Gettier example and reveal hidden assumptions and redundancies in Gettier's reasoning.
引用
收藏
页码:477 / 513
页数:37
相关论文
共 69 条
[51]  
Moses Y., 1988, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, P261
[52]  
Neale Stephen., 1990, DESCRIPTIONS
[53]  
Nozick Robert., 1981, Philosophical Explanations
[54]  
PACUIT E, 2005, 5 PANH LOG S ATH U A
[55]  
PACUIT E, 2006, NOTE SOME EXPLICIT M
[56]  
PARIKH R, 1987, ISMIS 87 INT S METH, P432
[57]  
RUBTSOVA N, 2005, LOG C 2005 ATH U ATH
[58]  
Rubtsova N, 2006, LECT NOTES COMPUT SC, V3967, P313
[59]  
Russell B., 1919, Introduction to Mathematical Philosophy
[60]  
Russell B., 1912, The problems of philosophy