The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...) propositions, questions, and facts, while at the same time the semantics provided captures an important commonality between questions and propositions: factsprove propositions andresolve questions. This commonality is exploited to provide an explanation for why predicates such as know carry presuppositions such as factivity and for a novel account of the behaviour of adverbially modified predicates with interrogative, declarative and fact-nominal arguments. (shrink)

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

In this paper we explore how compositional semantics, discourse structure, and the cognitive states of participants all contribute to pragmatic constraints on answers to questions in dialogue. We synthesise formal semantic theories on questions and answers with techniques for discourse interpretation familiar from computational linguistics, and show how this provides richer constraints on responses in dialogue than either component can achieve alone.

This article discusses pragmatic aspects of our interpretation of intensional constructions like questions and prepositional attitude reports. In the first part, it argues that our evaluation of these constructions may vary relative to the identification methods operative in the context of use. This insight is then given a precise formalization in a possible world semantics. In the second part, an account of actual evaluations of questions and attitudes is proposed in the framework of bi-directional optimality theory. Pragmatic meaning selections are (...) explained as the result of specific rankings of potentially conflicting generation and interpretation constraints. (shrink)

This paper revisits two fundamental issues in question semantics—what does a question mean, and how is this meaning compositionally derived? Drawing on observations with the distribution of wh-words in questions and free relatives as well as quantificational variability effects in question-embeddings, I argue that the nominal meanings of short answers must be derivable from question denotations, which therefore calls for a categorial approach to defining questions, including embedded questions. I provide a novel hybrid categorial approach to compose questions. This approach (...) overcomes the problems with traditional categorial approaches in defining bare wh-indefinites, composing multi-wh questions, and accounting for coordinations of questions. (shrink)

