How should one understand knowledge-wh ascriptions? That is, how should one understand claims such as ‘‘I know where the car is parked,’’ which feature an interrogative complement? The received view is that knowledge-wh reduces to knowledge that p, where p happens to be the answer to the question Q denoted by the wh-clause. I will argue that knowledge-wh includes the question—to know-wh is to know that p, as the answer to Q. I will then argue that knowledge-that includes a contextually (...) implicit question. I will conclude that knowledge is a question-relative state. Knowing is knowing the answer, and whether one knows the answer depends (in part) on the question. (shrink)

Does G. E. Moore know that he has hands? Yes, says the dogmatist: Moore’s hands are right before his eyes. No, says the skeptic: for all Moore knows he could be a brain-in-a-vat. Yes and no, says the contrastivist: yes, Moore knows that he has hands rather than stumps; but no, Moore does not know that he has hands rather than vat-images of hands. The dogmatist and the skeptic suppose that knowledge is a binary, categorical relation: s knows that p. (...) The contrastivist says that knowledge is a ternary, contrastive relation: s knows that p rather than q. (shrink)

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)

Prior research on student question-asking has primarily been conducted from a cognitive, epistemological standpoint. In contrast, we present a hermeneutic-phenomenological investigation that emphasizes the moral-practical context in which question-asking functions as a situated way of being in the midst of practice. More particularly, we present a hermeneutic study of student question-asking in a graduate seminar on design theory. The study offers a unique moral-practical perspective on this commonly studied phenomenon. Our analysis yielded four themes regarding the moral-practical intricacies of question-asking (...) in this setting, with a particular focus on time-related constraints on participation, various types of background understanding, and value-laden expectations that participants encountered in this complex ecology of practice. (shrink)

: The common practice of giving (comparing, rejecting and inferring) explanations of phenomena is at the root of articulate learning, including the enterprises we collect under the noun ‘science’. The way that practice privileges a single item from the myriad relevant to any phenomenon tells us something about articulateness itself.

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.

The concepta question is reducible to a non-empty set of questions is defined and examined. The basic results are: (1) each question which is sound relative to some of its presuppositions is reducible to some set of binary (i.e. having exactly two direct answers) questions; (b) each question which has a finite number of direct answers is reducible to some finite set of binary questions; (c) if entailment is compact, then each normal question (i.e. sound relative to its presuppositions) is (...) reducible to some finite set of binary questions. (shrink)

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)

The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.

The concept of erotetic argument is introduced. Two relations between sets of declarative sentences and questions are analysed; and two classes of erotetic arguments are characterized.

Normative explanations, which specify why things have the normative features they do, are ubiquitous in normative theory and ordinary thought. But there is much less work on normative explanation than on scientific or metaphysical explanation. Skow (2016) argues that a complete answer to the question why some fact Q occurs consists in all of the reasons why Q occurs. This paper explores this theory as a case study of a general theory that promises to offer us a grip on normative (...) explanation which is independent of particular normative theories. I first argue that the theory doesn’t give an adequate account of certain enablers of reasons which are important in normative explanation. I then formulate and reject three responses on behalf of the theory. But I suggest that since theories of this general sort have the right kind of resources to illuminate how normative explanation might be similar to and different from explanations in other domains, they nonetheless merit further exploration by normative theorists. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.

Pourrait-on enrichir la théorie des actes de langage pour traiter du discours? Wittgenstein et Searle ont signalé des difficultés. Beaucoup de discours n’ont pas de but conversationnel, leur arrière-plan est indéfiniment ouvert, ils contiennent des énonciations dépourvues de pertinence et de félicité, et ainsi de suite. À mes yeux, l’objectif principal de la pragmatique du discours est d’analyser la structure et la dynamique des jeux de langage à but conversationnel. Pareils jeux de langage sont indispensables à tout genre de discours. (...) La logique peut analyser leurs conditions de félicité car leur poursuite obéit à des règles constitutives. Beaucoup d’énonciations ne sont pas littérales ou sérieuses. Les unités de la conversation sont les actes illocutoires tentés, qu’ils soient littéraux, sérieux ou non. Comme Montague, je préconise l’usage de formalismes logiques en pragmatique. J’expliquerai comment il convient de réviser et développer les logiques intensionnelle et illocutoire, la logique des attitudes et de l’action afin de modéliser notre capacité de dialoguer. Je comparerai mon approche à d’autres sur le plan de la méthodologie, des hypothèses et des enjeux.Could we enrich speech-act theory to deal with discourse? Wittgenstein and Searle pointed out difficulties. Most dialogues lack a conversational purpose, their background is indefinitely open, they contain irrelevant and infelicitous utterances, etc. In my view, the primary aim of discourse pragmatics is to analyze the structure and dynamics of language-games whose type is provided with an internal conversational goal. Such games are indispensable to any kind of discourse. Logic can analyze their felicity-conditions because they are conducted according to systems of constitutive rules. Speakers often speak non-literally or non-seriously. The units of conversation are attempted illocutions whether literal, serious or not. I will show how to construct speaker-meaning from sentence-meaning, conversational background and maxims. Like Montague, I believe that we need the resources of formalisms and of logic in pragmatics. I will explain how to further develop intensional and illocutionary logics, the logic of attitudes and of action in order to characterize our ability to converse. I will compare my approach to others as regards hypotheses, methodology and issues. (shrink)

