The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (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 traditional fallacy of many questions, also known as the fallacy of complex question, illustrated by the question, "Have you stopped sexually harassing your students?", has been known since ancient times, but is still alive and well. What is of practical importance about this fallacy is that it represents a tactic of entrapment that is very common in everyday argumentation, as well as in special kinds of argumentation like that in a legal trial or a parliamentary debate. The tactic combines (...) the use of loaded questions with the complexity of the question. A key notion is that of the presupposition of the question. How to deal with such questions is a point of departure for interrogative theory, and for any attempts to construct formal dialogues of a kind that can be used as normative models of argumentation. (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)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof's answerhood relation, yet allows an extensional interpretation. Using the latter, we get a sound and complete proof procedure for the logic for free. Our approach is more expressive; for example, it easily treats complex questions with operators that scope (...) over questions. We suggest a semantic criterion that restricts what natural-language questions can express. We integrate and generalize much previous work on the semantics of questions, including Beck and Sharvit's families of subquestions, non-exhaustive questions, and multi-party conversations. (shrink)

In this paper I focus on the fallacy known as Complex Question or Many Questions. After a brief introduction, in Sect. 2 I highlight its pragmatic dimension, and in Sect. 3 its dialectical dimension. In Sect. 4 I present two accounts of this fallacy developed in argumentation theory, Douglas Walton’s and the Pragma-Dialectics’, which have resources to capture both its pragmatic and its dialectical nature. However, these accounts are unsatisfactory for various reasons. In Sect. 5 I focus on the pragmatic (...) dimension of the fallacy and I suggest amendments to the accounts mentioned drawing on the study of the phenomenon of presupposition in theoretical pragmatics. I argue that the central notion in the definition of the fallacy is that of an informative presupposition. In Sect. 6 I focus on the dialectical dimension of the fallacy. This dimension needs to be explicitly acknowledged in the definition of the fallacy in order to distinguish it from a different, non-dialectical, fallacious argumentative move involving presuppositions. (shrink)

We consider question-answer dialogues between participants who may disagree with each other. The main problems are: (a) How different speech-acts affect the information in the dialogue; and (b) How to represent what was said in a dialogue, so that we can summarize it even when it involves disagreements (i.e., inconsistencies).We use a fully-typed many-sorted language L with a possible-worlds semantics. L contains nominals representing short answers. The speech-acts are uniformly represented in a dialogue language DL by focus structures, consisting of (...) a mood operator, a topic component and a focus component. Each stage of the dialogue is associated with a set of information functions (g-functions), which are partial functions taking a topic component (representing a question raised) to a set of propositions determined by the corresponding focus component (to the set of answers given to it). (shrink)

In Roman rhetoric, contrarium was variably considered either a figure of speech or an argument. The paper examines the logical pattern of this type of argument, which according to Cicero is based on a third Stoic indemonstrable syllogism: $$ \neg ({\hbox{p}} \wedge {\hbox{q}});<$> <$>{\hbox{p}} \to \neg {\hbox{q}}{\hbox{.}} $$ The persuasiveness of this type of argument, however, vitally depends on the validity of the alleged ‹incompatibility’ forming its major premiss. Yet this appears to be the argument’s weak point, as the ‹incompatibilities’ (...) employed generally hold for the most part only, and are reducible to topical argument schemes. This is why in practical usage such arguments are most often phrased as rhetorical questions, the persuasive force of which, enhanced by certain strategical maneuverings and fallacies, makes the audience swallow the argument. (shrink)

W. Labov's & T. Labov's findings concerning their child grammar acquisition ("Learning the Syntax of Questions" in Recent Advances in the Psychology of Language, Campbell, R. & Smith, P. Eds, New York: Plenum Press, 1978) are interpreted in terms of different semantics of why & other wh-questions. Z. Dubiel.

This essay contains material which will hopefully be of interest not only to philosophers, but also to those social scientists whose research concerns the analysis of communication, verbal or non-verbal. Although most of the topics taken up here are central to issues in the philosophy of language, they are, in my opinion, indistinguishable from topics in descriptive social psychology. The essay aims to provide a conceptual framework within which various key aspects of communication can be described, and it presents a (...) formal language, using techniques from modern modal logic, in which such descriptions can themselves be formulated. It is my hope that this framework, or parts of it, might also turn out to be of value in future empirical work. There are, therefore, essentially two sides to this essay: the development of a framework of concepts, and the construction of a formal language rich enough to express the elements of which that framework is composed. The first of these two takes its point of departure in the statement quoted from Lewis (1972) on the page preceding this introduction. The distinction drawn there by Lewis is accepted as a working hypothesis, and in one sense this essay may be seen as an attempt to explore some of the consequences of that hypothesis. (shrink)

With almost a century of historical distance between Heidegger’s retrieval of the question of being and contemporary concern about the Other, we have accrued invaluable experiences for critical leverage about what it is to ask one another questions. I offer a sketch aimed at adapting Tillich’s theological system grounded in existential questioning to today by juxtaposing him with Levinas’ philosophical ethics. Tillich and Levinas provide motive for reflection on the topic of questioning in particular. In the case of Tillich, questions (...) constitute a crucial moment in the dialogue between our contemporary existential situation and religious symbols, or in what he called the ‘method of correlation.’ Furthermore, Tillich locates in the very structure of questioning the germ of our participation in our essential nature despite existential disruption. Beneath his more provocative and prophetic discourse on the absolute desolation and height of the Other, Levinas sees in questions a different kind of possibility. It is not our essential and existential selves, but oneself and the absolutely Other who come together in the question yet retain their infinite difference. Heidegger is the immediate predecessor from whom both Tillich and Levinas inherit a predilection for reflection on questioning. What is at stake is not merely the legacy of Heidegger’s construal of questioning, but, more importantly here, the fundamental sources Tillich and Levinas posit as the origin of our questioning. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Proof-theoretically, we show that questions may be used in inferences as placeholders for arbitrary information of a given type; by manipulating (...) such placeholders, we may construct formal proofs of dependencies. Finally, we show that such proofs have a specific kind of constructive content: they do not just witness the existence of a certain dependency, but actually encode a method for transforming information of the types described by the assumptions into information of the type described by the conclusion. (shrink)

Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...) logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues. (shrink)

