Pronouns and Anaphora

The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is (...) does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition in linguistic semantics, drawing from Stoic logic, draws out patterns which suggest that indefinites are not well treated simply as existential quantifiers. (...) There are two broad classes of response to puzzles like this, e-type and dynamic. These approaches raise deep foundational questions. Inter alia, both require revisionary notions of sentential content and non-classical treatments of the connectives. The proper treatment of (in)definites is thus of crucial importance to philosophical questions about the nature of content, the meaning of (in)definites, and the logic of natural language. In this paper I develop a new approach to (in)definites. On my theory, contents are static, and indefinites have the truth-conditions of existential quantifiers. But they also have a secondary role: they have a witness presupposition which requires that, if the indefinite’s truth is witnessed by any individual, then some such individual is assigned to their variable. This means that indefinites license subsequent anaphora to their witnesses. Crucially, the connectives in this system are classical. This shows that we can account for the behavior of (in)definites with resources that are much more conservative than those deployed by e-type or dynamic theories—and in particular, with a classical notion of content and connectives. (shrink)

This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one notion (...) that has spun off into the linguistics literature, namely “indexical shift”. In Section 4, I emphasize the connection between monsters and the compositionality of asserted content in Kaplan’s original discussion. Section 5 discusses monsters and the more general idea of re-interpretation or meaning-shift. Section 6 closes with a brief survey of where monsters may dwell, and pointers to avenues for future research. (shrink)

У статті проаналізовано синкретичні семантико-синтаксичні відношення у структурі складнопідрядних займенниково-співвідносних речень симетричного типу, з’ясовано причини, що впливають на формування цих синкретичних відношень.

This paper argues that "that"-clauses do not reference propositions because they are not intersubstitutible with other expressions that do reference propositions. In particular, "that"-clauses are shown to not be intersubstitutible with propositional anaphors like "so." The substitution failures are further argued to support a semantics on which "that"-clauses are predicates.

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)

I present data that suggest the universal entailments of counterfactual donkey sentences aren’t as universal as some have claimed. I argue that this favors the strategy of attributing these entailments to a special property of the similarity ordering on worlds provided by some contexts, rather than to a semantically encoded sensitivity to assignment.

I here respond to Pietro Salis’s objections against my original critique of the Prosentential Theory of Truth. In addition, I clarify some points regarding the relationship between anaphoric relationships and “general semantic notions” like “equivalence”, “consequence”, and “sameness of content”, and make some further points about ’s ability gto explain pragmatic and expressive features of “true”.

We investigate a novel use of the English temporal modifier ‘now’, in which it combines with a subordinate clause. We argue for a univocal treatment of the expression, on which the subordinating use is taken as basic and the non-subordinating uses are derived. We start by surveying central features of the latter uses which have been discussed in previous work, before introducing key observations regarding the subordinating use of ‘now’ and its relation to deictic and anaphoric uses. All of these (...) data, it is argued, can be accounted for on our proposed analysis. We conclude by comparing ‘now’ to a range of other expressions which exhibit similar behavior. (shrink)

Traditionally, pronouns are treated as ambiguous between bound and demonstrative uses. Bound uses are non-referential and function as bound variables, and demonstrative uses are referential and take as a semantic value their referent, an object picked out jointly by linguistic meaning and a further cue—an accompanying demonstration, an appropriate and adequately transparent speaker’s intention, or both. In this paper, we challenge tradition and argue that both demonstrative and bound pronouns are dependent on, and co-vary with, antecedent expressions. Moreover, the semantic (...) value of a pronoun is never determined, even partly, by extra-linguistic cues; it is fixed, invariably and unambiguously, by features of its context of use governed entirely by linguistic rules. We exploit the mechanisms of Centering and Coherence theories to develop a precise and general meta-semantics for pronouns, according to which the semantic value of a pronoun is determined by what is at the center of attention in a coherent discourse. Since the notions of attention and coherence are, we argue, governed by linguistic rules, we can give a uniform analysis of pronoun resolution that covers bound, demonstrative, and even discourse bound readings. Just as the semantic value of the first-person pronoun ‘I’ is conventionally set by a particular feature of its context of use—namely, the speaker—so too, we will argue, the semantic values of other pronouns, including ‘he’, are conventionally set by particular features of the context of use. (shrink)

