I argue that predicativism, the view that proper names are predicates, is a viable theory of the semantics of proper names given a certain hypothesis about the grammar of definiteness. Extant versions of predicativism hold that a singular name in argument position constitutes the predicative component of a covert definite description. I show that these versions cannot accommodate semantic and typological data, specifically: syntactic and semantic disparities between bare and non-bare occurrences of such names in English, the distinctive modal rigidity (...) displayed by names, as opposed to common noun definite descriptions, and cross-linguistic data that feature seemingly distinct determiners for names in argument position. I propose that predicativism needs to embrace a view of definite marking as complex, consisting of a definite article and a bindable, familiarity-tracking constituent, which I call _index_. I show that this view is empirically motivated and typologically attested. The resulting version of predicativism can accommodate elegantly the observed semantic data when coupled with language-specific morpho-phonological generalizations. I finally address criticisms of and alternatives to my version of predicativism. (shrink)

A homonymy analysis is proposed to explain the so-called “demonstrative use” of personal pronouns. This analysis explains why some pronouns (_it_) do not allow a demonstrative use, as demonstrated in Nunberg (1993). The absence of a demonstrative feature in _it_ can also account for the fact that it does not allow deferred reference. It is argued on the basis of the structure of the nominal demonstrative paradigm that the homonymy analysis is more parsimonious than a single-item analysis.

Ante rem structures were posited as the subject matter of mathematics in order to resolve a problem of referential indeterminacy within mathematical discourse. Nevertheless, ante rem structuralists are inevitably committed to the existence of indiscernible entities, and this commitment produces an exactly analogous problem. If it cannot be sorted out, then the postulation of ante rem structures is futile. In a recent paper, Stewart Shapiro argued that the problem may be solved by analysing some of the singular terms of mathematics (...) not as genuinely referring expressions, but as instantial terms. In this paper, I discuss several competing accounts of the semantics of terms of this kind, and argue that they are all untenable for the ante rem structuralist. Shapiro, then, still owes us an account of the semantics of instantial terms that suits the ante rem structuralist project. Without it, the ante rem structuralist is still unable to determine the reference of the singular terms of mathematics. (shrink)

There has been a long debate on whether demonstratives are directly referential as Kaplan originally argued, or indirectly referential like a definite description. I propose a new analysis of demonstratives that combines intuitions from both direct and indirect approaches. The demonstrative is analyzed as an indirectly referential expression with a binary maximality operator that takes two arguments, where the second argument can be a deictic pointing, an anaphoric index, or a relative clause. Direct reference is encoded not in the meaning (...) of the demonstrative but in the meaning contributed by the pointing gesture, thus capturing both direct and indirect uses. I further propose that some pronouns in English function as demonstratives, realizing the binary structure and competing with the demonstrative. The main advantages of this proposal include (a) deriving the distribution of pronominal and adnominal demonstratives systematically; (b) capturing the unique interaction that demonstratives have with a pointing gesture; and (c) locating English demonstratives against a larger, cross-linguistic picture. (shrink)

Both definite descriptions and pronouns are often anaphoric; that is, part of their interpretation in context depends on prior linguistic material in the discourse. For example: A student walked in. The student sat down. A student walked in. She sat down. One popular view of anaphoric pronouns, the d-type view, is that pronouns like ‘she’ go proxy for definite descriptions like ‘the student who walked in’, which are in turn treated in a classical Russellian or Fregean fashion. I argue for (...) a novel version of the d-type view in which anaphoric definites are restricted existential quantifiers that presuppose discourse uniqueness, which is uniqueness of discourse referent in the context, rather than uniqueness of object in the world. In other words, the anaphoric definites ‘the student’ and ‘she’ in and presuppose that there is a single object under discussion that is a student who walked in. I further argue that, by contrast, non-anaphoric definites are restricted existential quantifiers that presuppose worldly uniqueness, that is, that there is a unique object in the world that satisfies the descriptive information. The semantics for anaphoric and non-anaphoric definites accounts for the differences in truth conditions in discourses involving the two different types of definites, improving on existing accounts. It is further supported by crosslinguistic data. The semantics is formally implemented in a static system employing quantifier domain restriction in the style of Stanley and Szabo :219–261, 2000) and extended to account for bridging definites and donkey sentences. (shrink)

I have two aims for the present paper, one narrow and one broad. The narrow aim is to show that a class of data originally described by Lynsey Wolter empirically undermine the leading treatments of complex demonstratives that have been described in the literature. The broader aim of the paper is to show that Wolter demonstratives, as I will call the constructions I focus on, are a threat not just to existing treatments, but to any possible theory that retains the (...) uncontroversial assumptions that relative clauses always form a constituent with the nouns they modify, and that semantic composition proceeds sequentially and locally, with the inputs to interpretation having the structure syntax tells us they do. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...) in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

