This paper explores the nature of curiosity from an epistemological point of view. First it motivates this exploration by explaining why epistemologists do and should care about what curiosity is. Then it surveys the relevant literature and develops a particular approach.

Our aim is to express in exact terms the old idea of solving problems by pure questioning. We consider the problem of derivability: "Is A derivable from Δ by classical propositional logic?". We develop a calculus of questions E*; a proof (called a Socratic proof) is a sequence of questions ending with a question whose affirmative answer is, in a sense, evident. The calculus is sound and complete with respect to classical propositional logic. A Socratic proof in E* can be (...) transformed into a Gentzen-style proof in some sequent calculi. Next we develop a calculus of questions E**; Socratic proofs in E** can be transformed into analytic tableaux. We show that Socratic proofs can be grounded in Inferential Erotetic Logic. After a slight modification, the analyzed systems can also be viewed as hypersequent calculi. (shrink)

Leading philosophical models of curiosity represent it as a desiderative attitude whose content is a question, and which is satisfied by knowledge of the answer to that question. I argue that these models do not capture the distinctive character of a form of curiosity that I call 'erotic curiosity'. Erotic curiosity addresses itself not to a question but to an object whose significance for the inquirer is affective as well as epistemic. This form of curiosity is best understood by analogy (...) to erotic love as theorized by Plato in the Symposium. (shrink)

What is curiosity? An attractive option is that it is a desire to know. This analysis has been recently challenged by what I call interrogativism, the view that inquiring attitudes such as curiosity have questions rather than propositions as contents. In this paper, I defend the desire-to-know view, and make three contributions to the debate. First, I refine the view in a way that avoids the problems of its simplest version. Second, I present a new argument for the desire-to-know view (...) that focuses on ascriptions of the form ‘S is curious to φ’, which, despite their prevalence, have been ignored in the literature. Third, I examine the central motivation for interrogativism—the argument from metacognition, according to which animals can be curious yet do not have the metacognitive capacities required by desires to know—and argue that it rests on questionable assumptions about desires and attitude ascriptions. (shrink)

A growing number of epistemologists have endorsed the Ignorance Norm for Inquiry. Roughly, this norm says that one should not inquire into a question unless one is ignorant of its answer. I argue that, in addition to ignorance, proper inquiry requires a certain kind of knowledge. Roughly, one should not inquire into a question unless one knows it has a true answer. I call this the Knowledge Norm for Inquiry. Proper inquiry walks a fine line, holding knowledge that there is (...) an answer in the left hand and ignorance of the answer in the right. (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)

Much of the recent work on epistemology of inquiry defends two related theses. First, inquiry into a question rationally prohibits believing an answer to that question. Second, knowledge is the aim of inquiry. I develop a series of cases which indicate that inquiry is not as narrow as these views suggest. These cases can be accommodated if we take a broader approach and understand inquiry as aiming at epistemic improvement, described more generally. This approach captures a wider range of inquiring (...) phenomena because it accounts for forms of epistemic improvement that fall short of, or go beyond, coming to know the answer to a question. (shrink)

Can agents rationally inquire into things that they know? On my view, the answer is yes. Call this view the Compatibility Thesis. One challenge to this thesis is to explain why assertions like “I know that p, but I’m wondering whether p” sound odd, if not Moore-Paradoxical. In response to this challenge, I argue that we can reject one or both premises that give rise to it. First, we can deny that inquiry requires interrogative attitudes. Second, we can deny the (...) ignorance norm, on which agents are not permitted to both know and have interrogative attitudes, such as wondering. I argue that there are compelling reasons to deny the former and reasons to question the latter. Both options pave the way for further work on further inquiry. (shrink)

Ideal epistemologists investigate the nature of pure epistemic rationality, abstracting away from human cognitive limitations. Non-ideal epistemologists investigate epistemic norms that are satisfiable by most humans, most of the time. Ideal epistemology faces a number of challenges, aimed at both its substantive commitments and its philosophical worth. This paper explains the relation between ideal and non-ideal epistemology, with the aim of justifying ideal epistemology. Its approach is meta-epistemological, focusing on the meaning and purpose of epistemic evaluations. I provide an account (...) on which the fundamental difference between ideal and non-ideal epistemic evaluations is that only the non-ideal epistemic ‘ought’ implies any substantive ‘can’. I argue that only ideal epistemic evaluations are ‘normatively robust’: they are neither conventional nor seriously context-sensitive. Non-ideal epistemic evaluations are normatively non-robust, exhibiting both conventionality and serious context-sensitivity from an interesting variety of distinct sources. For this reason, non-ideal epistemic evaluations won’t characterize the fundamental nature of epistemic rationality. Non-ideal epistemic rationality depends, not merely on what’s epistemically valuable, but also on modally contingent epistemic conventions and contextually contingent constraints on epistemic options. If we want a normatively robust theory of epistemic rationality, ideal epistemology is the only game in town. (shrink)