The computation of scalar implicatures is sometimes costly relative to basic meanings. Among the costly computations are those that involve strengthening `some' to `not all' and strengthening inclusive disjunction to exclusive disjunction. The opposite is true for some other cases of strengthening, where the strengthened meaning is less costly than its corresponding basic meaning. These include conjunctive strengthenings of disjunctive sentences (e.g., free-choice inferences) and exactly-readings of numerals. Assuming that these are indeed all instances of strengthening via implicature/exhaustification, the puzzle (...) is to explain why strengthening sometimes increases costs while at other times it decreases costs. I develop a theory of processing costs that makes no reference to the strengthening mechanism or to other aspects of the derivation of the sentence's form/meaning. Instead, costs are determined by domain-general considerations of the grammar's output, and in particular by aspects of the meanings of ambiguous sentences and particular ways they update the context. Specifically, I propose that when the hearer has to disambiguate between a sentence's basic and strengthened meaning, the processing cost of any particular choice is a function of (i) a measure of the semantic complexity of the chosen meaning and (ii) a measure of how much relevant uncertainty it leaves behind in the context. I measure semantic complexity with Boolean Complexity in the propositional case and with semantic automata in the quantificational case, both of which give a domain-general measure of the minimal representational complexity needed to express the given meaning. I measure relevant uncertainty with the information-theoretic notion of entropy; this domain-general measure formalizes how `far' the meaning is from giving a complete answer to the question under discussion, and hence gives an indication of how much representational complexity is yet to come. Processing costs thus follow from domain-general considerations of current and anticipated representational complexity. The results might also speak to functional motivations for having strengthening mechanisms in the first place. Specifically, exhaustification allows language users to use simpler forms than would be available without it to both resolve relevant uncertainties and convey complex meanings. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

The pragmatic framework developed by H.P. Grice in “Logic and Conversation” explains how a speaker can mean something more than, or different from, the conventional meaning of the sentence she utters. But it has been argued that the framework cannot give a similar explanation for cases where these pragmatic effects impact the understood content of an embedded clause, such as the antecedent of a conditional, a clausal disjunct, or the clausal complement of a verb. In this paper, I show that (...) such an explanation is available. One of the central arguments of the paper is that in a significant subset of cases, local pragmatic effects are a consequence of a global pragmatic requirement. In these cases, local pragmatic effects are a consequence of ‘acting locally’ to resolve a potential global pragmatic violation. These cases do not require us to posit application of pragmatic principles to the contents of embedded clauses. The account does, though, require the assumption that interpreters can identify and reason about the contents of unasserted sub-parts of sentences, an assumption that I motivate in section 3. Building on this, in section 4 of the paper, I argue that once we have recognized that interpreters can, and do, reason independently about the contents of non-asserted clauses, it becomes unproblematic to assume that in some cases, Gricean conversational principles do apply directly to these contents, providing an alternative route to account for local pragmatic effects. In revisiting the ideas of this paper in my response to the commentaries, I consider in more detail the revisions to Grice’s broader program that are necessitated by these moves, in particular acknowledging the problematicity of Grice’s notion of what is said. I argue that the starting point for Gricean reconstructions should instead be merely what is expressed, which carries no pragmatic commitments regarding what is speaker meant. (shrink)

This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of propositional alternatives (...) that correlate with a partition that the speaker may or may not be able to indicate explicitly. Free choice arises as the specific case where the partition is induced by the preferences of the addressee. (shrink)

This paper presents corpus and experimental data that problematize the traditional analysis of must as a strong necessity modal, as recently revived and defended by von Fintel and Gillies :351–383, 2010). I provide naturalistic examples showing that must p can be used alongside an explicit denial of knowledge of p or certainty in p, and that it can be conjoined with an expression indicating that p is not certain or that not-p is possible. I also report the results of an (...) experiment involving lotteries, where most participants endorsed a sentence of the form must not-p despite being instructed that p is a possibility. Crucially, endorsement was much higher for must in this context than for matched sentences with knowledge or certainty expressions. These results indicate that the requirements for felicitous use of must are weaker than for know and certain rather than being at least as strong, as the epistemic necessity theory would predict. However, it is possible to account for these data while retaining the key insights of von Fintel and Gillies’ analysis of the evidential component of must. I discuss several existing accounts that could be construed in this way and explain why none is completely satisfactory. I then propose a new model that embeds an existing scalar theory into a probabilistic model of informational dynamics structured around questions and answers. (shrink)

We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge of a previous (...) epistemic attitude toward p*. We analyze two main cases, that of plan-related propositions and that of propositions without plans. We also discuss the connections between truth unpersistence and evidentiality. (shrink)

The Ramseyan thesis that the probability of an indicative conditional is equal to the corresponding conditional probability of its consequent given its antecedent is both widely confirmed and subject to attested counterexamples (e.g., McGee 2000, Kaufmann 2004). This raises several puzzling questions. For instance, why are there interpretations of conditionals that violate this Ramseyan thesis in certain contexts, and why are they otherwise very rare? In this paper, I raise some challenges to Stefan Kaufmann's account of why the Ramseyan thesis (...) sometimes fails, and motivate my own theory. On my theory, the proposition expressed by an indicative conditional is partially determined by a background partition, and hence its probability depends on the choice of such a partition. I hold that this background partition is contextually determined, and in certain conditions is set by a salient question under discussion in the context. I show how the resulting theory offers compelling answers to the puzzling questions raised by failures of the Ramseyan thesis. (shrink)

In this paper we study language use and language organisation by making use of Lewisean signalling games. Standard game theoretical approaches are contrasted with evolutionary ones to analyze conventional meaning and conversational interpretation strategies. It is argued that analyzing successful communication in terms of standard game theory requires agents to be very rational and fully informed. The main goal of the paper is to show that in terms of evolutionary game theory we can motivate the emergence and self-sustaining force of (...) (i) conventional meaning and (ii) some conversational interpretation strategies in terms of weaker and, perhaps, more plausible assumptions. (shrink)

This paper discusses three potential varieties of update: updates to the common ground, structuring updates, and updates that introduce discourse referents. These different types of update are used to model different aspects of natural language phenomena. Not-at-issue information directly updates the common ground. The illocutionary mood of a sentence structures the context. Other updates introduce discourse referents of various types, including propositional discourse referents for at-issue information. Distinguishing these types of update allows a unified treatment of a broad range of (...) phenomena, including the grammatical evidentials found in Cheyenne (Algonquian) as well as English evidential parentheticals, appositives, and mood marking. An update semantics that can formalize all of these varieties of update is given, integrating the different kinds of semantic contributions into a single representation of meaning. (shrink)

It is argued, contra Beck and Rullmann (1999), and with Heim (1994), that the sources of strongly exhaustive interpretations and `de dicto' interpretations of wh-complements of veridical question-embedding verbs are one and the same. Beck and Rullmann's theory is shown to predict certain `de dicto' readings which do not exist, while a particular rendition of Heim's theory is shown to constrain the generation of `de dicto' readings in the correct way.

