This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...

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)

Call the norms of inquiry zetetic norms. How are zetetic norms related to epistemic norms? At first glance, they seem quite closely connected. Aren't epistemic norms norms that bind inquirers qua inquirers? And isn't epistemology the place to look for a normative theory of inquiry? While much of this thought seems right, this paper argues that the relationship between the epistemic and the zetetic is not as harmonious as one might have thought and liked. In particular, this paper argues that (...) some familiar contemporary epistemic norms are in tension with, and even in conflict with, central zetetic norms. (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)

It is valuable for inquiry to have researchers who are committed advocates of their own theories. However, in light of pervasive disagreement, such a commitment is not well explained by the idea that researchers believe their theories. Instead, this commitment, the rational attitude to take toward one’s favored theory during the course of inquiry, is what I call endorsement. Endorsement is a doxastic attitude, but one which is governed by a different type of epistemic rationality. This inclusive epistemic rationality is (...) sensitive to reasons beyond those to think the particular proposition in question is true. Instead, it includes extrinsic epistemic reasons, which concern the health of inquiry more generally. Such extrinsic reasons include the distribution of cognitive labor that a researcher will contribute to by endorsing a particular theory. Recognizing endorsement and inclusive epistemic rationality thus allows us to smooth a tension between individual rationality and collective rationality. It does so by showing how it can be epistemically rational to endorse a theory on the basis of the way this endorsement will benefit collective inquiry. I provide a decision theoretic treatment for inclusive epistemic rationality and endorsement which illustrates how this can be accomplished. (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)

This paper extends several themes from recent work on norms of assertion. It does as much by applying those themes to the speech act of asking. In particular, it argues for the view that there is a species of asking which is governed by a certain norm, a norm to the effect that one should ask a question only if one doesn’t know its answer.

In this paper I argue that suspension of judgment is intimately tied to inquiry and in particular that one is suspending judgment about some question if and only if one is inquiring into that question.

Defeasibility, most generally speaking, means that given some set of conditions A, something else B will hold, unless or until defeating conditions C apply. While the term was introduced into philosophy by legal philosopher H.L.A. Hart in 1949, today, the concept of defeasibility is employed in many different areas of philosophy. This volume for the first time brings together contributions on defeasibility from epistemology , legal philosophy and ethics and the philosophy of action . The volume ends with an extensive (...) bibliography. (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 book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. (...) Questions are asked for many reasons and for different purposes. Yet, before a question is asked or posed, a questioner must arrive at it. In many cases arriving at a question resembles coming to a conclusion: there are some premises involved and some inferential thought processes take place. If we agree that a conclusion need not be "conclusive", we may say that sometimes questions can play the role of conclusions. But questions can also perform the role of premises: we often pass from some "initial" question to another question. In other words, there are inferential thought processes - we shall call them erotetic inferences - in which questions play the roles of conclusions or conclusions and premises. The inferential approach to the logic of questions focusses its attention on the analysis of erotetic inferences. This book consists of eight chapters. (shrink)

The book presents a new logical framework to capture the meaning of sentences in conversation. It is based on a richer notion of meaning than traditional approaches, and allows for an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its many benefits.

Most current work in epistemology deals with the evaluation and justification of information already acquired. In this book, Jaakko Hintikka instead discusses the more important problem of how knowledge is acquired in the first place. His model of information-seeking is the old Socratic method of questioning, which has been generalized and brought up-to-date through the logical theory of questions and answers that he has developed. Hintikka also argues that philosophers' quest for a definition of knowledge is ill-conceived and that the (...) entire notion of knowledge should be replaced by the concept of information. He offers an analysis of the different meanings of the concept of information and of their interrelations. The result is a new and illuminating approach to the field of epistemology. (shrink)

The concept of cooperative question-responses as an extension of cooperative behaviours used by interfaces for databases and information systems is proposed. A procedure to generate question-responses based on question dependency and erotetic search scenarios is presented. The procedure is implemented in Prolog.