We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music semantics is that (...) it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

The Proviso Problem is the discrepancy between the predictions of nearly every major theory of semantic presupposition about what is semantically presupposed by conditionals, disjunctions, and conjunctions, versus observations about what speakers of certain sentences are felt to be presupposing. I argue that the Proviso Problem is a more serious problem than has been widely recognized. After briefly describing the problem and two standard responses to it, I give a number of examples which, I argue, show that those responses are (...) inadequate. I conclude by briefly exploring alternate approaches to presupposition that avoid this problem. -/- . (shrink)

Projective contents, which include presuppositional inferences and Potts's conventional implicatures, are contents that may project when a construction is embedded, as standardly identified by the FAMILY-OF-SENTENCES diagnostic. This article establishes distinctions among projective contents on the basis of a series of diagnostics, including a variant of the family-of-sentences diagnostic, that can be applied with linguistically untrained consultants in the field and the laboratory. These diagnostics are intended to serve as part of a toolkit for exploring projective contents across languages, thus (...) allowing generalizations to be examined and validated crosslinguistically. We apply the diagnostics in two languages, focusing on Paraguayan Guaraní, and comparing the results to those for English. Our study of Paraguayan Guaraní is the first systematic exploration of projective content in a language other than English. Based on the application of our diagnostics to a wide range of constructions, four subclasses of projective contents emerge. The resulting taxonomy of projective content has strong implications for contemporary theories of projection, which were developed for the projective properties of particular subclasses and fail to generalize to the full set of projective contents. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...) to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example in (...) (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

In terms of Groenendijk and Stokhofs (1984) formalization of exhaustive interpretation, many conversational implicatures can be accounted for. In this paper we justify and generalize this approach. Our justification proceeds by relating their account via Halpern and Moses (1984) non-monotonic theory of only knowing to the Gricean maxims of Quality and the first sub-maxim of Quantity. The approach of Groenendijk and Stokhof (1984) is generalized such that it can also account for implicatures that are triggered in subclauses not entailed by (...) the whole complex sentence. (shrink)

This article develops a Gricean account for the computation of scalarimplicatures in cases where one scalar term is in the scope ofanother. It shows that a cross-product of two quantitative scalesyields the appropriate scale for many such cases. One exception iscases involving disjunction. For these, I propose an analysis that makesuse of a novel, partially ordered quantitative scale for disjunction andcapitalizes on the idea that implicatures may have different epistemic status.

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

In terms of Groenendijk and Stokhof’s (1984) formalization of exhaustive interpretation, many conversational implicatures can be accounted for. In this paper we justify and generalize this approach. Our justification proceeds by relating their account via Halpern and Moses’ (1984) non-monotonic theory of ‘only knowing’ to the Gricean maxims of Quality and the first sub-maxim of Quantity. The approach of Groenendijk and Stokhof (1984) is generalized such that it can also account for implicatures that are triggered in subclauses not entailed by (...) the whole complex sentence. (shrink)

The domain of a quantifier is determined by a variety of factors, which broadly speaking fall into two types. On the one hand, the context of utterance plays a role: if the focus of attention is on a particular collection of kangaroos, for example, then “Q kangaroos” is likely to range over the individuals in that set. On the other hand, the utterance itself will help to establish the quantificational domain, inter alia through presuppositions triggered within the sentence. In this (...) paper, we concentrate our attention on constructions like the following, in which “the square to which... ” is the critical presupposition trigger: Q circles... Q of these circles... Q of these five circles...... have the same colour as the square to which they are connected. Many theories predict that all instances of these schemata will give rise to the presupposition that every circle is connected to a square. We present an analysis which predicts that these sentences should generally be accepted in a context in which not all the circles are connected to a square, with one exception only: if a quantified sentence is of type and Q is non-intersective, then the sentence should be more likely to be rejected. Furthermore, we predict that manipulating the context so as to make the connected circles more or less salient should have an effect on statements with non-intersective quantifiers only. These predictions were tested in a series of experiments. (shrink)

