The effects of utterances such as cue phrases, keep-turn markers, and grounding signals cannot be characterized as changes to a shared record of the propositions under discussed: the simplest (and arguably most natural) way of characterizing the meaning of these utterances is in terms of a theory in which the conversational score is seen as a record of the discourse situation, or at least of the speech acts that have been performed. The problem then becomes to explain how discourse entities (...) are accessible. We consider three hypotheses about the dynamics of a speech act-based theory of the conversational score, and argue that they could be implemented with relatively minor modifications to the technical tools already introduced in theories such as Compositional DRT. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous to Abusch’s (1985) WOLL. (...) I offer St’át’imcets-internal evidence (of a kind not previously adduced) that the WOLL-like operator is modal in nature. It follows from the analysis presented here that there are only two (probably related) differences between St’át’imcets and English in the area of tense. The first is that St’át’imcets lacks tense morphemes which are pronounced. The second is that the St’át’imcets tense morpheme is semantically underspecified compared to English ones. In each of these respects, the St’át’imcets tense morpheme displays similar properties to pronouns, which may be covert and which may fail to distinguish person, number or gender. Along the way, I point out several striking and subtle similarities in the interpretive possibilities of St’át’imcets and English. I suggest that these similarities may reveal non-accidental properties of tense systems in natural language. I conclude with discussion of the implications of the analysis for cross-linguistic variation, learnability and the possible existence of tenseless languages. (shrink)

The paper proposes the first unified account of deictic/sentence-external and sentence-internal readings of singular different . The empirical motivation for such an account is provided by a cross-linguistic survey and an analysis of the differences in distribution and interpretation between singular different , plural different and same (singular or plural) in English. The main proposal is that distributive quantification temporarily makes available two discourse referents within its nuclear scope, the values of which are required by sentence-internal uses of singular different (...) to be distinct, much as its deictic uses require the values of two discourse referents to be distinct. Thus, we take sentence-internal readings to be a form of ‘association with distributivity’ that is similar to association with focus. The contrast between singular different , plural different and same is explained in terms of several kinds of quantificational distributors that license their internal readings. The analysis is executed in a stack-based dynamic system couched in type logic, so we get compositionality in the usual Montagovian way. Quantificational subordination and dependent indefinites in various languages provide additional motivation for the account. Investigating the connections between items with sentence-internal readings and the quantificational licensors of these readings opens up a larger project of formally investigating (i) the typology of quantificational distributors and distributivity-dependent items and (ii) the fine-grained contexts of evaluation needed to capture this typological variation. (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 Eskimo language Kalaallisut (alias West Greenlandic) has traditionally been described as having a rich tense system, with three future tenses (Kleinschmidt 1851, Bergsland 1955, Fortescue 1984) and possibly four past tenses (Fortescue 1984). Recently however, Shaer (2003) has challenged these traditional claims, arguing that Kalaallisut is in fact tenseless.

This paper proposes that a core semantic property of temporal locating adverbs is the ability to introduce a new time discourse referent. The core data comes from that same day in narrative discourse. I argue that unlike other previously studied temporal locating adverbs—which introduce a new time discourse referent and relate it to the speech time or a salient time introduced into the discourse context—that same day is ‘twice anaphoric’, i.e. it retrieves two salient times from the input context without (...) introducing one of its own. Moreover, I argue that the adverb currently is like that same day in not introducing a new time discourse referent. Unlike that same day, however, currently has both a deictic and an anaphoric usage analogous to on Sunday. The analysis that I propose is implemented within Compositional Discourse Representation Theory. It illustrates how adverbial meaning can be integrated within a more general theory of temporal interpretation. (shrink)

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

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)

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can be (...) spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

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

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into a (...) factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

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

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.

In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible. For the bulk of programming constructs, however, working with reflexive domains is an unnecessary complication. In this paper we shall use the domains of ordinary classical type logic to provide the semantics of a simple programming language containing choice and recursion. We prove that the rule of {\em Scott Induction\/} holds in this new setting, prove soundness (...) of a Hoare calculus relative to our semantics, give a direct calculus ${\cal C}$ on programs, and prove that the denotation of any program $P$ in our semantics is equal to the union of the denotations of all those programs $L$ such that $P$ follows from $L$ in our calculus and $L$ does not contain recursion or choice. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

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).

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.