Philosophy and Phenomenological Research, EarlyView.

This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.

Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions. One approach, based on the framework of inquisitive semantics, is inquisitive dynamic epistemic logic ). In this system, agents are represented with issues as well as information. On the dynamic level, it can model actions that raise new issues. Compared to other approaches, a limitation of \ is that (...) it can only encode public announcements. \ can be refined to encode private questions, by merging its static basis, inquisitive epistemic logic ), with action model logic ). This can be done in two ways, namely by enriching action models with questions as possible actions or with issues concerning which action takes place. This paper describes the corresponding dynamic logics, which are conservative extensions of both \ and \, and a sound and complete axiomatization is given for both. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

This paper explores the relationship between the questioning attitude of wondering and a class of attitudes I call 'epistemic desires'. Broadly, these are desires to improve one's epistemic position on some question. A common example is the attitude of wanting to know the answer to some question. I argue that one can have any kind of epistemic desire towards any question, Q, without necessarily wondering Q, but not conversely. That is, one cannot wonder Q without having at least some epistemic (...) desire directed towards Q. I defend this latter claim from apparent counterexamples due to Friedman (2013) and Drucker (2022), and finish with a proposal on which epistemic desires, particularly the desire for understanding, play an explanatory role in distinguishing wondering from other forms of question-directed thought. (shrink)

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)

A significant argument for the claim that knowing-wh is knowing-that, implicit in much of the literature, including Stanley and Williamson (2001), is spelt out and challenged. The argument includes the assumption that a subject's state of knowing-wh is constituted by their involvement in a relation with an answer to a question. And it involves the assumption that answers to questions are propositions or facts. One of Lawrence Powers' counterexamples to the conjunction of these two assumptions is developed, responses to it (...) are rebutted, and the possibility of rejecting the second rather than the first of these assumptions is explored briefly. (shrink)

Contextualism treats ‘knows’ as an indexical that denotes different epistemic properties in different contexts. Contrastivism treats ‘knows’ as denoting a ternary relation with a slot for a contrast proposition. I will argue that contrastivism resolves the main philosophical problems of contextualism, by employing a better linguistic model. Contextualist insights are best understood by contrastivist theory.

The main purpose of this article is to present the methodological characteristics of a diagnostic process. A proposal is put forward to treat that process as a specific type of a research investigation. The research investigation can be represented in the notional systems of various concepts of the question logic. In this article I attempt to formulate a preliminary notional description of the diagnostic process with the use of terms being questions. Adopting this perspective of deliberations, I maintain that during (...) a diagnostic process a doctor employs a specific type of reasoning, where questions constitute lingual formulations of diagnostic problems. The article describes the structure of a diagnostic question which is used to incorporate diagnostic problems. I provide arguments for a thesis that such questions are meant to correlate information obtained on a patient’s condition. Pointing at various aspects of temporality of a diagnostic process, I intend to present its preliminary characteristics in terms of a research investigation. My deliberations are based on exemplifications in the area of medical diagnostics, mainly in cardiology. (shrink)

Contrastivism is the claim that the knowledge relation is ternary, it relates three relata: a subject, a proposition, and a class of contrastive propositions. The present paper is a discussion of Jonathan Schaffer’s arguments in favour of contrastivism. The case is made that these are unconvincing: the traditional binary account of knowledge can handle the phenomena that ternarity is claimed to handle in a superior way.

This paper gives a survey of the philosophy of science in Finland during the two decades 1970-90. Topics covered include the background (earlier studies by Eino Kaila, G. H. von Wright, and Jaakko Hintikka), the main areas of research (inductive logic, probability, truthlikeness, scientific theory, theory change, scientific realism, explanation and action, foundations of special disciplines), and the cultural impact of science studies.

Various authors have attempted to understand knowledge-wh—or knowledge ascriptions that include an interrogative complement. I present and explain some of the analyses offered so far and argue that each view faces some problems. I then present and explain a newanalysis of knowledge-wh that avoids these problems and that offers several other advantages. Finally I raise some problems for invariantism about knowledge-wh and I argue thatcontextualism about knowledge-wh fits nicely with a very natural understanding of the nature of questions.

