TR-2010004: Tracking Evidence
Sergei Nikolaevich Artemov · CUNY Academic Works (City University of New York) · 2010
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts.We consider as basic an example which features two justifications for a true statement, one which is correct and one which is not.We formalize this example in a system of Justification Logic with two knowers: the object agent and the observer, and we show that whereas the object agent does not logically distinguish between factive and non-factive justifications, such distinctions can be attained at the observer level by analyzing the structure of evidence terms.Basic logic properties of the corresponding two-agent Justification Logic system have been established, which include Kripke-Fitting completeness.We also argue that a similar evidence-tracking approach can be applied to analyzing paraconsistent systems.