The past decade has seen a protracted debate over the semantics of epistemic modals. According to contextualists, epistemic modals quantify over the possibilities compatible with some contextually determined group’s information. Relativists often object that contextualism fails to do justice to the way we assess utterances containing epistemic modals for truth or falsity. However, recent empirical work seems to cast doubt on the relativist’s claim, suggesting that ordinary speakers’ judgments about epistemic modals are more closely in line with contextualism than relativism (...) (Knobe & Yalcin 2014; Khoo 2015). This paper furthers the debate by reporting new empirical research revealing a previously overlooked dimension of speakers’ truth-value judgments concerning epistemic modals. Our results show that these judgments vary systematically with the question under discussion in the conversational context in which the utterance is being assessed. We argue that this ‘QUD effect’ is difficult to explain if contextualism is true, but is readily explained by a suitably flexible form of relativism. (shrink)

Stewart Shapiro’s ante rem structuralism recognizes the structural or ‘algebraic’ aspects of mathematical practice while still offering a face-value semantics. Fictionalism, as a purely ‘algebraic’ approach, is held to be at a disadvantage, as compared with Shapiro’s structuralism, in not interpreting mathematics at face value. However, the face-value reading of mathematical singular terms has difficulty explaining how we can use such terms to pick out a unique referent in cases where the relevant mathematical structures admit non-trivial automorphisms. Shapiro offers a (...) solution to this difficulty, but his solution, I argue, evens the score between Shapiro’s structuralism and fictionalism. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

I outline a discourse-based account of presuppositions that relies on insights from the writings of Peter Strawson, as well as on insights from more recent work by Robert Stalnaker and Barbara Abbott. One of the key elements of my account is the idea that presuppositions are “assertorically inert”, in the sense that they are background propositions, rather than being part of the “at issue” or asserted content. Strawson is often assumed to have defended the view that the falsity of a (...) presupposition leads to catastrophe, in the sense that a false presupposition “wrecks the assertive enterprise”. I argue that the discourse-based account in terms of assertoric inertia can explain how cases of presupposition failure can sometimes be non-catastrophic; there are cases in which the assertive enterprise operates smoothly, despite presupposition failure. The chief problem facing this line of argument is to account for cases in which presupposition failure is catastrophic. If presuppositions are assertorically inert, then how can their falsity ever wreck the assertive enterprise? I offer a principled account that delineates the circumstances in which false presuppositions are, and those in which they are not, catastrophic. (shrink)

Contextualists and relativists about predicates of personal taste, epistemic modals, and so on (“CR-expressions”) agree that the interpretation of these expressions depends, in some sense, on context. Relativists claim that the sort of context-sensitivity exhibited by CR-expressions is importantly different from that exhibited by paradigm context-sensitive expressions. This bifurcation is often motivated by the claim that the two classes of expressions behave differently in patterns of agreement and disagreement. I provide cases illustrating that the same sorts of discourse phenomena that (...) have been thought problematic for contextualists can arise with paradigm context-sensitive expressions. These cases motivate a more unified treatment of paradigm context-sensitive expressions and the expressions that have figured in recent contextualism/relativism debates. (shrink)

There is an interesting logical/semantic issue with some mathematical languages and theories. In the language of (pure) complex analysis, the two square roots of i’ manage to pick out a unique object? This is perhaps the most prominent example of the phenomenon, but there are some others. The issue is related to matters concerning the use of definite descriptions and singular pronouns, such as donkey anaphora and the problem of indistinguishable participants. Taking a cue from some work in linguistics and (...) the philosophy of language, I suggest that i functions like a parameter in natural deduction systems. This may require some rethinking of the role of singular terms, at least in mathematical languages. (shrink)

Just about every theorist holds that vague terms are context-sensitive to some extent. What counts as ?tall?, ?rich?, and ?bald? depends on the ambient comparison class, paradigm cases, and/or the like. To take a stock example, a given person might be tall with respect to European entrepreneurs and downright short with respect to professional basketball players. It is also generally agreed that vagueness remains even after comparison class, paradigm cases, etc. are fixed, and so this context sensitivity does not solve (...) the problems with vague terms. In this paper, I briefly sketch the main features of my broadly contextualist account of vagueness, that of the late Ruth Manor, and that of Agustín Rayo, showing how the three accounts relate to, and reinforce, each other, noting a seeming difference. A key item used to articulate my own view is David Lewis's notion of conversational score. This is used to track which borderline cases have been called in the course of a conversation. Manor alludes to Lewis's notion of accommodation, a key aspect of the kinematics of conversation, and Rayo invokes Stalnaker's notion of common ground. I'll show how the conversational score could be employed to develop and extend their views, showing how vague terms, as they construe them, are (or can be) deployed in conversation, consistent with both the underlying indeterminacy of the terms and normal communicative goals. To help develop all three views further, I invoke Craige Roberts's notion of Retrievability, a tool developed to show how definites, such as definite descriptions, singular pronouns, and proper names, are deployed in conversation, in a Lewis-style scorekeeping framework. This, I think, is exactly the right way to understand conversations in what Manor calls non-sorities situations and, to invoke my own view, in sorites situations as well. (shrink)

