Like other epistemic activities, inquiry seems to be governed by norms. Some have argued that one such norm forbids us from believing the answer to a question and inquiring into it at the same time. But another, hither-to neglected norm seems to permit just this sort of cognitive arrangement when we seek to confirm what we currently believe. In this paper, I suggest that both norms are plausible and that the conflict between them constitutes a puzzle. Drawing on the felicity (...) conditions of confirmation requests and the biased interrogatives used to perform them, I argue that the puzzle is genuine. I conclude by considering a response to the puzzle that has implications for the debate regarding the relationship between credences and beliefs. (shrink)

A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might *prohibit* having certain inquiring attitudes (``norms of restriction''), while ignoring those that might *require* having them (``norms of expansion''). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields - some sympathetically, others unsympathetically. (shrink)

Recent literature on non-causal explanation raises the question as to whether explanatory monism, the thesis that all explanations submit to the same analysis, is true. The leading monist proposal holds that all explanations support change-relating counterfactuals. We provide several objections to this monist position. 1Introduction2Change-Relating Monism's Three Problems3Dependency and Monism: Unhappy Together4Another Challenge: Counterfactual Incidentalism4.1High-grade necessity4.2Unity in diversity5Conclusion.

The study of defeasible reasoning unites epistemologists with those working in AI, in part, because both are interested in epistemic rationality. While it is traditionally thought to govern the formation and (with)holding of beliefs, epistemic rationality may also apply to the interrogative attitudes associated with our core epistemic practice of inquiry, such as wondering, investigating, and curiosity. Since generally intelligent systems should be capable of rational inquiry, AI researchers have a natural interest in the norms that govern interrogative attitudes. Following (...) its recent coinage, we use the term ``zetetic'' to refer to the properties and norms associated with the capacity to inquire. In this paper, we argue that zetetic norms can be modeled via defeasible inferences to and from questions---a.k.a erotetic inferences---in a manner similar to the way norms of epistemic rationality are represented by defeasible inference rules. We offer a sequent calculus that accommodates the unique features of ``erotetic defeat" and that exhibits the computational properties needed to inform the design of zetetic agents. The calculus presented here is an improved version of the one presented in Millson (2019), extended to cover a new class of defeasible erotetic inferences. (shrink)

Many epistemologists endorse true-belief monism, the thesis that only true beliefs are of fundamental epistemic value. However, this view faces formidable counterexamples. In response to these challenges, we alter the letter, but not the spirit, of true-belief monism. We dub the resulting view “inquisitive truth monism”, which holds that only true answers to relevant questions are of fundamental epistemic value. Which questions are relevant is a function of an inquirer’s perspective, which is characterized by his/her interests, social role, and background (...) assumptions. Using examples of several different scientific practices, we argue that inquisitive truth monism outperforms true-belief monism. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

This essay presents a fully inferentialist-expressivist account of scientific representation. In general, inferentialist approaches to scientific representation argue that the capacity of a model to represent a target system depends on inferences from models to target systems. Inferentialism is attractive because it makes the epistemic function of models central to their representational capacity. Prior inferentialist approaches to scientific representation, however, have depended on some representational element, such as denotation or representational force. Brandom’s Making It Explicit provides a model of how (...) to fully discharge such representational vocabulary, but it cannot be applied directly to scientific representations. Pursuing a strategy parallel to Brandom’s, this essay begins with an account of how surrogative inference is justified. Scientific representation and the denotation of model elements are then explained in terms of surrogative inference by treating scientific representation and denotation as expressive, analogous to Brandom’s account of truth. The result is a thoroughgoing inferentialism: M is a scientific representation of T if and only if M has scientifically justified surrogative consequences that are answers to questions about T. (shrink)

Explanation is asymmetric: if A explains B, then B does not explain A. Tradition- ally, the asymmetry of explanation was thought to favor causal accounts of explanation over their rivals, such as those that take explanations to be inferences. In this paper, we develop a new inferential approach to explanation that outperforms causal approaches in accounting for the asymmetry of explanation.

In recent years, the effort to formalize erotetic inferences—i.e., inferences to and from questions—has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic : erotetic evocation and erotetic implication. While an effort has been made to axiomatize the former in a sequent (...) system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...) the properties associated with the behaviour of the English expression ‘That... best explains why ... ’. We first construct a calculus that encodes these properties at the level of the turnstile, i.e. as a metalinguistic expression for classes of defeasible consequence relations. We then show how this calculus can be conservatively extended over a language that contains a best-explains-why operator. (shrink)