This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...) implicate belief that the second sentence expresses a converse of what the first expresses. Perhaps because such usage is familiar, the word conversely can be used as “sentential pronoun”—or prosentence—representing a sentence expressing a converse of what the preceding sentence expresses. -/- (2) Tarski read Church and conversely. -/- This would be understood as expressing the proposition expressed by (1). Prosentential usage introduces ambiguity when the initial proposition has more than one converse. Confusion can occur if the initial proposition has non-equivalent converses. -/- Every proposition that is the negation of a false proposition is true and conversely. -/- One sense implies that every proposition that is the negation of a true proposition is false, which is true of course. But another sense, probably more likely, implies that every proposition that is true is the negation of a false proposition, which is false: the proposition that one precedes two is not a negation and thus is not the negation of a false proposition. The above also applies to synonyms of conversely such as vice versa. Although prosentence has no synonym, extrapropositional constituents are sometimes called redundant rhetoric, filler, or expletive. Authors discussed include Aristotle, Boole, De Morgan, Peirce, Frege, Russell, Tarski, and Church. END OF PUBLISHED ABSTRACT -/- See also: Corcoran, John. 2015. Converses, inner and outer. 2015. Cambridge Dictionary of Philosophy, third edition, Robert Audi (editor). Cambridge: Cambridge UP. https://www.academia.edu/10396347/Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_ Dictionary_of_Philosophy . (shrink)

In this paper I defend the “Standard View” of the semantics of ‘I’—according to which ‘I’ is a pure, automatic indexical—from a challenge posed by “deferred reference” cases, in which occurrences of ‘I’ are (allegedly) not speaker-referential, and thus non-automatic. In reply, I offer an alternative account of the cases in question, which I call the “Description Analysis” (DA). According to DA, seemingly deferred-referential occurrences of the first person pronoun are interpreted as constituents of a definite description, whose operator scopes (...) over an open sentence Rxy—where R is a contextually selected relation ranging over pairs of people and objects. The role of intentions is thus limited to the determination of R, which is posterior to the fixation of the reference of ‘I’. In support of the DA I present evidence that, in the cases in question, the (Determiner) phrase containing ‘I’ behaves in relevant ways like a description. I show that the DA can account for the problematic examples, while preserving the simplicity of the standard semantics of ‘I’. Finally, I examine a rival account of the data, offered by Nunberg (Linguist Philos 16:1–43, 1993), and argue for the superiority of the DA. (shrink)

This paper explores the use of the relative pronoun with nonhuman animals. The paper looks at what dictionaries, an encyclopedia, grammars, publication manuals, newspapers, and news agencies say and do relative to this issue. In addition to investigating the views and practices of these authoritative publications, the study also searched a 100-million-word collection of spoken and written English. The study found that while some reference works reject or ignore the use of with nonhuman animals, other works discuss the possibility, and (...) does occur in the corpus with nonhuman animals. Explanations for such usage include psychological closeness with particular nonhuman animals and/or features shared with humans. The paper suggests that the use of with nonhuman animals might play a role in promoting human attitudes and behaviors beneficial to fellow animals. However, it cautions that the correlation between language use, on the one hand, and attitudes and behaviors, on the other hand, is not a perfect one. (shrink)