Two experiments examined the restriction of referential domains during unscripted conversation by analyzing the modification and online interpretation of referring expressions. Experiment 1 demonstrated that from the earliest moments of processing, addressees interpreted referring expressions with respect to referential domains constrained by the conversation. Analysis of eye movements during the conversation showed elimination of standard competition effects seen with scripted language. Results from Experiment 2 pinpointed two pragmatic factors responsible for restriction of the referential domains used by speakers to design (...) referential expressions and demonstrated that the same factors predict whether addressees consider local competitors to be potential referents during online interpretation of the same expressions. These experiments demonstrate, for the first time, that online interpretation of referring expressions in conversation is facilitated by referential domains constrained by pragmatic factors that predict when addressees are likely to encounter temporary ambiguity in language processing. (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)

Discourse dynamics, pragmatics, and indefinites Content Type Journal Article Pages 1-30 DOI 10.1007/s11098-012-9882-y Authors Karen S. Lewis, Department of Philosophy, University of Southern California, Los Angeles, CA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell's (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell's analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell's analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (shrink)

The paper argues that the correct definition of lying is that to lie is to assert something one believes to be false, where assertion is understood in terms of the notion of the common ground of a conversation. It is shown that this definition makes the right predictions for a number of cases involving irony, joking, and false implicature. In addition, the proposed account does not assume that intending to deceive is a necessary condition on lying, and hence counts so-called (...) bald-faced lies as lies. (shrink)

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...) claims can account for Russell's puzzle cases the way he did. Russell had no substantive argument for the claim that ‘The F is G’ entails ‘There is at most one F’; in fact, he had important misgivings about it. I outline an argument against this claim, and I argue that by holding on to uniqueness contemporary semanticists make a momentous mistake: they keep the illusion alive that there is a way to account for linguistic meaning without addressing what linguistic expressions are for. (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.

According to a popular family of theories, assertions and other communicative acts should be understood as attempts to change the context of a conversation. Contexts, on this view, are publicly shared bodies of information that evolve over the course of a conversation and that play a range of semantic and pragmatic roles. I argue that this view is mistaken: performing a communicative act requires aiming to change the mind of one’s addressee, but not necessarily the context. Although changing the context (...) may sometimes be among a speaker’s aims, this should be seen as an extra-communicative aim, rather than one that is necessary for the performance of a communicative act. Along the way, I also argue that contexts needn’t play a role in linking anaphora to their antecedents. On the view that I defend, theories that take publicly shared contexts to play an essential role in the nature of communicative acts or anaphoric dependence conflate an artifact introduced by idealized models of conversation with a feature of the phenomenon being modeled. (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new dynamic system (...) couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

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)

Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.

This paper discusses the apparent scope ambiguities between definite descriptions and modal operators. I argue that we need the theory of presupposition to explain why these ambiguities are not always present, and that once that theory is in hand, Kripke’s modal argument loses much of its force.

Paulina Sliwa (2015) argues that knowing why p is necessary and sufficient for understanding why p. She tries to rebut recent attacks against the necessity and sufficiency claims, and explains the gradability of understanding why in terms of knowledge. I argue that her attempts do not succeed, but I indicate more promising ways to defend reductionism about understanding why throughout the discussion.

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)

Upon hearing a scalar adjective in a definite referring expression such as “the big…,” listeners typically make anticipatory eye movements to an item in a contrast set, such as a big glass in the context of a smaller glass. Recent studies have suggested that this rapid, contrastive interpretation of scalar adjectives is malleable and calibrated to the speaker's pragmatic competence. In a series of eye‐tracking experiments, we explore the nature of the evidence necessary for the modulation of pragmatic inferences in (...) language comprehension, focusing on the complementary roles of top–down information ‐ (knowledge about the particular speaker's pragmatic competence) and bottom‐up cues (distributional information about the use of scalar adjectives in the environment). We find that bottom‐up evidence alone (e.g., the speaker says “the big dog” in a context with one dog), in large quantities, can be sufficient to trigger modulation of the listener's contrastive inferences, with or without top‐down cues to support this adaptation. Further, these findings suggest that listeners track and flexibly combine multiple sources of information in service of efficient pragmatic communication. (shrink)

What licenses the use of a definite description? The formal and philosophical literature has approached this question in two ways. The uniqueness approach (Frege, 1892; Russell, 1905; Strawson, 1950) holds that we may use a definite determiner only if the property denoted by its complement holds of exactly one individual in some domain: Sentence (1) and (2) can only be true if there is exactly one king of France, and exactly one American governor, respectively. Since this is not the case (...) in the actual world, the sentences are either false or (on most modern accounts) fall prey to a presupposition failure. (shrink)

Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further argued that (...) presuppositional theories of definite descriptions give intuitively satisfying analyses of the novel data. (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)

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.

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (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)

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)