In this paper, we argue that a person is obligated to explain why p just in case she has a role-responsibility to answer the question “Why p?”. This entails that the normative force of explanatory obligations is fundamentally social. We contrast our view with other accounts of explanatory obligations or the so-called “need for explanation,” in which the aforementioned normative force is epistemic, determined by an inquirer's interests, or a combination thereof. We argue that our account outperforms these alternatives.

In this essay, we extend earlier inferentialist-expressivist treatments of traditional logical, semantic, modal, and representational vocabulary (Brandom 1994, 2008, 2015; Peregrin 2014) to explanatory vocabulary. From this perspective, Inference to the Best Explanation (IBE) appears to be an obvious starting point. In its simplest formulation, IBE has the form: A best explains why B, B; so A. It thereby captures one of the central inferential features of explanation. An inferentialist-expressivist treatment of “best explains” would treat it as a logical operator. (...) Analogous to the inferentialist-expressivist treatment of other logical operators, this essay aims to provide introduction and elimination rules for “best explains.” Indeed, by exhibiting a form of detachment, IBE superficially looks like an elimination rule. The sequent calculus LEA+, described in Section 5 below, makes good on this intuition. By showing how “A best explains why B” is related to the underlying, scientific inference “A, so B,” we can purchase the inference ticket of IBE for no more than the cost of science’s material inferences. (shrink)

Robert Brandom’s normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This paper argues that Brandom’s purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. The upshot of (...) the argument is support for the claim that the normative pragmatic analysis of assertions requires a corresponding analysis of queries and vice versa. (shrink)

It’s commonly thought that, in conversation, speakers accept and reject propositions that have been asserted by others. Do speakers accept and reject questions as well? Intuitively, it seems that they do. But what does it mean to accept or reject a question? What is the relationship between these acts and those of asking and answering questions? Are there clear and distinct classes of reasons that speakers have for acceptance and rejection of questions? This chapter seeks to address these issues. Beyond (...) their intrinsic interest to those working on the nature of questions, solutions to these problems may aid the extension of inferentialist approaches to logic and language. Inferentialists who think that inferences should be conceived in terms of the norms we are subject to in virtue of both the sentences we accept or assert as well as those we reject or deny are known as bilateralists. A coherent account of accepting and rejecting questions raises the prospects for a bilateralism that interprets question-involving or erotetic inferences according to these additional primitives. While a full-blown bilateralism for erotetic inferences and ultimately for question-forming operators themselves far exceeds this chapter’s scope, the work presented here does sketch the first steps in that direction. (shrink)

Robert Brandom's normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This dissertation argues that Brandom's purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. I propose several (...) novel alternations to Brandom's deontic scorekeeping model of discourse, which I then utilize to generate a normative-pragmatic analysis of inquisitive practices. This analysis supports the claim that agents who can assert need to be able to ask questions and vice versa. The upshot is that intentionality belongs to those who can ask and answer questions. (shrink)

Many epistemologists take Inference to the Best Explanation (IBE) to be “fundamental.” For instance, Lycan (1988, 128) writes that “all justified reasoning is fundamentally explanatory reasoning.” Conee and Feldman (2008, 97) concur: “fundamental epistemic principles are principles of best explanation.” Call them fundamentalists. They assert that nothing deeper could justify IBE, as is typically assumed of rules of deductive inference, such as modus ponens. However, logicians account for modus ponens with the valuation rule for the material conditional. By contrast, fundamentalists (...) account for IBE with an ill-defined set of relations that happen to furnish their favorite set of inductive inferences. To our eye, this seems a little too convenient—there is too much room for ad hoc, just-so stories about the “striking” correspondence between our explanatory and inductive practices. We will argue that the (explanatory) pluralism adopted by the leading theorists of the best explanation—philosophers of science—undermines fundamentalism. Section 1 clarifies fundamentalism’s key tenets. Section 2 presents pluralism’s challenge to fundamentalism. Section 3 considers a potential fundamentalist reply to this challenge. Sections 4 through 6 canvass the leading candidates for developing this fundamentalist reply, showing each to be unsatisfactory. (shrink)