Maria Bittner

The development of explicit theories of dynamic context change has led to a fundamentally new perspective on the interpretation of discourse. In this paper I show that this development also opens up the possibility of approaching subclausal composition along similar lines. More specifically, I argue that a dynamic theory where type-driven rules apply directly to overt surface structures and fill in missing information by building anaphoric bridges is more faithful to natural language semantics than the classical Montagovian approach.

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English.

Amele (Papuan, New Guinea) is a tense-mood-based language (in the typology of Bittner 2014) with an elaborate system of clause chaining, including switch reference (SR) and serial verb constructions (SVC). This draft analyzes two interlinear Amele texts (from Roberts 2007) in Update with Centering of Bittner (2014). The basic idea is that an SR-chain is a topic-comment sequence about a 'topical development' — i.e. a topic time framing a chain of causally linked events. In contrast, an SVC is a chain of verbs that jointly introduce a single eventuality into discourse.

In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— "definite", "indefinite" and "predicative"—which are generally found with Warlpiri nouns, including those which correspond to English common nouns and cardinality expressions. A partial analysis of these readings is sketched i n section 3. Since Warlpiri has no determiner system, we hypothesize that the source of (in)definiteness in this language is semantic. More specifically, we suggest that Warlpiri nominals are basically interpreted as individual terms or predicates of individuals and that their three readings arise as a consequence of the interaction of their basic meanings, which are specific to Warlpiri, with certain semantic operations, such as type shifting (Rooth and Partee 1982, Partee and Rooth 1983, Partee 1986, 1987), which universally can or must apply in the process of compositional semantic interpretation.

Hamm, Kamp, and van Lambalgen 2006 (hereafter HLK) propose to relate NL discourse to cognitive representations that also deal with world knowledge, planning, belief revision, etc. Surprisingly, to represent human cognition they use an event calculus "which has found applications in robotics". This comment argues that the robotics-based theory of HLK attributes too much to world knowledge and not enough to the ontology, centering, and other universals of NL semantics. It is also too Anglo-centric to generalize to languages of other linguistic types.

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.

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.

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.

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.

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, Hindi, Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less.

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.

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to proper atomic parts (cf. nominal pluralities and kinds).

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 1: Introduction. Abstract: Dynamic semantics is a family of semantic theories that seek to explicate the intuition that saying something changes the context for what follows. We survey the development of formal semantics from static to dynamic formalisms since 1970s. Throughout, we highlight natural language phenomena that motivate dynamic semantics, and the key pre-theoretical concepts -- information state, update, and discourse referent -- which can be implemented in different ways and thus lead to various dynamic logics.

: This study describes a new field method, suited for investigating scope relations — and other aspects of truth conditional meaning — with native speaker consultants who may speak no other language and have no background in linguistics or logic. This method revealed a surprising scope contrast between the antipassive and the ergative construction in Greenlandic Eskimo. The results of this field work are described in detail and a crosslinguistic scope generalization is proposed based on Greenlandic Eskimo, Basque, Polish, Russian, Finnish and English.

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

Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but also for the underlying theory of events, space, and time, in natural language discourse.

According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g. Webber 1988). This paper proposes a unified approach.

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.

Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs), in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends different semantic objects in a contextually salient plural domain to different episodes.

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.

We analyze Case in terms of independent constraints on syntactic structures — namely, the Projection Principle (inherent Case), the ECP (marked structural Case), and the theory of extended projections (the nominative, a Caseless nominal projection). The resulting theory accounts for (1) the government constraint on Case assignment, (2) all major Case systems (accusative, ergative, active, three-way, and split), (3) Case alternations (passive, antipassive, and ECM), and (4) the Case of nominal possessors. Structural Case may correlate with pronominal agreement because the former can, and the latter must, involve antecedent-government by a functional head. However, neither phenomenon implies the other.

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.