Sciweavers

BIRTHDAY
2010
Springer

Tracking Evidence

13 years 9 months ago
Tracking Evidence
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.
Sergei N. Artëmov
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where BIRTHDAY
Authors Sergei N. Artëmov
Comments (0)