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. (shrink)

How do why-interrogatives work? How do they express the questions they express, in the contexts in which they express them? In this essay, I argue that, at a fundamental level, why-interrogatives work just like other wh-interrogatives, particularly other adjunct wh-interrogatives, and they express the questions they express, in the contexts in which they express them, by the same means that other wh-interrogatives do. These conclusions go against a trend in recent work on why-interrogatives, which holds that they are syntactically and (...) semantically unlike other wh-interrogatives. Since the claim that why-interrogatives are unlike other wh-interrogatives has been taken to support various philosophical theses about the nature of why-questions and explanation, showing that why-interrogatives are just like other wh-interrogatives undermines this line of support for these theses. (shrink)

This paper presents evidence that ‘because’ is importantly ambiguous between two closely related senses covering what are usually called causal explanations, on the one hand, and grounding or metaphysical explanations, on the other hand. To this end, it introduces the lexical categories of monosemy, polysemy and homonymy; describes a test for polysemy; and discusses the results of the test when applied to ‘because’. It also shows how to understand so-called hybrid explanations in light of the semantic facts established by the (...) analysis. (shrink)

From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version of the Question, (...) namely ‘Why is there something contingent rather than nothing contingent?’. The categorial version of the Question, namely ‘Why is there something concrete rather than nothing concrete?’, is also discussed. The conclusion is reached that deductive explanations are question-begging, whether one works with classical logic or positive or negative free logic. I also look skeptically at the prospects of giving causal-counterfactual or probabilistic answers to the Question, although the discussion of the options is less comprehensive and the conclusions are more tentative. The meta-question, viz. ‘Should we not stop asking the Question’, is accordingly tentatively answered affirmatively. (shrink)

En este trabajo argumento a favor de la idea de que una explicación científica es una respuesta a una pregunta, aunque no necesariamente a una pregunta-por-qué. Esto no quiere decir que las preguntas-por-qué no sean elementos fundamentales de toda investigación científica: su importancia radica en que son capaces de organizar y sistematizar un conjunto dado de creencias. Para justificar esta afirmación, comienzo por identificar tres estadios básicos en los cuales pueden surgir preguntas-por-qué, y luego procedo a caracterizar su estructura. Muestro (...) finalmente cómo usar este análisis para elucidar la noción de poder de unificación de hipótesis rivales. Entiendo que esta última noción, a su vez, constituye uno de los criterios que debemos considerar a la hora de evaluar cuál de dichas hipótesis rivales es la mejor explicación disponible, comparativamente hablando. In this paper I take scientific explanations to be answers to questions, though not necessarily to why-questions. This, however, is not meant to imply that why-questions are not fundamental in their own peculiar way. As I understand it, why-questions are crucial elements in any research process because they are able to organize and systematize an agent's belief set. In order to justify my claim I start by identifying three basic stages in which whyquestions can arise, and then I proceed to characterize their structure. I also show how to use this analysis to elucidate the notion of comparative unification power of rival hypotheses. The notion of comparative unification power, in turn, can be thought of as one of the criteria that we should take into account at the time of assessing which of such rival hypotheses is the best explanation available, comparatively speaking. (shrink)

This article commends Jaakko Hintikka's interrogative model of reasoning as an aid to historiography in relation to historical inquiry and explanation. After an initial discussion of David Hackett Fischer's appeal to the "logic of historical thought" in terms of his overlapping complementary emphases with Hintikka's interrogative model, a critical evaluation is given of Fischer's brief but strong comments regarding the role of why-questions in historical explanation. From there the main part of the article is given over to how the interrogative (...) model provides an account of the nature of explanation in general using Hintikka's recently published work on explanation theory. The theory of explanation that uses the interrogative model is applied to historical explanation and illustrated in the way the interrogative model serves a descriptively-valuable role in historiography by reference to historical inquiry and explanation in Herodotus. (shrink)

Selection explanations explain some non-accidental generalizations in virtue of a selection process. Such explanations are not particulaizable - they do not transfer as explanations of the instances of such generalizations. This is unlike many explanations in the physical sciences, where the explanation of the general fact also provides an explanation of its instances (i.e. standard D-N explanations). Are selection explanations (e.g. in biology) therefore a different kind of explanation? I argue that to understand this issue, we need to see that (...) a standard D-N explanation of some non-accidental generalization (al Fs are Gs) may also ipso facto explain its contrapositive (all non-Gs are non-Fs), but the explanation is particularizable with respect to the former but not to the latter. This can be seen by noting that the Raven Paradox counterexample to the H-D model of confirmation also generates a counterexample to the D-N model of explanation (all ravens are black does not explain why the non-black shoe is a non-raven). In such cases it is natural to take the generalization with the positive predicates to have a particularizable explanation. However, this need not be the case, and in selection explanations it is the generalization with the positive predicates whose explanation is no particularizable. Thus there is no need to suppose that selection explanations are fundamentally different. (shrink)

A (normalized) interpolant I in Craig's theorem is a kind of explanation why the consequence relation (from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means deriving it from a background theory T plus situational information A and if among the concepts of E we can separate those occurring only in T or only in A, (...) then the interpolation theorem applies in two different ways yielding two different explanations and two different covering laws. (shrink)