The generic pronoun 'one' (or its empty counterpart, arbitrary PRO) exhibits a range of properties that show a special connection to the first person, or rather the relevant intentional agent (speaker, addressee, or described agent). The paper argues that generic 'one' involves generic quantification in which the predicate is applied to a given entity ‘as if’ to the relevant agent himself. This is best understood in terms of simulation, a central notion in some recent developments in the philosophy of mind (...) and cognitive science (Simulation Theory). (shrink)

Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different truth-conditional contribution. (...) But this difference cannot be accounted for by standard parameter sensitivity. Semanticists, consoled by the thought that this ambiguity would ultimately be needed anyhow to explain anaphora, have been too content to posit massive ambiguities in demonstrative pronouns. This article aims to revived the parameter revolution by showing how to treat demonstrative pronouns as univocal while providing an account of anaphora that doesn't end up re-introducing the ambiguity. (shrink)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is to (...) treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 5: Quantification. Abstract: In discourse, quantifiers can function as antecedents or anaphors. We analyze a sample discourse in Dynamic Plural Logic (DPlL, van den Berg 1993, 1994), which represents not only current discourse referents, but also current relations by means of plural information states. This makes it possible to analyze quantification as structured discourse reference. Finally, the DPlL analysis is transposed into Update with Centering, to simplify the formalism and relate quantification (...) to earlier discussion in the course. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 3: Indexicality. Abstract: Cross-linguistic evidence shows that indexicality, too, crucially involves context change. Speaking up focuses attention on that event and thereby makes it available for discourse reference (by "i", "you", etc). In Kalaallisut, this explains parallel grammatical marking of indexical reference and topic-oriented anaphora. Moreover, shiftable indexicals in Slavey show that certain expressions, e.g. attitude verbs, may update the top perspectival discourse referent from the speech event to an attitude state.

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 4: Temporality. Abstract: Cross-linguistic evidence shows that temporal reference likewise involves context change. In every language, temporal reference is similar to top-level nominal reference, except that instead of updating or referring to top-ranked individuals, temporal grammatical systems update or refer to top-ranked temporal referents (events, states, or times). We discuss and compare temporal reference in two sample languages: tense-based English and tenseless aspect-based Mandarin.

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 2: Anaphora. Abstract: Cross-linguistic evidence shows that anaphora crucially involves context change. The logical representation system must be able to represent rank-based anaphora, because in every language the favorite anaphors -- e.g. Mandarin zeros, Kalaallisut inflections, English pronouns -- are restricted to refer to top-ranked antecedents (top-level anaphors, like Mandarin zeros or Kalaallisut inflections) or top- or 2nd-ranked antecedents (shallow anaphors, like English pronouns).

Recent literature contains influential arguments for variabilism, the view that we should understand proper names as analogues not of constants but of variables. In particular, proper names are said to sometimes take semantic values that are not referential but purely general. I present a counter-example to this view.

Ruwet observed that subjunctives indicate a discontinuity between action and will, typically resulting in a disjoint reference effect known as obviation (unacceptable "Je veux que je parte"). In a certain set of cases, however, the attitude-holder can felicitously bind the pronominal subject of the subjunctive clause (exemption from obviation). This seminar handout examines the phenomenon in Hungarian, with additional data from Russian, Polish, and Romanian.

I discuss the meaning of 'There's something e is like', in the context of a reply to Eric Lormand's 'The explanatory stopgap'. I argue that Lormand is wrong to think it has a specially perceptual meaning. Rather, it has one of at least four candidate meanings: e is some way as regards its subject; e is some way and e's being that way is in the possession of its subject; e is some way in the awareness of its subject; e's (...) subject is the "experiencer" of e. I provide additional argumentation for the view in this paper that in the context, 'like this' functions as a predicate variable. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

I propose that Mandarin ｡-sentences (units marked by ｡) are aspectual topic-comment sequences, where an initial update (terminating in a pause) introduces a topic state for comment by one or more clauses. Each comment anaphorically refers to the topic state via the aspect feature of the verbal predicate. This proposal explains why Mandarin ｡-sentences have controversial boundaries, since speakers may disagree where one topic state ends and the next one begins. It also explains various manifestations of aspect-prominence and topic-prominence in (...) Mandarin discourse. In Bittner (2014), this proposal is formally implemented in Categorial Grammar and a new dynamic logic called Update with Centering. (shrink)