The purpose of this paper is to give a semantical analysis of why-questions. Why-questions will be construed as requests for knowledge. Special attention will be paid to considering what the conditions for conclusive answerhood are in the case of why-questions. Since explanations can often be thought of as answers to why-questions, we also discuss some topics in the theory of explanation.

What are the relevant values to the appraisal of research programs? This question remains hotly debated, as philosophers have recently proposed many lists of values potentially relevant to scientific appraisal. Surprisingly, despite being mentioned in many lists, little attention has been paid to fruitfulness. It is unclear how fruitfulness should be explicated, and whether it has any substantial role in scientific appraisal. In this paper, I argue we should explicate fruitfulness as the capacity to develop of research programs. Moreover, I (...) provide a novel strategy to assess and compare the fruitfulness of programs focused on their research questions and heuristics. To illustrate how this strategy would work, I will discuss a case study, namely the adaptationist program in evolutionary psychology. (shrink)

Problem solving has recently become a central topic both in the philosophy of science and in cognitive science. This paper integrates approaches to problem solving from these two disciplines and discusses the epistemological consequences of such an integration. The paper first analyzes problem solving as getting a true answer to a question. It then explores some stages of cognitive activity relevant to question answering that have been delineated by historians and philosophers of science and by cognitive psychologists and artificial intelligencers. (...) The traditional opposition between discovery and justification is challenged. It is suggested that epistemology may be conceptualized, in part, as the critical assessment of problem-solving strategies. (shrink)

To identify and conceptualize research problems in science, philosophers and often scientists rely on classical accounts of problems that focus on intellectual problems defined in relation to theories. Recently, philosophers have begun to study the structures and functions of research problems not defined in relation to theories. Furthermore, scientists have long pursued research problems often labeled as practical or applied. As yet, no account of problems specifies the description of both so-called intellectual problems and so-called applied problems. This article proposes (...) a new conceptual framework of problems that accounts both for intellectual aspects of problems and for their practical or applied aspects. I illustrate the account with an example of a recent research project from evolutionary biology, and I indicate further routes by that to develop the account, especially in connection to empirical studies of science. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

This book is a sustained defense of the compatibility of the presence of idealizations in the sciences and scientific realism. So, the book is essentially a detailed response to the infamous arguments raised by Nancy Cartwright to the effect that idealization and scientific realism are incompatible.

THIS IS AN EARLY DRAFT OF MY PAPER "RESEARCH PROBLEMS" PUBLISHED IN BJPS IN 2021. PLEASE REFER TO THAT PAPER INSTEAD OF THIS ONE. -/- Philosophers increasingly study how scientists conduct actual scientific projects and the goals they pursue. But as of yet, there are few accounts of goals that can be used to identify different kinds, and specific instances, of goals pursued by scientists. I propose that there are at least four distinct kinds of goals pursued by scientists: ameliorating (...) problems, addressing questions, satisfying values, and achieving epistemic aims. I focus on the first two kinds, and I provide tools to help conceptualize, distinguish, and identify the problems and questions pursued by scientists. This paper illustrates the use of those tools with two examples. (shrink)

In this paper, we explore the conceptual problems arising when using network analysis in person- centered care (PCC) in psychiatry. Personalized network models are potentially helpful tools for PCC, but we argue that using them in psychiatric practice raises boundary problems, i.e., problems in demarcating what should and should not be included in the model, which may limit their ability to provide clinically-relevant knowledge. Models can have explanatory and representational boundaries, among others. We argue that we can make more explicit (...) what kind of questions personalized network models can address in PCC, given their representational and explanatory boundaries, using perspectival reasoning. (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

“Problem-solving” as a criterion of scientific progress defended by Thomas S. Kuhn and Larry Laudan, respectively, has been criticized by several authors. Recently, Alexander Bird has suggested that problem-solving as a criterion of scientific progress is regressive and anti-intuitive. In this text I reassess Kuhn, Laudan and Bird’s positions and I show that Bird’s arguments are untenable.