According to one view of linguistic information, a speaker can convey contextually new information in one of two ways: by asserting the content as new information; or by presupposing the content as given information which would then have to be accommodated. This distinction predicts that it is conversationally more appropriate to assert implausible information rather than presuppose it. A second view rejects the assumption that presuppositions are accommodated; instead, presuppositions are assimilated into asserted content and both are correspondingly open to (...) challenge. Under this view, we should not expect to find a difference in conversational appropriateness between asserting implausible information and presupposing it. To distinguish between these two views of linguistic information, we performed two self-paced reading experiments with an on-line stops-making-sense judgment. The results of the two experiments—using the presupposition triggers the and too—show that accommodation is inappropriate relative to non-presuppositional controls when the presupposed information is implausible but not when it is plausible. These results provide support for the first view of linguistic information: the contrast in implausible contexts can only be explained if there is a presupposition-assertion distinction and accommodation is a mechanism dedicated to reasoning about presuppositions. (shrink)

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

This paper argues for the reality of specificity as noteworthiness, a concept built upon Fodor and Sag’s (1982) view of referentiality. Support for this view of specificity comes from the behavior of indefinite this in spoken English, as well as from specificity markers in Samoan, Hebrew, and Sissala. It is shown that the conditions on the use of this-indefinites cannot be accounted for by previous analyses of specificity. The relationship between definiteness and specificity in article systems crosslinguistically is examined, and (...) a distinction between presuppositions and felicity conditions is argued for. Additional evidence for the reality of specificity comes from a study of article choice in the English of adult second language learners (whose L1s, Russian and Korean, lack articles). It is shown that the learners’ errors are tied to specificity: they consist largely of overuse of the in specific indefinite contexts, and overuse of a in non-specific definite contexts. It is concluded that specificity is a universal semantic distinction, which receives morphological expression crosslinguistically and is available to second language learners. (shrink)

This paper offers a semantically-based solution to the problem of predicting whether a verb will display the subjective conjugation or the objective conjugation in Hungarian. This alternation correlates with the definiteness of the object, but definiteness is not a completely reliable indicator of the subjective/objective alternation, nor is specificity. A prominent view is that the subjective/objective alternation is conditioned by the syntactic category of the object, but this view has also been shown to be untenable. This paper offers a semantic (...) solution: If the referential argument of a phrase is lexically specified as familiar/new, then the phrase bears the feature [+DEF]/[−DEF], and this feature governs the conjugations. The notions of novelty and familiarity are made precise using a compositional version of DRT in the context of a suitably large fragment of Hungarian, including local and non-local personal pronouns, demonstratives, definite and indefinite articles, quantifiers, wh-words, numerals, and possessives. (shrink)

The characteristic property of definite descriptions in natural language is commonly assumed to be their uniqueness requirement, although there is disagreement with respect to how occurrences should be interpreted, for instance with regard to the well-known restriction problem. I offer a novel argument against characterizing definite expressions in terms of uniqueness. If a singular definite description ?the F? implies that its denotation is the unique satisfier of ?F? (relative to a context) then there are real-life states of affairs that can (...) be described in simple first-order languages, but which we are simply unable to describe accurately in natural language. I argue, first, that there is no way to describe these states of affairs properly without using definite descriptions. Second, if definite descriptions imply uniqueness we will systematically get the wrong truth conditions, regardless of whatever semantic or pragmatic resources the defender of the uniqueness-implying approach invokes. Hence, the Russellian idea of characterizing definite descriptions in terms of uniqueness must be given up. In the final section I explain what an adequate account of definite expressions must achieve?primarily coordinating elements brought to salience by context or previous discourse?and sketch a way of accomplishing this by using a liberal version of familiarity theory. Although there may be other accounts that can do the job, the account I sketch (based on an approach that has largely been overlooked) shows promise and can easily deal with the inexpressibility problem. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...) semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