By this point, we have developed some articulated analyses of top-level temporal anaphora, including temporal quantification, in languages with grammatical tense and/or aspect systems, represented by English, Polish, and Mandarin. But it is still not clear how this approach might extend to temporal anaphora in a language such as Kalaallisut, which has neither grammatical tense nor grammatical aspect, but instead marks only grammatical mood and person. Most theories of mood and modal reference either ignore temporal reference or analyze modal and (...) temporal reference as unrelated phenomena. Such theories provide no inkling how temporal reference in a tenseless mood-based language can be as precise as in English. (shrink)

In this paper, we aim to account for the distribution and interpretation of a novel class of free choice items in Romanian, which we refer to as additive free choice items (ADD-FCIs). We show that the internal composition of ADD-FCIs, as well as their distribution, differs from that attested for other free choice paradigms discussed in the literature. Morphologically, ADD-FCIs are a more complex variant of regular universal FCIs, by virtue of an additional morpheme. This morpheme plays an additive role (...) when it functions as a stand-alone particle, and we propose that its role is similarly additive when it functions as an infix in ADD-FCIs. Couched in an exhaustification framework, we put forward a novel compositional account that can derive the interpretation of these ADD-FCIs. As for their distribution, these elements are only found in the presence of the conditional mood, as well as unconditional structures. We show how our analysis, coupled with the Viability Constraint used to explain the distribution of regular FCIs, can also account for their restricted distribution. In doing so, we further show how the pattern we investigate opens new perspectives regarding the licensing of free choice items in unconditionals. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

We present evidence that preschool children oftentimes understand disjunctive sentences as if they were conjunctive. The result holds for matrix disjunctions as well as disjunctions embedded under every. At the same time, there is evidence in the literature that children understand or as inclusive disjunction in downward-entailing contexts. We propose to explain this seemingly conflicting pattern of results by assuming that the child knows the inclusive disjunction semantics of or, and that the conjunctive inference is a scalar implicature. We make (...) two assumptions about implicature computation in the child: that children access only a proper subset of the adult alternatives, and that children possess the adult capacity to strengthen sentences with implicatures. As a consequence, children are expected to sometimes not compute any implicatures at all, but in other cases they are expected to compute an implicature that is different from the adult implicature. We argue that the child’s conjunctive strengthening of disjunctive sentences realizes the latter possibility: the adult infers that the conjunction is false but the child infers that the conjunction is true. This behaviour is predicted when our assumptions about child development are coupled with the assumption that a covert exhaustive operator is responsible for strengthening in both the child and the adult. Specifically, children’s conjunctive strengthening is predicted to follow from the same mechanism used by adults to compute conjunctive free choice implicatures in response to disjunctive permission sentences. We furthermore argue that this parallel between the child and the adult extends to disambiguation preferences. In particular, we present evidence that children prefer to strengthen disjunctions to conjunctions, in matrix and embedded positions ; this result mirrors previous findings that adults prefer to compute free choice, at the root and under every. We propose a disambiguation strategy that explains the preference for conjunctive strengthening – by both the child and the adult – even though there is no general preference for exhaustification. Specifically, we propose that the preference for a conjunctive strengthening follows from a pragmatic preference for a complete answer to the Question Under Discussion. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (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)

