The question of how to arrive at questions is ambiguous. I will concentrate on two readings: (i) How should one set up a formal syntax that accomodates questions? (ii) How does one, while working in a suitable formal language, arrive at a situation where one is allowed to or even must ask a certain question? In other words: How is the asking of questions regulated within a given formal language? I will propose an answer to question (i) and consider the (...) field of possibilities of answering (ii). (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)

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)

In the complex teaching paradigm constructed and celebrated in classical Greek philosophy, geometry was the gateway to knowledge. Historically, mathematics provided the generational basis of education in Western civilization. Its impact as a disciplining subject was philosophically served by Plato’s most influential metaphysical involvement with the dialectical interplay of form and content, ideas and images, and the formal, hierarchic divisions of reality. Mathematics became a key--perhaps the key--for the establishment of natural, social and intellectual hierarchies in Plato’s work, and mathematical (...) capacities became synonymous with power--the power of abstraction needed to effect and control change. It was the provenience of the academic demands, levels, and achievements celebrated as culturally Western. From ancient Athens to medieval Europe, it became the principle of interactional/hierarchic selection: Similia similibus cognoscuntur--that is, only those things alike can interact cognitively; this launched the notion that mathematical ability is the best test for objectively determining who does and who does not qualify for a social, political, and intellectual meritocracy. (shrink)

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)

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)

Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (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)

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)

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.

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (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)

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.

There are many ways of understanding the nature of philosophical questions. One may consider their morphology, semantics, relevance, or scope. This article introduces a different approach, based on the kind of informational resources required to answer them. The result is a definition of philosophical questions as questions whose answers are in principle open to informed, rational, and honest disagreement, ultimate but not absolute, closed under further questioning, possibly constrained by empirical and logico-mathematical resources, but requiring noetic resources to be answered. (...) The article concludes with a discussion of some of the consequences of this definition for a conception of philosophy as the study (or “science”) of open questions, which uses conceptual design to analyse and answer them. (shrink)

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)

Much of the extant discussion focuses on the question of whether contextualism resolves skeptical paradoxes. Understandably. Yet there has been less discussion as to the internal structure of contextualist theories. Regrettably. Here, for instance, are two questions that could stand further discussion: (i) what is the linguistic basis for contextualism and (ii) what is the parameter that shifts with context?

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)

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)

Scientific knowledge systems function as effective and specialized apparatus for formulating, analyzing and solving scientific problems. In science, problems become internal parts of the knowledge systems; thus they acquire new forms and properties in comparison with common-sense problems. Definite theoretical structures connected with problems and questions appear in the theory. Among them are erotetic expressions and languages, calculi and algebras of problems. On the basis of the structure-nominative reconstruction of a theory, the unified treatment of these structures is given. Methods (...) of the theory of named sets are used in the logical analysis of problems and their systems. As a consequence a new formalized model of the problem part of theory is constructed. (shrink)

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.

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)

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.

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)

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)

Debates about explanation in the social sciences often proceed without any clear idea what an 'account' of explanation should do. In this paper I take a stance - what I will call contextualism - that denies there are purely formal and conceptual constraints on explanation and takes standards of explanation to be substantive empirical claims, paradigmatically claims about causation. I then use this standpoint to argue for position on issues in the philosophy of social science concerning reduction, idealized models, social (...) mechanisms, functional explanations, inference to the best explanation and interpretive understanding. (shrink)

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...) dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games. (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)

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)

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)

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)

Uses erotetic logic to model the courtroom objection "Asked and Answered!".

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 is argued that Heidegger should be seen as something of a Kantian Idealist. Like Kant, Heidegger distinguishes two standpoints (transcendental and empirical) which we can occupy when we ask the question whether natural things depend on us. He agrees with Kant that from the empirical or human standpoint we are justified in saying that natural things do not depend on us. But in contrast with Kant, Heidegger argues that from the transcendental standpoint we can say neither that natural things (...) do depend on us, nor that they do not. His reasons for saying this, however, represent an attempt to rework both Kant's temporal idealism and his temporal interpretation of the concept of an object (which shows up in Heidegger as a temporal interpretation of being). Heidegger suggests that Kant was led astray into a transcendental idealism about natural entities, because he did not understand the implications of transcendental idealism about being. (shrink)

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)

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)

This paper explains some of the reasoning behind “Can a Good Philosophical Contribution Be Made Just by Asking a Question?,” a paper which consists solely in its title and which is published in the same issue of the journal as the present paper. The method for explaining that reasoning consists in making available a lightly edited version of a letter the authors sent to the editors when submitting the title-only paper. The editors permitted publication of that paper on the condition (...) that the authors also separately publish a version of that letter; the present paper aims to fulfil that condition. (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)

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)

In this paper I have tried to give the SAS some descriptive content with respect to English. I have suggested that correlations of form, function and fit play a central role in accounting for understanding literal and direct communication, and I have tried to take some initial steps towards constructing a plausible theory of such communication incorporating these notions.As with any developing theory, the SAS has a long way to grow. Among the problem areas that need further work are the (...) following: (1) The nature of the semantic representation in line L2; (2) An account of the notion ‘knowledge of language’ appealed to in line L1(a); (3) Psychological evidence for the various levels of processing and mediating procedures; (4) An account of the nature of pragmatic rules and their relationsip to grammars. Fortunately, these are matters for other times and other places. (shrink)

causal relevance, a three-place relation between event types, and circumstances, and argue for a logical independence condition on properties standing in the causal relevance relation relative to circumstances. In section 3, I apply these results to show that functionally defined states are not causally relevant to the output or state transitions in terms of which they are defined. In section 4, I extend this result to what that output in turn causes and to intervening mechanisms. In section 5, I examine (...) the implications of this result for functional theories of mental states. In section 6, I distinguish between functional descriptions of properties and functional definitions of properties, and argue the former present no obstacle to mental states being causally relevant to behavior, but that this is so because they do not treat mental states as functional states. In section 7, I examine the nature of explanations that appeal to functional states or properties. section 8 identifies some difficulties that arise in thinking about specifically conscious mental states as functional states. section 9 is a brief conclusion. (shrink)