Indefinites face competition at two levels: Presupposition and content. The antipresupposition hypothesis predicts that they signal the opposite of familiarity, or uniqueness, namely, novelty, or non-uniqueness. At the level of descriptive content, they are pressured from two sides: definites expressing identity and another phrases expressing difference, and Gricean reasoning predicts that indefinites signal both difference and identity and are infelicitous when definites and another phrases are felicitous. However, occasionally a space opens between the and another, for a to fill. This (...) is in part due to conditions handicapping the or another semantically, in part to another’s phonological handicap. The division of labor between determiners in the field of difference and sameness is thus the result of an intricate competition. We model this competition in a version of game-theoretic pragmatics. (shrink)

This paper is about the difficulties involved in establishing criteria for definiteness. A number of possibilities are considered – traditional ones such as strength, uniqueness, and familiarity, as well as several which have been suggested in the wake of Montague’s analysis of NPs as generalized quantifiers. My tentative conclusion is that Russell’s uniqueness characteristic (suitably modified) holds up well against the others.

The paper presents an argument against referential treatment of definite descriptions' semantics. Referentialism with respect to semantics of definite descriptions claims that when descriptions are used referentially, then they are semantically referring expressions. It is argued that this picture does not lead to a satisfactory representation of propositions expressed by utterances involving definite descriptions. For if propositions are what primarily enters the relation of entailment, then referentialism is commited to the view that (i) some inferences usually taken as valid are (...) claimed to be invalid; (ii) some inferences usually taken as invalid are claimed to be valid; (iii) some inferences that are by no means trivially valid must be taken to be such. It is argued that Russellian‐ism with respect to definite descriptions gives us a better representation of propositions expressed by utterances involving descriptions. (shrink)

We relate the theory of presupposition accommodation to a computational framework for reasoning in conversation. We understand presuppositions as private commitments the speaker makes in using an utterance but expects the listener to recognize based on mutual information. On this understanding, the conversation can move forward not just through the positive effects of interlocutors’ utterances but also from the retrospective insight interlocutors gain about one anothers’ mental states from observing what they do. Our title, ENLIGHTENED UPDATE, highlights such cases. Our (...) approach fleshes out two key principles: that interpretation is a form of intention recognition; and that intentions are complex informational structures, which specify commitments to conditions and to outcomes as well as to actions. We present a formalization and implementation of these principles for a simple conversational agent, and draw on this case study to argue that pragmatic reasoning is holistic in character, continuous with common-sense reasoning about collaborative activities, and most effectively characterized by associating specific, reliable interpretive constraints directly with grammatical forms. In showing how to make such claims precise and to develop theories that respect them, we illustrate the general place of computation in the cognitive science of language. (shrink)

In this paper, I shall explore a determiner in natural language which is ambivalent as to whether it should be classified as quantificational or objectdenoting: the determiner both. Both in many ways appears to be a paradigmatic quantifier; and yet, I shall argue, it can be interpreted as having an individual—an object—as semantic value. To show the significance of this, I shall discuss two ways of thinking about quantifiers. We often think about quantifiers via intuitions about kinds of thoughts. Certain (...) terms are naturally used to express singular thoughts, and appear to do so by contributing objects to the thoughts expressed. Other terms are naturally used to express general thoughts, and appear to do so by contributing higher-order properties to the thoughts expressed. Viewed this way, the main condition on whether a term is a quantifier or not is whether its semantic value is an object or a higher-order property. At least, these provide necessary conditions. Both can be interpreted as contributing objects to thoughts, and in many cases appears to express genuine singular thoughts. Thinking about quantifiers this way, both can appear object-denoting and non-quantificational. We also often think about quantifiers in terms of a range linguistic features, including semantic value, presupposition, scope, binding, syntactic distribution, and many others. Viewed this way, I shall argue, both can appear quantificational. In particular, it displays scope behavior that is one of the hallmarks of quantification. But, I shall show, it can do so even if given a semantics on which it denotes an object. Thus, both appears quantificational by some linguistic standards, and yet appears object-denoting by standards based on intuitions about the kinds.. (shrink)

A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.