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)

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)

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)

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)

By and large, Inferential Erotetic Logic (IEL, for short) is an approach to the logic of questions which puts in the centre of attention inferential aspects of questioning. IEL is not an enterprise of the last few years only. The idea originates from the late 1980s. It evolved through time. Initially, the stress was put on the phenomenon of question raising. This changed gradually, as some forms of reasoning that involve questions have appeared to be analyzable by (...) means of the conceptual apparatus developed. In this essay I present the basics of IEL and comment on them. Most, though not all, of the ideas discussed here have been scattered across my earlier publications. The invitation from the organizers of the Asking and Answering workshop (Greifswald, September 2020) resulted in an attempt of presenting the themes of IEL in a concise but, as I hope, also comprehensible way. (shrink)

The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued (...) class='Hi'>logic, we will show how an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues. (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)

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)

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 aim of this paper is to introduce erotetic search scenarios known from Inferential Erotetic Logic by using the framework of epistemic erotetic logic. The key notions used in this system are those of askability and epistemic erotetic implication. Scenarios are supposed to represent all rational strategies of an agent solving the problem posed by the initial question where the interaction with an external information source is seen as a series of updates of the (...) agent’s knowledge. (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 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 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.

There are inferences from a sentence or a set of sentences to a question. The relation between the premises and conclusions of such inferences is sometimes called arising.

happens, how it happens, and why it happens. Our assumption ought to be that this is as true in education as it is in atomic physics. But this leaves many other questions to answer. The crucial ones: What kind of science is proper or appropriate to education? How does it differ from physics? What is wrong with the prevai1~ ing, virtually unopposed research tradition in education? What could or should be done to replace it with a more adequate tradi tion? (...) What concepts are necessary to describe and explain what we find there? It is in this realm that we find ourselves. Where to start? One place - our place, needless to say - is with one limited but central concept in education, teaching. A long philosophical tradition concerned with the nature of teaching goes back (along with everything else) to Plato, divulging most recent ly in the work of such philosophers as B. O. Smith, Scheffler, Hirst, Komisar, Green, McClellan, Soltis, Kerr, Fenstermacher, et al. An empirical tradition runs parallelto the philosophers -it has its most notable modern proponents in Gage, the Soars, Berliner, Rosen shine, but its roots can be traced to the Sophists. These two tradi tions have been at loggerheads over the centuries. (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)

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.

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

It is hard to imagine our life without questions. They facilitate orientation in our environment, enable interpersonal communication and make the acquisition of knowledge possible. Questions direct scientific research, are used as research tools and are an important medium of transferring knowledge in teaching. The book is intended as a par excellence philosophical monograph of the theory of questions, presenting the most important erotetic problems, their general background and selected practical applications. It is prepared in all fairness to results (...) acquired in the framework of the logical theories of questions but goes beyond this framework. (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)

Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...) formal-semantical) nature. In contrast, for Mill such a question is as valid as any other. These differing views have their consequences for contemporary erotetic logic. (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.

This book presents a unified theory of the human capacity for reasoning and decision-making. The erotetic theory accounts for a diverse range of empirically documented fallacies and framing effects and shows how the same mental processes that yield fallacies can yield what logicians call first-order validity and probabilistic coherence in reasoning, as well as rational decision-making as conceived by economists. The central idea is that our minds naturally aim at resolving issues, and if we are sufficiently inquisitive in the (...) process, we can avoid mistakes. The erotetic theory holds that both the successes and the failures of reason are due to this aim. Rationality is secured if we reach what will be called erotetic equilibrium. (shrink)

Uses erotetic logic to model the courtroom objection "Improper Cross!". -/- Readers downloading the article should also please download the erratum et corrigendum, which is locally available.

Puzzle-solving, like several other everyday activities, appears in a more sophisticated and ramified form in the realm of natural science. Improving on Thomas Kuhn's rudimentary account of puzzles in science, this paper formulates logical and functional criteria for the occurrence of scientific puzzles, and examines the two-fold nature of their solutions. Then, with the aid of erotetic logic, puzzle-posing questions are identified, their presuppositional relations to scientific theory and explanations are explored, and a new tool for history of (...) science research is developed. (shrink)

Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. (...) R. Fitch on consistency. Belnap, N. D., Jr. Grammatical propaedeutic. Thomason, R. H. Decidability in the logic of conditionals. Myhill, J. Levels of implication.--Deontic, epistemic, and erotetic logic: Bacon, J. Belief as relative knowledge. Wu, K. J. Believing and disbelieving. Kordig, C. R. Relativized deontic modalities. Harrah, D. A system for erotetic sentences. (shrink)

Despite some talk of ‘erotetic logic’ and ‘the logic of interrogatives’, logicians have hitherto completely overlooked the peculiar logical form of questions, also shared by interrogative clauses generally. Of relevance to an understanding of time are those interrogative clauses that are janus-like: sometimes raising a question, sometimes answering it—which can then no longer arise. Since a closed question can no longer arise, it might seem that simply the passing of time turns an open into a closed question. (...) Instead, the passing of time itself can be understood as the closing or resolution of open questions, of the determination of what is not fixed but as yet in question. (shrink)

Note: The author holds the copyright, and there was no agreement, express or implied, not to use a facsimile PDF. -/- Using erotetic logic, the paper defines the "the whole truth" in a manner consistent with U.S. Supreme Court precedent. It cannot mean "the whole story," as witnesses in an adversary system are permitted /only/ to answer the questions put to them, nor are they permitted to speculate, add irrelevant material, etc. Nor can it mean not to add (...) an admixture of falsity, as that is already included in "nothing but the truth," and, strictly speaking, in "the truth," as any such as admixture renders the whole thing false (given bivalence is presupposed) by &-introduction. (shrink)

My aim in this paper is to use a formal approach to the Turing test. This approach is based on a tool developed within Inferential Erotetic Logic, so called erotetic search scenarios. First, I reconstruct the setting of the Turing test proposed by A.M. Turing. On this basis, I build a model of the test using erotetic search scenarios framework. I use the model to investigate one of the most interesting issues of the TT setting – (...) the interrogator’s perspective and role in the test. (shrink)

These sixteen essays were written in honor of Frederick B. Fitch. Each part of the volume treats an area of the logical enterprise which had special interest for Fitch. The four parts are entitled, respectively, "Metaphysics and Language," "Basic and Combinatorial Logic," "Implication and Consistency," and "Deontic, Epistemic, and Erotetic Logic.".

I consider two cognitive phenomena: inquiring and justifying, as complementary processes running in opposite directions. I explain on an example that the former process is driven by questions and the latter is a codification of the results of the first one. Traditionally, proof theory focuses on the latter process, and thus describes the former, at best, as an example of a backward proof search. I argue that this is not the best way to analyze cognitive processes driven by questions, and (...) that proof-theoretical analysis of questions can bring mutual benefits for both proof theory and erotetic logic. In the second part of my paper (sect. 6.3) I introduce the structural rules of weakening and contraction. Results concerning their admissibility are discussed. I also sketch an erotetic interpretation of the rule of weakening as reducing information noise, and that of contraction as securing information. (shrink)

The essays in philosophical logic collected in this volume are dedicated to Henry S. Leonard who was one of the first American philosophers to urge the application of modern logic to non-mathematical areas. Leonard also inspired the development of certain areas of contemporary philosophical logic discussed in some of the papers of this volume. This is especially clear in the case of free, or presupposition free, logics which Leonard's early work on a logic of existence inspired. (...) In one essay of this volume Bas C. Van Frassen further develops his work on the semantics of free logic. In another, Milton Fisk relates free logic to modal logic, suggesting a new semantics of strength to deal with various problems in the area and in a third essay, Karel Lambert relates free logic to certain logical puzzles about quantum theory. Leonard was also one of the first to entertain the idea of and discuss a logic of questions and an erotetic logic or logic of interests. The volume contains essays on these topics by Nuel D. Belnap and David Harrah. Leonard's interest in modal logic is reflected in Fisk's article as well as in an article by Richmond Thomason on modal logic and metaphysics. His interest in epistemic logic is seen in an essay on the logic of belief by Jon Vickers and an essay by Hintikka applying the logic of belief and knowledge to problems about the ontological argument. In addition to these essays, there are five others of high quality on diverse topics: R. M. Martin on intentions, Wilfrid Sellars on the metaphysics of the person, R. M. Chisholm on agency, Frederick Fitch on combinatory logic and negative numbers, and H. E. Hendry and G. J. Massey on Sheffer functions. This is a worthy memorial to a quietly influential American philosopher.--R. H. K. (shrink)

Drawing inspiration from the notion of evocation employed in inferential erotetic logic, we defend an ‘evoked questions norm’ on inquiring attitudes. According to this norm, it is rational to have an inquiring attitude concerning a question only if that question is evoked by your background information. We offer two arguments for this norm. First, we develop an argument from convergence. Insights from several independent literatures (20th-century ordinary-language philosophy, inferential erotetic logic, inquisitive epistemic logic, and contemporary (...) zetetic epistemology) all converge on the evoked questions norm. Second, we show that suitably interpreted, the evoked questions norm correctly predicts several underappreciated kinds of bad questions. It does this, in part, by recovering versions of previously defended ignorance and knowledge norms. Some of those bad questions cannot be predicted by either norm singly, but only when corporately taken to reflect a common normative category. We identify this category as evocation. (shrink)

Research into the cognition of conditionals has predominantly focused on conditional reasoning, producing a range of theories which explain associated phenomena with considerable success. However, such theories have been less successful in accommodating experimental data concerning how agents assess the probability of indicative conditionals. Since an acceptable account of conditional reasoning should be compatible with evidence regarding how we evaluate conditionals’ likelihoods, this constitutes a failing of such theories. Section 1 introduces the most dominant established approach to conditional reasoning: mental (...) models theory. Surveying a range of experimental results, I show that mental models theory (along with competing theories) is incapable of fully accounting for findings regarding judgements about conditionals’ probabilities. Section 2 introduces an alternative account of deductive reasoning, the erotetic theory, recently proposed by Koralus and Mascarenhas (2013). Section 3 argues that, given a natural extension, this theory is able to explain the otherwise unaccounted for data. (shrink)

In the paper I present my path towards the sandwich theory of knowledge, which I have been travelling for about three decades. It started from a modest remark by R. Wójcicki who drew my attention to the concept of presupposition. This concept played an important role in my analyses of the growth of science, which I have been occupied with for much of my career. At that time I was also impressed by A. Wiśniewski’s erotetic logic. Later, I (...) took more interest in epistemology, first for teaching, subsequently also for study. I point also to other sources of inspiration: Ajdukiewicz, Hintikka, Popper, Putnam, and Wittgenstein. (shrink)

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)