On the semantics and logic of declaratives and interrogatives

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

Inquisitive Semantics

There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence with its truth-conditions. This can be explained by the fact that linguistic and philosophical investigations are usually carried out in a logical framework that was originally designed to characterize valid reasoning. Indeed, in order to determine whether an argument is valid, it suffices to know the truth-conditions of the premises and conclusion. However, argumentation is neither the sole, nor the primary function of language. One task that language more widely and ordinarily fulfils is to enable the exchange of information between conversational participants. Inquisitive semantics is a new logical framework for the analysis of this fundamental usage of language. Information exchange can be seen as a process of raising and resolving issues. Inquisitive semantics provides a new formal notion of issues, which makes it possible to model various concepts that are crucial for the analysis of linguistic information exchange in a more refined and more principled way than has been possible in previous frameworks. This book provides a detailed exposition of inquisitive semantics, and demonstrates its benefits with a range of applications in the semantic analysis of questions, coordination, modals, conditionals, and intonation

Supervenience, Dependence, Disjunction

This paper explores variations on and connections between the topics mentioned in its title, using as something of an anchor the discussion in Valentin Goranko and Antti Kuusisto’s “Logics for propositional determinacy and independence”, a venture into what the authors call the logic of determinacy, which they contrast with (a demodalized version of) Jouko Väänänen’s modal dependence logic. As they make clear in their discussion, these logics are closely connected with the topics of noncontingency and supervenience. Two opening sections of the present paper address some of these connections, including related earlier logical work by the present author as well as very recent work by Jie Fan. The Väänänen-inspired treatment is presented in a third section, and then, in Sections 4 and 5, as a kind of centerpiece for the discussion, we follow Goranko and Kuusisto in elaborating one principal reason offered for preferring their own approach over that treatment, which concerns some anomalies over the behaviour of disjunction in the latter treatment. Sections 6 and 7 look at dependence and (several different versions of) disjunction in inquisitive logic, especially as presented by Ivano Ciardelli. Section 8 revisits the less formal property-supervenience literature with issues from the first two sections of the paper in mind, and we conclude with a Postscript addressing a further conceptual issue pertaining to the relation between modal and quantificational dependence logics