Synthese 198 (2):1259-1285 (2021)

Authors
Yanjing Wang
Peking University
Chao Xu
Peking University
Abstract
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\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11229-019-02104-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,587
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Scientific Image.William Demopoulos & Bas C. van Fraassen - 1982 - Philosophical Review 91 (4):603.
Explanatory Unification.Philip Kitcher - 1981 - Philosophy of Science 48 (4):507-531.

View all 32 references / Add more references

Citations of this work BETA

Planning-Based Knowing How: A Unified Approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296:103487.

Add more citations

Similar books and articles

A Remark on Hereditarily Nonparadoxical Sets.Péter Komjáth - 2016 - Archive for Mathematical Logic 55 (1-2):165-175.
Models of Weak Theories of Truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
Cofinality of the Laver Ideal.Miroslav Repický - 2016 - Archive for Mathematical Logic 55 (7-8):1025-1036.
$$I_0$$ I 0 and Combinatorics at $$\lambda ^+$$ Λ +.Nam Trang & Xianghui Shi - 2017 - Archive for Mathematical Logic 56 (1-2):131-154.
Minimal Elementary End Extensions.James H. Schmerl - 2017 - Archive for Mathematical Logic 56 (5-6):541-553.
Isomorphic and Strongly Connected Components.Miloš S. Kurilić - 2015 - Archive for Mathematical Logic 54 (1-2):35-48.
A Covering Lemma for $${K}$$.Daniel W. Cunningham - 2007 - Archive for Mathematical Logic 46 (3):197-221.
Set Theory Without Choice: Not Everything on Cofinality is Possible.Saharon Shelah - 1997 - Archive for Mathematical Logic 36 (2):81-125.
Σ1-Wellorders Without Collapsing.Peter Holy - 2015 - Archive for Mathematical Logic 54 (3-4):453-462.

Analytics

Added to PP index
2021-02-26

Total views
29 ( #382,934 of 2,461,959 )

Recent downloads (6 months)
8 ( #88,165 of 2,461,959 )

How can I increase my downloads?

Downloads

My notes