A puzzle arises when combining two individually plausible, yet jointly incompatible, norms of inquiry. On the one hand, it seems that one shouldn’t inquire into a question while believing an answer to that question. But, on the other hand, it seems rational to inquire into a question while believing its answer, if one is seeking confirmation. Millson (2021), who has recently identified this puzzle, suggests a possible solution, though he notes that it comes with significant costs. I offer an alternative (...) solution, which doesn’t involve these costs. The best way to resolve the puzzle is to reject the prohibition on inquiring into a question while believing an answer to it. Resolving the puzzle in this way makes salient two fruitful areas in the epistemology of inquiry which merit further investigation. The first concerns the nature of the inquiring attitudes and the second concerns the aim(s) of inquiry. (shrink)

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

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)

This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to calculizing (...) IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking". (shrink)

In her paper “Why Suspend Judging?” Jane Friedman has argued that being agnostic about some question entails that one has an inquiring attitude towards that question. Call this the agnostic-as-inquirer thesis. I argue that the agnostic-as-inquirer thesis is implausible. Specifically, I maintain that the agnostic-as-inquirer thesis requires that we deny the existence of a kind of agent that plausibly exists; namely, one who is both agnostic about Q because they regard their available evidence as insufficient for answering Q and who (...) decides not to inquire into Q because they believe Q to be unanswerable. I claim that it is not only possible for such an agent to exist, but that such an agent is also epistemically permissible. (shrink)

In this paper I take up the question of the nature of the doxastic attitudes we entertain while inquiring into some matter. Relying on a distinction between two stages of open inquiry, I urge to acknowledge the existence of a distinctive attitude of cognitive inclination towards a proposition qua answer to the question one is inquiring into. I call this attitude “hypothesis”. Hypothesis, I argue, is a sui generis doxastic attitude which differs, both functionally and normatively, from suspended judgement, full (...) belief, credences, and acceptance. In closing, I point to the epistemological significance of hypothesis. More specifically, I contend that holding an attitude of hypothesis enables us to respond rationally to peer disagreement, and I suggest that such an attitude offers a suitable articulation of the view, originally put forward by Philip Kitcher, that cognitive diversity in inquiry has epistemic benefits. (shrink)

According to tradition, logic is normative for reasoning. Gilbert Harman challenged the view that there is any straightforward connection between logical consequence and norms of reasoning. Authors including John MacFarlane and Hartry Field have sought to rehabilitate the traditional view. I argue that the debate is marred by a failure to distinguish three types of normative assessment, and hence three ways to understand the question of the normativity of logic. Logical principles might be thought to provide the reasoning agent with (...) first-personal directives; they might be thought to serve as third-personal evaluative standards; or they might underwrite our third-personal appraisals of others whereby we attribute praise and blame. I characterize the three normative functions in general terms and show how a failure to appreciate this threefold distinction has led disputants to talk past one another. I further show how the distinction encourages fruitful engagement with and, ultimately, resolution of the question. (shrink)

In a series of recent papers, Jane Friedman has argued that attitudes like wondering, enquiring, and suspending judgement are question-directed and have the function of moving someone from a position of ignorance to one of knowledge. Call such attitudes interrogative attitudes. Friedman insists that all IAs are governed by the following Ignorance Norm: Necessarily, if one knows Q at t, then one ought not have an IA towards Q at t. However, I argue that key premisses in Friedman’s argument actually (...) point towards an opposing conclusion; namely, that IAs are not governed by the Ignorance Norm, and IAs have functions other than moving someone from a position of ignorance to one of knowledge. I conclude that the Ignorance Norm should be rejected. (shrink)

In this paper I look at belief and degrees of belief through the lens of inquiry. I argue that belief and degrees of belief play different roles in inquiry. In particular I argue that belief is a “settling” attitude in a way that degrees of belief are not. Along the way I say more about what inquiring amounts to, argue for a central norm of inquiry connecting inquiry and belief and say more about just what it means to have an (...) inquiry or question settled. (shrink)

In this paper I argue that there is a class of attitudes that have questions (rather than propositions or something else) as contents.

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)

This paper argues that a set of questioning attitudes are among the foundations of human and animal minds. While both verbal questioning and states of curiosity are generally explained in terms of metacognitive desires for knowledge or true belief, I argue that each is better explained by a prelinguistic sui generis type of mental attitude of questioning. I review a range of considerations in support of such a proposal and improve on previous characterizations of the nature of these attitudes. I (...) then broaden their explanatory scope to include a number of forms of exploratory search. The paper has three main goals: to characterize the nature of the questioning attitudes, outlining their causal role and type of content; to argue that they are fundamental components of the mind, being widespread among animals and not constructed during ontogeny out of other attitudes; and to suggest that they explain a great deal more behavior than one might think. (shrink)

An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic CLuN and its extensions CLuNs and mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...) authors knowledge, this is the first account of resolution for mbC. Last but not least, as the method is grounded in IEL, it constitutes an important tool for the so-called question-processing. (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.

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)