In recent years, the methods of formal semantics and pragmatics have been fruitfully applied to the analysis of primate communication systems. Most analyses therein appeal to a division of labor between semantics and pragmatics which has the following three features: calls are given referential meanings, some calls have a general meaning, and the meanings of calls in context are enriched by competition with more informative calls, along the lines of scalar implicatures. In this paper, we develop highly simplified models to (...) independently assess the conditions under which such features would emerge. After identifying a sufficient condition for, we find a range of conditions under which and are not evolutionarily stable, and discuss the consequences for both modeling and empirical work. (shrink)

In most cases, a wh-question calls for an answer that names an entity in the set denoted by the extension of the wh-complement. However, evidence from questions with necessity modals and questions with collective predicates argues that sometimes a wh-question must be interpreted with a higher-order reading, in which this question calls for an answer that names a generalized quantifier. This paper investigates the distribution and compositional derivation of higher-order readings of wh-questions. First, I argue that the generalized quantifiers that (...) can serve as semantic answers to wh-questions must be homogeneously positive. Next, on the distribution of higher-order readings, I observe that questions in which the wh-complement is singular-marked or numeral-modified can be answered by elided disjunctions but not by conjunctions. I further present two ways to account for this disjunction–conjunction asymmetry. In the uniform account, these questions admit disjunctions because disjunctions may satisfy the atomicity requirement of singular-marking and the cardinality requirement of numeral modification. In the reconstruction account, the wh-complement is syntactically reconstructed, which gives rise to local uniqueness and yields a contradiction for conjunctive answers. (shrink)

This paper develops an account of the German discourse particle denn that captures the meaning contribution of this particle in polar questions, wh-questions, and certain conditional antecedents in a unified way. It is shown that the behavior of denn exhibits an asymmetry between polar and wh-interrogatives, which can be captured by treating the particle as sensitive to the property highlighted by its containing clause, in the sense of Roelofsen and Farkas :359–414, 2015). In addition, the paper argues that highlighting-sensitivity should (...) be incorporated in the account of another discourse particle, German überhaupt, and discusses how the proposed account of discourse particle denn may be extended to also cover the use of denn as a causal conjunction. (shrink)

It is often proposed that the unacceptability of a semantically interpretable sentence can be rooted in its meaning. Elaborating on Oshima New frontiers in artificial intelligence, Springer, Berlin, 2007), we argue that the meaning-driven unacceptability of factive islands must make reference to felicity conditions, and cannot be reduced to the triviality of propositional content. We also observe, again elaborating on Oshima, that the triviality of factive islands need not be logical, but can be relative to a listener’s background assumptions. These (...) findings call for a revision of a prevalent view about meaning-driven unacceptability, according to which unacceptability results from triviality that is both propositional and logical. (shrink)

Building on previous works which argued that scalar implicatures can be computed in embedded positions, this paper proposes a constraint on exhaustification which restricts the conditions under which an exhaustivity operator can be licensed. We show that this economy condition allows us to derive a number of generalizations, such as, in particular, the ‘Implicature Focus Generalization’: scalar implicatures can be embedded under a downward-entailing operator only if the scalar term bears pitch accent. Our economy condition also derives specific predictions regarding (...) the licensing of so-called Hurford disjunctions. (shrink)

In this paper, I discuss the distribution and the interpretation of the temporal suffix -kue in Mbyá, a Guaraní language that is closely related to Paraguayan Guaraní. This suffix is attested both inside noun phrases and inside clauses. Interestingly, its nominal uses give rise to inferences that are unattested in its clausal uses. These inferences were first identified in Paraguayan Guaraní by Tonhauser, who called them the existence property and the change of state property. Tonhauser further argued that these properties (...) are built into the lexical entry of the nominal temporal marker -kue. By contrast, I argue that -kue denotes a relative past tense both in its nominal and clausal uses, and that the existence and change of state properties are pragmatic inferences that arise from the interaction of the literal meaning of -kue with general constraints on the interpretation of noun phrases, notably constraints on the topicality of the time of evaluation of noun phrases. This allows me to maintain a uniform analysis of -kue across its nominal uses and its clausal uses. The analysis of -kue in Mbyá is relevant to a number of current debates on the expression of tense crosslinguistically. Firstly, the existence of relative tenses has sometimes been called into question. Klein notably argues that relative tenses are actually combinations of tense with the perfect aspect. Others have argued that there exist true relative tenses in certain languages. I argue that facts of Mbyá support the latter view. Secondly, Klein famously defined tenses as relations between topic times and the time of utterance. I argue, on the other hand, that relative tenses only denote relations between times, and that the topicality or non-topicality of their temporal arguments depends on their context of use, including their syntactic environment. Thirdly, this paper contributes to debates on the nature and reality of nominal tenses The Oxford handbook of tense and aspect, 2012), by arguing that tense in Mbyá is a genuinely nominal category, in the sense that temporal functional projections are part of the extended projection of the noun phrase. (shrink)