Recently, it has become a custom to treat questions as a game between two subjects. Unfortunately, one rarely goesbeyond the scheme of Questioner-Scientist and Answerer-Nature, althoughthe Interlocutor so conceived displays some undesirable features. This paperargues for the idea that logic of questions can be build as a logic of the gamebetween “knowledge resources” persons or theories, rather than errant Scientist and omniscient Nature. To this end the concept of epistemically-possibleworlds is discussed, which is conceived as analogous to that of possible (...) worldsin modal logic. And, furthermore, the concepts of relation of epistemic alternativeness and of epistemically-alternative worlds are introduced. On thisbasis a version of semantics for propositional, three-valued logic of questionsis offered and semantic proofs of some theses are given. (shrink)

The issue of adequacy of the Turing Test (TT) is addressed. The concept of Turing Interrogative Game (TIG) is introduced. We show that if some conditions hold, then each machine, even a thinking one, loses a certain TIG and thus an instance of TT. If, however, the conditions do not hold, the success of a machine need not constitute a convincing argument for the claim that the machine thinks.

John Dewey's ideas on politics derive from his epistemology of inquiry as practical problem-solving. Dewey's philosophy is important for democratic theory because it emphasizes deliberation through questioning. However, Dewey's philosophy shares with positivism the same conception of answering as exclusively the dissolution of questions. While Dewey's ideas are distinct from positivism in important respects, he rejects a constitutive role for questioning by constructing knowledge as problem-solving via experience. The problem-solving ideal lends itself to a scientific conception of politics. Applying Michel (...) Meyer's philosophy of questioning, problematology, to Dewey's logic, reveals that Dewey's theory of inquiry is itself the product of an inquiry, confirming that questioning plays a constitutive role in knowledge. This suggests a problematological reconstruction of knowledge which extends Dewey's ideas by affirming an enhanced status for questioning. Grounding knowledge in the principle of questioning provides the basis for extending the rhetorical analysis of politics. (shrink)

Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...) of future contingents according to which many of them are true. Alternative accounts which maintain that no future contingents are true, either by claiming that they are all false or by claiming that they are neither true nor false, face difficulties concerning why it is appropriate to wonder about them. Reflecting on wondering in general, and wondering about the future in particular, suggests that in wondering how the future will go, we implicitly assume that there is a determinate fact of the matter. After presenting an attractive account of interrogative attitudes that has been recently proposed by Jane Friedman and outlining some norms governing wondering, I argue that all accounts of future contingents except Ockhamism face difficulties concerning why it is appropriate to wonder about them. (shrink)

This paper develops an account of the German discourse particle denn that captures the meaning contribution of this particle in polar questions, wh-questions, and certain conditional antecedents in a unified way. It is shown that the behavior of denn exhibits an asymmetry between polar and wh-interrogatives, which can be captured by treating the particle as sensitive to the property highlighted by its containing clause, in the sense of Roelofsen and Farkas :359–414, 2015). In addition, the paper argues that highlighting-sensitivity should (...) be incorporated in the account of another discourse particle, German überhaupt, and discusses how the proposed account of discourse particle denn may be extended to also cover the use of denn as a causal conjunction. (shrink)

In a recent paper (Haslanger 2016), Sally Haslanger argues for the importance of structural explanation. Roughly, a structural explana- tion of the behaviour of a given object appeals to features of the struc- tures—physical, social, or otherwise—the object is embedded in. It is opposed to individualistic explanations, where what is appealed to is just the object and its properties. For example, an individualistic explanation of why someone got the grade they did might appeal to features of the essay they wrote—its (...) being well-written, answering the set question, etc. But if the class is graded on a curve, then a better explanation will appeal to features of the class—of the social structure in which the student is embedded. That she wrote a better paper than 90% of the class explains better than that she wrote a well-argued paper. In this paper, I get clear as to various candidate concepts of structure that we might appeal to in structural explanations, argue that Haslanger’s preferred account is lacking, and present an alterna- tive that is more conducive to social structural explanation. (shrink)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

