FFormal dialogue system for tutorials DLT is introduced. The system allows for modelling certain behaviours related to questioning agendas observed in tutorial dialogues. Inferential Erotetic Logic is the underlying logic of questions used here. Tutorial dialogues retrieved from the Basic Electricity and Electronics Corpus are presented and analysed with the use of DLT.

Traditional logical theories are concerned with the characterization of valid reasoning. For such logical theories, the main object of investigation is the notion of entailment, a notion that is construed as a relation between two or more declarative statements, dictating when one of them can be legitimately inferred from the others. In the course of the previous century, however, and especially since the 1970s, the scope of logical theories has become much broader. In particular, logic is no longer only concerned (...) with declarative statements, but also with questions. Accordingly, the field is no longer focusing exclusively on the entailment relation that may hold between two or more statements, but also aims to characterize fundamental relations that may hold between questions, or between questions and statements. For instance, when does a statement resolve a given question? When does a statement evoke a certain question? And when does the resolution of one question depend on the resolu .. (shrink)

Needed for such dialogue games as dialectic are appropriate standards of fairness and rationality. The rules of procedure of dialectic must describe a game playable by actual human participants. The present paper centers on certain idealizations of the dialectician that are not allowable.

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)

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)

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)

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)

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)

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 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)

This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR is (...) also discussed. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (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)

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.

Grice's Quantity maxims have been widely misinterpreted as enjoining a speaker to make the strongest claim that she can, while respecting the other conversational maxims. Although many writers on the topic of conversational implicature interpret the Quantity maxims as enjoining such volubility, so construed the Quantity maxims are unreasonable norms for conversation. Appreciating this calls for attending more closely to the notion of what a conversation requires. When we do so, we see that eschewing an injunction to maximal informativeness need (...) not deprive us of any ability to predict or explain genuine cases of implicature. Crucial to this explanation is an appreciation of how what a conversation, or a given stage of a conversation, requires, depends upon what kind of conversation is taking place. I close with an outline of this dependence relation that distinguishes among three importantly distinct types of conversation. (shrink)

An Introduction to the Special Issue on Question Processing.

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...) proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)

Various authors have attempted to understand knowledge-wh—or knowledge ascriptions that include an interrogative complement. I present and explain some of the analyses offered so far and argue that each view faces some problems. I then present and explain a newanalysis of knowledge-wh that avoids these problems and that offers several other advantages. Finally I raise some problems for invariantism about knowledge-wh and I argue thatcontextualism about knowledge-wh fits nicely with a very natural understanding of the nature of questions.

This investigation uses the technique of the profile of dialogue as a tool for the evaluation of arguments from ignorance (also called lack-of-evidence arguments, negative evidence, ad ignorantiam arguments and ex silentio arguments). Such arguments have traditionally been classified as fallacies by the logic textbooks, but recent research has shown that in many cases they can be used reasonably. A profile of dialogue is a connected sequence of moves and countermoves in a conversational exchange of a type that is goal-directed (...) and can be represented in a normative model of dialogue. Selected case studies are used to probe special features of using the profile technique as applied to arguments from ignorance of a kind that occur frequently in everyday conversational exchanges. One of these special features is the use of Gricean implicature. Another is the need to use negative profiles of argument. (shrink)

In this paper we sketch a logic of message and reply. The logic is intended for application in a wide variety of situations, not restricted to the two-person, turn-taking situation. Each message has a body and a vector; the vector specifies the from, to, and the like. To reply to a message, it suffices to give either (1) a complete reply to the body or (2) a corrective reply to at least one presumption derivable from the vector. We discuss the (...) problems of achieving effectiveness and completeness with respect to certain aspects of communication. The results are mixed. In section 9 we argue semi-formally that, in a certain sense, dialogue is necessary. Finally we note that this logic is not a rival of other approaches but may be combinable with them. (shrink)

The issue of adequacy of the Turing Test (TT) is addressed. The concept of Turing Interrogative Game (TIG) is introduced. We show that if some conditions hold, then each machine, even a thinking one, loses a certain TIG and thus an instance of TT. If, however, the conditions do not hold, the success of a machine need not constitute a convincing argument for the claim that the machine thinks.