This paper is devoted to the study of bare nominal arguments (i.e., determinerless NPs occurring in canonical argumental positions) from a crosslinguistic point of view. It is proposed that languages may vary in what they let their NPs denote. In some languages (like Chinese), NPs are argumental (names of kinds) and can thus occur freely without determiner in argument position; in others they are predicates (Romance), and this prevents NPs from occurring as arguments, unless the category D(eterminer) is projected. Finally, (...) there are languages (like Germanic or Slavic) which allow both predicative and argumental NPs; these languages, being the ‘union’ of the previous two types, are expected to behave like Romance for certain aspects of their nominal system (the singular count portion) and like Chinese for others (the mass and plural portions). This hypothesis (the ‘Nominal Mapping Parameter’) is investigated not just through typological considerations, but also through a detailed contrastive analysis of bare arguments in Germanic (English) vs. Romance (Italian). Some general consequences of this view, which posits a limited variation in the mapping from syntax into semantics, for current theories of Universal Grammar and acquisition are considered. (shrink)

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.

In classical logic, the proposition expressed by a sentence is construed as a set of possible worlds, capturing the informative content of the sentence. However, sentences in natural language are not only used to provide information, but also to request information. Thus, natural language semantics requires a logical framework whose notion of meaning does not only embody informative content, but also inquisitive content. This paper develops the algebraic foundations for such a framework. We argue that propositions, in order to embody (...) both informative and inquisitive content in a satisfactory way, should be defined as non-empty, downward closed sets of possibilities, where each possibility in turn is a set of possible worlds. We define a natural entailment order over such propositions, capturing when one proposition is at least as informative and inquisitive as another, and we show that this entailment order gives rise to a complete Heyting algebra, with meet, join, and relative pseudo-complement operators. Just as in classical logic, these semantic operators are then associated with the logical constants in a first-order language. We explore the logical properties of the resulting system and discuss its significance for natural language semantics. We show that the system essentially coincides with the simplest and most well-understood existing implementation of inquisitive semantics, and that its treatment of disjunction and existentials also concurs with recent work in alternative semantics. Thus, our algebraic considerations do not lead to a wholly new treatment of the logical constants, but rather provide more solid foundations for some of the existing proposals. (shrink)

Crosslinguistically, questions frequently make crucial use of morphosyntactic elements which also occur outside of questions. Chief among these are focus, disjunctions, and wh-words with indefinite semantics. This paper provides a compositional account of the semantics of wh-, alternative, and polar questions in Yucatec Maya (YM), which are composed primarily of these elements. Key to the account is a theory of disjunctions and indefinites (extending work by others) which recognizes the inherently inquisitive nature of these elements. While disjunctions and indefinites are (...) inquisitive, they differ from questions since they are also truth-conditionally informative. Compositionally, then, the role of focus in YM questions is to presuppose the informative component of an indefinite wh-word or disjunction, rendering the inquisitive component the question’s only new contribution to the discourse. In addition to deriving question denotations compositionally, the account also captures a potentially surprising fact: focused disjunctions in YM can function as either questions or assertions, depending solely on the discourse context. (shrink)