The basic theory of scientific understanding presented in Sections 1–2 exploits three main ideas.First, that to understand a phenomenonP (for a given agent) is to be able to fitP into the cognitive background corpusC (of the agent).Second, that to fitP intoC is to connectP with parts ofC (via arguments in a very broad sense) such that the unification ofC increases.Third, that the cognitive changes involved in unification can be treated as sequences of shifts of phenomena inC. How the theory fits (...) typical examples of understanding and how it excludes spurious unifications is explained in detail. Section 3 gives a formal description of the structure of cognitive corpuses which contain descriptive as well as inferential components. The theory of unification is then refined in the light of so called puzzling phenomena, to enable important distinctions, such as that between consonant and dissonant understanding. In Section 4, the refined theory is applied to several examples, among them a case study of the development of the atomic model. The final part contains a classification of kinds of understanding and a discussion of the relation between understanding and explanation. (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.

How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure.

Van Fraassen and others have urged that judgements of explanations are relative to why-questions; explanations should be considered good in so far as they effectively answer why-questions. In this paper, I evaluate van Fraassen's theory with respect to mathematical explanation. I show that his theory cannot recognize any proofs as explanatory. I also present an example that contradicts the main thesis of the why-question approach—an explanation that appears explanatory despite its inability to answer the why-question that motivated it. This example (...) shows how explanatory judgements can be context-dependent without being why-question-relative. (shrink)

I give an account of the compositional semantics of unconditionals that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct that supplies domain restrictions pointwise to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian sense. In the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of correlative, (...) and show what detaching this hypothesis from if involves. (shrink)

The aims of this paper are to provide a detailed taxonomy of noncanonical uses of interrogative sentences, i.e. when they are used not to ask a question but to convey some information, or to ask a question albeit not that expressed by the interrogative sentence exploited in the act, to identify properties of circumstances where an interrogative sentence is being used in this way, and to propose some maxims that govern the rational use of questions. Four main categories of such (...) cases are presented, and a few further subclasses are differentiated. I show how these types are interrelated, and what logical features differentiate them. I also propose a hypothesis for when an interrogative sentence is not being used in its primary mode. Studies on circumstances in which questions are used in other ways can shed light on maxims that govern asking and questioning in a rational conversation; therefore, some possible maxims of this kind are proposed. (shrink)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

Do you know who you are? If the question seems unclear, it might owe to the notion of ‘knowing-wh’ (knowing-who, knowing-what, knowing-when, etc.). Such knowledge contrasts with ‘knowing-that’, the more familiar topic of epistemologists. But these days, knowing-wh is receiving more attention than ever, and here we will survey three current debates on the nature of knowing-wh. These debates concern, respectively, (1) whether all knowing-wh is reducible to knowing-that (‘generalized intellectualism’), (2) whether all knowing-wh is relativized to a contrast proposition (...) (‘contrastivism about knowing-wh’), and (3) whether the context-sensitivity of knowing-wh is a semantic or purely pragmatic phenomenon (‘contextualism vs. invariantism about knowing-wh’). (shrink)

It was something of a dogma for much of the twentieth century that one cannot validly derive an ought from an is. More generally, it was held that non-normative propositions do not entail normative propositions. Call this thesis about the relation between the natural and the normative Natural-Normative Autonomy. The denial of Autonomy involves the entanglement of the natural with the normative. Naturalism entails entanglement—in fact it entails the most extreme form of entanglement—but entanglement does not entail naturalism. In a (...) ground-breaking paper “The autonomy of ethics” Arthur Prior constructed some intriguing counterexamples to Autonomy. While his counterexamples have convinced few, there is little agreement on what is wrong with them. I present a new analysis of Autonomy, one which is grounded in a general and independently plausible account of subject matters. While Prior’s arguments do establish shallow natural-normative entanglement, this is a consequence of simple logical relationships that hold between just about any two subject matters. It has nothing special to do with the logical structure of normativity or its relation to the natural. Prior’s arguments leave the fundamental idea behind natural-normative Autonomy intact. I offer a new argument for deep entanglement. I show that in any framework adequate for dealing with the natural and the normative spheres, a purely natural proposition entails a purely normative proposition, and vice-versa. But this is no threat to non-naturalist moral realism. In fact it helps ameliorate the excesses of an extreme non-naturalism, delivering a more palatable and plausible position. (shrink)

It is truism that accuracy is valued. Some deem accuracy to be among the most fundamental values, perhaps the preeminent value, of inquiry. Because of this, accuracy has been the focus of two different, important programs in epistemology. The truthlikeness program pursued the notion of propositional accuracy—an ordering of propositions by closeness to the objective truth of some matter. The epistemic utility program pursued the notion of credal state accuracy—an ordering of credal states by closeness to the ideal credal state. (...) It may be tempting to think that each question that informs an inquiry must be  determinate of necessity. That is to say, there must be one correct, precise answer to it. That precise, correct answer is not only the maximally accurate answer to the question, but it also singles out the ideal credal state that is the epistemic target of the inquiry. An enormous amount of the effort has been focused on accuracy with respect to necessarily determinate questions. But often the focus of an inquiry is a question that is not necessarily determinate. Those who deem accuracy to be cognitively valuable, and fundamentally so, need an account of accuracy for indeterminate questions. Ideally such an account would cover both propositional accuracy and credal state accuracy. This is a tall order, and it is not clear that the order can be filled. (shrink)

Supervenience theses promise ontological economy without reducibility. The problem is that they face a dilemma: either the relation of supervenience entails reducibility or it is mysterious. Recently higher-order universals have been invoked to avoid the dilemma. This article develops a higher-order framework in which this claim can be assessed. It is shown that reducibility can be avoided, but only at the cost of a rather radical metaphysical proposal.

In debates about rationalizing action explanation causalists assume that the psychological states that explain an intentional action have both causal and rational features. I scrutinize the presuppositions of those who seek and offer rationalizing action explanations. This scrutiny shows, I argue, that where rational features play an explanatory role in these contexts, causal features play only a presuppositional role. But causal features would have to play an explanatory role if rationalizing action explanation were a species of causal explanation. Consequently, we (...) should conclude that action explanation is not a species of causal explanation. (shrink)

Although explanation is widely regarded as an important concept in the study of rational inquiry, it remains largely unexplored outside the philosophy of science. This, I believe, is not due to oversight as much as to institutional resistance. In analytic philosophy it is basic that epistemic rationality is a function of justification and that justification is a function of argument. Explanation, however, is not argument nor is belief justification its function. I argue here that the task of incorporating explanation into (...) the theory of rational inquiry poses a serious challenge to our basic concept of epistemic rationality as well as the a priori method of inquiry that still lies at the heart of analytic philosophy. Specifically, it pushes us toward a much stronger form of naturalism than is generally thought necessary, one in which argument and explanation are recognized as distinct and equally fundamental cognitive processes whose dynamic relationship is one of the central issues in the theory of rationality. (shrink)

We consider question-answer dialogues between participants who may disagree with each other. The main problems are: (a) How different speech-acts affect the information in the dialogue; and (b) How to represent what was said in a dialogue, so that we can summarize it even when it involves disagreements (i.e., inconsistencies).We use a fully-typed many-sorted language L with a possible-worlds semantics. L contains nominals representing short answers. The speech-acts are uniformly represented in a dialogue language DL by focus structures, consisting of (...) a mood operator, a topic component and a focus component. Each stage of the dialogue is associated with a set of information functions (g-functions), which are partial functions taking a topic component (representing a question raised) to a set of propositions determined by the corresponding focus component (to the set of answers given to it). (shrink)

What does it mean to ‘give’ the value of a variable in an algebraic context, and how does giving the value of a variable differ from merely describing it? I argue that to answer this question, we need to examine the role that giving the value of a variable plays in problem-solving practice. I argue that four different features are required for a statement to count as giving the value of a variable in the context of solving an elementary algebra (...) problem: the variable must be in the scope opened by the problem statement; the values given must be in the range of the variable, which is determined by the problem; the statement giving the values must represent a complete solution; and it must be in a canonical form. This account helps us better understand elementary algebra itself, as well as the use of algebraic tools to analyze phenomena in natural language. (shrink)

Un problème est dit ici «mouvoir» la recherche, quand c'est sur lui que se concentre l'énergie du chercheur et que c'est son traitement qui fait «avancer» la recherche.Une entreprise de recherche, une « e-r »,commej'écrirai souvent, est considérée ici comme une unité individuée et je postule qu'il y a toujours au moins un « niveau » où l'on peut se placer pour qu'il soit légitime de considérer une e-r comme une unité individuée.

In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)