Nous distinguons deux types d'anaphores en montrant que la comprehension des relations à longue distance met en jeu plusieurs propriétés de la grammaire comme l'association, ou non, avec un rôle thématique, ou à une position argumentale, et montrons comment les mécanismes mis en jeu sont universels - et ont des conséquences sur l'architecture de la grammaire (sur la définition de la notion de c-commande par exemple). L'article montre en particulier qu'il ne peut y avoir de réciproque ou de clitique lié (...) a longue distance. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

Covaluation is the generalization of coreference introduced by Tanya Reinhart. Covaluation distributes in patterns that are very similar yet not entirely identical to those of binding. On a widespread view, covaluation and binding distribute similarly because binding is defined in terms of covaluation. Yet on Reinhart's view, binding and covaluation are not related that way: binding pertains to syntax, covaluation does not. Naturally, the widespread view can easily explain the similarities between binding and covaluation, whereas Reinhart can easily explain the (...) dissimilarities. Reciprocally, the widespread view finds it harder to explain the dissimilarities, whereas Reinhart finds it harder to explain the similarities. Reinhart and others have proposed more than one explanation of the similarities, but as I argue, these explanations do not work. Hence although I adopt Reinhart's view, I propose a new explanation of the similarities and dissimilarities between binding and covaluation: While Reinhart has invoked semantic structure only to explain dissimilarities, I do so to explain both similarities and dissimilarities at once. Finally, I examine in light of this approach the topics of language acquisition, only-constructions, the identity predicate, the Partee/Bach/Higginbotham problem, the Dahl puzzle and its recent versions by Roelofsen. (shrink)

This paper argues that indexical reference is a species of discourse reference, just like anaphora. Both varieties of discourse reference involve not only context dependence, but also context change. The act of speaking up focuses attention and thereby makes this very speech event available for discourse reference by indexicals. Mentioning something likewise focuses attention, making the mentioned entity available for subsequent discourse reference by anaphors. Empirical evidence is presented from grammatical centering in Kalaallisut and "shifty indexicals" in Slave attitude reports.

Appendix to lecture notes on "Nominal (re)centering: From Kalaallisut to UC1". Day 2 of advanced course on "Cross-linguistic compositional semantics" at LSA Summer Institute 2009 at UC Berkeley.

This is the last of three lectures on anaphoric parallels between individuals and possibilities across languages (IMS, Stuttgart, 2000).

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...) parallels can be formally analyzed. (shrink)

This paper describes quantificational structures in Greenlandic Eskimo (Kalaallisut), a language where familiar quantificational meanings are expressed in ways that are quite different from English. Evidence from this language thus poses some formidable challenges for cross-linguistic theories of compositional semantics.

The first of three lectures on nominal and modal discourse reference across languages (IMS, Stuttgart, 2000).

So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is one more (...) species of top-level anaphora--to wit, anaphora to top-ranked sets. (shrink)

Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that reflexive (...) and personal pronouns are free variables that get bound by an antecedent through some coindexing mechanism. In variable free semantics the same task is performed by some combinator that identifies two arguments of the function it operates on (a duplicator). This combinator may be built into the lexical semantics of the pronoun, into that of the antecedent, or it may be a free-floating operation applicable to predicates or larger chunks of texts, i.e. a typeshifter. This note is concerned with the case of cross-sentential anaphora. It adopts Hepple’s and Jacobson’s interpretation of pronouns as identity maps and asks how this can be extended to the cross-sentential case, assuming the dynamic semantic view of anaphora. It first outlines the possibility of interpreting indefinites that antecede non-ccommanded pronouns as existential quantifiers enriched with a duplicator. Then it argues that it is preferable to use the duplicator as a type-shifter that applies “on the fly”. The proposal has consequences for two central ingredients of the classical dynamic semantic treatment: it does away with abstraction over assignments and with treating indefinites as inherently existentially quantified. However, cross-sentential anaphora remains a matter of binding, and the idea of propositions as context change potentials is retained. (shrink)

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In particular, (...) an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.