In this paper we reexamine the question of whether questions areinherently intensional entities. We do so by proposing a novelextensional theory of questions, based on a re-interpretation of thedomain of t as a bilattice rather than the usual booleaninterpretation. We discuss the adequacy of our theory with respect tothe adequacy criteria imposed on the semantics of questionsby (Groenendijk and Stokhof 1997). We show that the theory is able to account in astraightforward manner for some complex issues in the semantics ofquestions (...) including coordinated questions, combined indicative andinterrogative sentences, questions with quantifiers, and theimpossibility of negating questions. (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)

Most dialectical models view argumentation as a process of critically testing a standpoint. Further, they assume that what we critically test can be analytically reduced to individual and bi-polar standpoints. I argue that these two assumptions lead to the dominant view of dialectics as a bi-partisan argumentative discussion in which the yes-side argues against the doubter or the no-side. I scrutinise this binary orientation in understanding argumentation by drawing on the main tenets of normative pragmatic and pragma-dialectical theories of argumentation. (...) I develop my argument by showing how argumentative practice challenges these assumptions. I then lay out theoretical reasons for this challenge. This paves the way for an enhanced conceptualisation of dialectical models and their standards of rationality in terms of multi-party discussions, or argumentative polylogues. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

entailment; families of sets; logic of questions.

In a multiagent and multi-cultural world, the fine-grained analysis of agents’ dynamic behaviour, i.e. of their activities, is essential. Dynamic activities are actions that are characterized by an agent who executes the action and by other participants of the action. Wh-questions on the participants of the actions pose a difficult particular challenge because the variability of the types of possible answers to such questions is huge. To deal with the problem, we propose the analysis and classification of Wh-questions apt for (...) agents’ communication in a multiagent system (MAS). Our proposal of such a system consists of agents who communicate with their fellow agents by messaging so that each autonomous agent, though resource-bounded, can make less or more rational decisions to meet its own and collective goals. In addition, by communicating with other fellow agents and their environment, agents can learn new concepts and enrich their ontology so that their behaviour is dynamic. We aim to make a general proposal of the system so that the ‘envelope’ of agents’ messages can be formalized in any MAS standard, be it The Foundation for Intelligent Physical Agents - Agent Communication Language (FIPA-ACL) or Knowledge Query and Manipulation Language (KQML). Yet, the content of messages is encoded in a formalized natural language. To this end, we apply Transparent Intensional Logic (TIL) with its procedural semantics which is particularly apt for a fine-grained analysis in which all the semantically salient features of natural language can be plausibly formalized. In this paper, we concentrate on analysing the content of query messages, particularly the content of those that encode Wh-questions and the answers to them. We also summarize TIL deduction system that makes it possible to answer such questions in an intelligent way. Linguists distinguish several subtypes of Wh-questions. Though the linguistic classification is helpful, it is not always suitable for agents’ communication and reasoning. We need the classification based on a logical analysis of Wh-questions so that the agents can infer possible answers to such questions rather than only looking for them by keywords. This paper aims to apply an appropriate classification of the logical types of Wh-questions and the analysis of such questions; we concentrate in particular on questions concerning the participants of activities. The application of these results to the analysis of processes and events based on verb valency frames is another novelty of the paper. (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.

Recently, it has become a custom to treat questions as a game between two subjects. Unfortunately, one rarely goesbeyond the scheme of Questioner-Scientist and Answerer-Nature, althoughthe Interlocutor so conceived displays some undesirable features. This paperargues for the idea that logic of questions can be build as a logic of the gamebetween “knowledge resources” persons or theories, rather than errant Scientist and omniscient Nature. To this end the concept of epistemically-possibleworlds is discussed, which is conceived as analogous to that of possible (...) worldsin modal logic. And, furthermore, the concepts of relation of epistemic alternativeness and of epistemically-alternative worlds are introduced. On thisbasis a version of semantics for propositional, three-valued logic of questionsis offered and semantic proofs of some theses are given. (shrink)