A logic of knowing why

Xu, Chao; Wang, Yanjing; Studer, Thomas (2019). A logic of knowing why. Synthese, 198(2), pp. 1259-1285. Springer Netherlands 10.1007/s11229-019-02104-0

Preview	Text KnowingWhy.pdf - Submitted Version Available under License Publisher holds Copyright. Download (258kB) | Preview
Preview	Text Xu2019_Article_ALogicOfKnowingWhy.pdf - Published Version Available under License Publisher holds Copyright. Download (457kB) | Preview

When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi operator into the language of epistemic logic to express “agent i knows why φ” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices.

Interest & Impact

Downloads

167 since deposited on 21 Oct 2019
35 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item