In the last thirty years, the problem of presupposition projection has been taken to provide a decisive argument for a dynamic approach to meaning, one in which expressions are not evaluated with respect to the ‘global’ context of utterance, but rather with respect to a ‘local context’ obtained by updating the global one with expressions that occur earlier in the sentence. The computation of local contexts is taken by dynamic analyses to follow from a generalization of the notion of belief (...) update. I argue that the dynamic approach is faced with a dilemma: in its pragmatic incarnation (Stalnaker), it is explanatory but not general; in its semantic incarnation (Karttunen and Heim), it is general but not explanatory. I suggest that the dilemma stems for a faulty understanding of ‘local contexts’, and I offer a new reconstruction of this notion which eschews belief update but offers a general and fully precise solution to the projection problem. (shrink)

Scalar implicatures depend on alternatives in order to avoid the symmetry problem. I argue for a structure-sensitive characterization of these alternatives: the alternatives for a structure are all those structures that are at most as complex as the original one. There have been claims in the literature that complexity is irrelevant for implicatures and that the relevant condition is the semantic notion of monotonicity. I provide new data that pose a challenge to the use of monotonicity and that support the (...) structure-sensitive definition. I show that what appeared to be a problem for the complexity approach is overcome once an appropriate notion of complexity is adopted, and that upon closer inspection, the argument in favor of monotonicity turns out to be an argument against it and in favor of the complexity approach. (shrink)

In dynamic theories of presupposition, a trigger pp′ with presupposition p and at-issue component p′ comes with a requirement that p should be entailed by the local context of pp′. We argue that some co-speech gestures should be analyzed within a presuppositional framework, but with a twist: an expression p co-occurring with a co-speech gesture G with content g comes with the requirement that the local context of p should guarantee that p entails g; we call such assertion-dependent presuppositions ‘cosuppositions’. (...) We show that this analysis can be combined with earlier theories of local contexts to account for complex patterns of gesture projection in quantified and in attitudinal contexts, and we compare our account to two potential alternatives: one based on supervaluations, and one, due to Cornelia Ebert, that treats co-speech gestures as supplements. We argue that the latter is correct, but for ‘post-speech’ gestures, rather than for co-speech gestures. (shrink)

We review Potts’ influential book on the semantics of conventional implicature (CI), offering an explication of his technical apparatus and drawing out the proposal’s implications, focusing on the class of CIs he calls supplements. While we applaud many facets of this work, we argue that careful considerations of the pragmatics of CIs will be required in order to yield an empirically and explanatorily adequate account.

The presupposition triggered by an expression E is generally satisfied by information that comes before rather than after E in the sentence or discourse. In Heim’s classic theory (1983), this left-right asymmetry is encoded in the lexical semantics of dynamic connectives and operators. But several recent analyses offer a more nuanced approach, in which presupposition satisfaction has two separate components: a general principle (which varies from theory to theory) specifies under what conditions a presupposition triggered by an expression E is (...) satisfied; and an ‘incremental’ component specifies that the principle must be checked on the basis of information that comes before E. Several researchers take this incremental component to be a processing bias, which can be overcome at some cost. If so, it should be possible, though costly, to satisfy presuppositions ‘symmetrically’, i.e. by taking into account linguistic material that comes both before and after the presupposition trigger. We test this claim with experimental means. Using inferential (and to some extent acceptability) tasks involving the anaphoric trigger aussi (‘too’) in French, we argue that symmetric readings are indeed possible (albeit degraded) in environments involving the connectives if, or, and unless. (shrink)

Some theories assume that sentences like (i) with a presupposition trigger in the scope of a quantifier carry an existential presupposition, as in (ii); others assume that they carry a universal presupposition, as in (iii). No student knows that he is lucky. Existential presupposition: At least one student is lucky.Universal presupposition: Every student is lucky. This work is an experimental investigation of this issue in French. Native speakers were recruited to evaluate the robustness of the inference from (i) to (iii). (...) The main result is that presuppositions triggered from the scope of the quantifier aucun‘no’ are in fact universal. But the present results also suggest that the presuppositions triggered from the scope of other quantifiers depend on the quantifier. This calls for important changes in the main theories of presupposition projection. (shrink)

The present paper is an attempt at the investigation of the nature of polarity contrast in natural languages. Truth conditions for natural language sentences are incomplete unless they include a proper definition of the conditions under which they are false. It is argued that the tertium non datur principle of classical bivalent logical systems is empirically invalid for natural languages: falsity cannot be equated with non-truth. Lacking a direct intuition about the conditions under which a sentence is false, we need (...) an independent foundation of the concept of falsity. The solution I offer is a definition of falsity in terms of the truth of a syntactic negation of the sentence. A definition of syntactic negation is proposed for English. (shrink)