This paper provides a semantic analysis of English rise-fall-rise (RFR) intonation as a focus quantifier over assertable alternative propositions. I locate RFR meaning in the conventional implicature dimension, and propose that its effect is calculated late within a dynamic model. With a minimum of machinery, this account captures disambiguation and scalar effects, as well as interactions with other focus operators like ‘only’ and clefts. Double focus data further support the analysis, and lead to a rejection of Ward and Hirschberg’s (Language (...) 61:747–776, 1985) claim that RFR never disambiguates. Finally, I draw out connections between RFR and contrastive topic (CT) intonation (Büring, Linguist Philos 26:511–545, 2003), and show that RFR cannot simply be reduced to a sub-case of CT. (shrink)

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

_Wh_-questions with the modal verb _can_ admit both mention-some (MS) and mention-all (MA) answers. This paper argues that we should treat MS as a grammatical phenomenon, primarily determined by the grammar of the _wh_-interrogative. I assume that MS and MA answers can be modeled using the same definition of answerhood (Fox in Mention-some interpretations, MIT seminar, 2013 ) and attribute the MS/MA ambiguity to structural variations within the question nucleus. The variations are: (i) the scope ambiguity of the higher-order _wh_-trace (...) and (ii) the absence/presence of an anti-exhaustification operator. However, treating MS answers as complete answers in this way contradicts the widely adopted analysis of uniqueness effects in questions of Dayal (Locality in _wh_ quantification: Questions and relative clauses in Hindi, 1996 ), according to which the uniqueness effects of singular _which_-phrases arise from an exhaustivity presupposition, namely that a question must have a unique exhaustive true answer. To solve this dilemma, I propose that question interpretations presuppose Relativized Exhaustivity: roughly, the exhaustivity in questions is evaluated relative to the accessible worlds as opposed to the anchor/utterance world. Relativized Exhaustivity preserves the merits of Dayal’s exhaustivity presupposition while permitting MS; moreover, it explains the local-uniqueness effects in modalized singular _wh_-questions. (shrink)

Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency. Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective Information, Interaction, and Agency neatly ties together classical themes like rationality, decision-making and belief revision with games, strategies and learning in a multi-agent setting. Unified by the central notions Information, Interaction, and Agency, (...) the essays in this volume provide refreshing methodological perspectives on belief revision, dynamic epistemic logic, von Neumann games, and evolutionary game theory; all of which in turn are central approaches to understanding our own rationality and that of other agents. (shrink)

The appropriateness, or acceptability, of a conditional does not just ‘go with’ the corresponding conditional probability. A condition of dependence is required as well. In this paper a particular notion of dependence is proposed. It is shown that under both a forward causal and a backward evidential reading of the conditional, this appropriateness condition reduces to conditional probability under some natural circumstances. Because this is in particular the case for the so-called diagnostic reading of the conditional, this analysis might help (...) to explain some of Douven and Verbrugge’s empirical observations. (shrink)

Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions. One approach, based on the framework of inquisitive semantics, is inquisitive dynamic epistemic logic ). In this system, agents are represented with issues as well as information. On the dynamic level, it can model actions that raise new issues. Compared to other approaches, a limitation of \ is that (...) it can only encode public announcements. \ can be refined to encode private questions, by merging its static basis, inquisitive epistemic logic ), with action model logic ). This can be done in two ways, namely by enriching action models with questions as possible actions or with issues concerning which action takes place. This paper describes the corresponding dynamic logics, which are conservative extensions of both \ and \, and a sound and complete axiomatization is given for both. (shrink)

The projection pattern of the existential/uniqueness presupposition of a wh-complement varies depending on the predicate that embeds it. This variation poses problems for existing accounts that treat the presupposition as a semantic contribution of an operator merging with the wh-complement or of the embedding predicate. I propose that the problems can be solved if the existential/uniqueness presupposition is contributed by the propositions corresponding to the answers of the embedded question, under the Hamblin/Karttunen semantics for questions.

Breheny et al. argue against the structural approach to alternatives. The empirical force of their argument comes mostly from challenges raised against Trinh and Haida. This paper aims to respond to these challenges, showing how they can be met by a natural refinement of Trinh and Haida’s proposal which turns out to capture additional facts previously not accounted for. Another aim of this paper is to recount the debate with enough precision and explicitness in order to enhance understanding and facilitate (...) future discussions. (shrink)