Hong Oak Yun is a person who is over three inches tall. And now you know who Hong Oak Yun is. For if someone were to ask you ‘Who is Hong Oak Yun?’, you could answer that Hong Oak Yun is a person who is over three inches tall, and you would know what you were saying. So you know an answer to the question ‘Who is Hong Oak Yun?’, and that is sufficient for knowing who Hong Oak Yun is. (...) Getting to know who a person is may be easier than you think. (shrink)

In this collection of essays, Bromberger explores the centrality of questions and predicaments they create in scientific research. He discusses the nature of explanation, theory, and the foundations of linguistics.

It is shown that at least part of the terminology of the theory of speech acts can be methodically introduced within the constructive ortholanguage-programm. There is evidence that a methodical constraint leads the reconstruction of the basic speech-act-types from requests via statements to questions. Moreover there is evidence that requests and questions don't involve "propositional acts".

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 the logical, philosophical and linguistic literature, a number of theoretical frameworks have been proposed for the meaning of questions (see Ginzburg (1995), Groenendijk & Stokhof (1997) for recent overviews). I will concentrate on two general approaches that figured prominently in linguistic semantics, which I will call the proposition set approach and the structured meaning approach (sometimes called the “propositional” and the “categorial” or “functional” approach). I will show that the proposition set approach runs into three problems: It does not (...) always predict the right focus structure in answers, it is unable to distinguish between polarity (yes/no) and a certain type of alternative questions, and it does not allow to formulate an important condition for a type of multiple constituent questions. On the other hand, I will show that the main argument brought forward against the structured meaning framework, namely that it does not give us an elegant way to account for embedded questions, does not withstand closer scrutiny. In this I will take up an issue raised in von Stechow (1990), namely, that the greater expressive power of the structured meaning approach might be necessary for the proper treatment of semantic phenomena like question formation and focusation. (shrink)

The question of how to arrive at questions is ambiguous. I will concentrate on two readings: (i) How should one set up a formal syntax that accomodates questions? (ii) How does one, while working in a suitable formal language, arrive at a situation where one is allowed to or even must ask a certain question? In other words: How is the asking of questions regulated within a given formal language? I will propose an answer to question (i) and consider the (...) field of possibilities of answering (ii). (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.