In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (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.

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)

The present volume contains a collection of papers presented at the 21st annual meeting “Sinn und Bedeutung” of the Gesellschaft fur Semantik, which was held at the University of Edinburgh on September 4th–6th, 2016. The Sinn und Bedeutung conferences are one of the leading international venues for research in formal semantics.

This article advances the first semantics that is neither for nor against a default implicational link between the progressive and perfective forms, when it comes to solving the imperfective paradox. Depending on the doxastic context of its use, we contend that the progressive form sometimes allows and sometimes does not allow the inference of the corresponding simple form. In other words, the preparatory phase of an event might or might not be believed to lead to its culmination. Indeed, the context (...) can put constraints on beliefs about the time of the culmination and whether or not it allows this inference to be made. From a formal perspective, this new solution to the imperfective paradox combines a specific modal approach with an event-structure analysis originating in event semantics. Finally, this approach solves the associated difficulties that have plagued the most well-known theories in this field. (shrink)

Artificial agents, which are embedded in a virtual world, need to interpret a sequence of commands given to them adequately, considering the temporal structure for each command. In this paper, we start with the semantics of natural language and classify the temporal structures of various eventualities into such aspectual classes as action, process, and event. In order to formalize these temporal structures, we adopt Arrow Logic. This logic specifies the domain for the valuation of a sentence as an arrow. We (...) can connect, or give order to, arrows by defining inter-arrow operations, and can give different views for sentences. Thereafter we formalize the rules of aspectual shifts in situated inference, in the style of a logic programming language. Thus, we not only describe the static representation of temporal features, but also show the dynamic process to deduce how each eventuality is viewed. The rules are applied to the information flow through the sequence of commands; therefore, we consider how the temporal structure of a command affects the succeeding commands. (shrink)

Case-based reasoning has played an important role in legal reasoning systems. As one criteria for similarity of cases, temporal relationsamong affairs in legal cases should be compared. Thus far in many legalreasoning systems, cases have been described as sequences of pointwiseevents, or at best, simple time intervals, and they have been related bypredicates such as before, after, while,and so on. However, such relations may depend on each implementer'spersonal view, and also require much labor to write down by hand. In this (...) paper, we first propose a classification of affair types by their temporal features, and according to those types, we propose several assumption rules that prescribe the temporal relations between affair types. The temporal relations are automatically generated by these rules. Thereafter, we discuss how thesetemporal relations work in the comparison of similarity of cases. Inthe process of comparison, inadequate temporal relations need to beamended. For this purpose, we introduce revision rules, that refute theresults of assumption rules. (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)

The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the (...) speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems. (shrink)

A thorny question surrounding the meaning of ought concerns a felt distinction between deontic uses of ought that seem to evaluate a state of affairs versus those that seem to describe a requirement or obligation to perform an action, as in and, respectively. There ought not be childhood death and disease. You ought to keep that promise. Various accounts have been offered to explain the contrast between “agentive” and “non-agentive” ought sentences. One such account is the Agency-in-the-Prejacent theory, which traces (...) the difference to a particular kind of ambiguity in the prejacent. This theory has been criticized as linguistically unviable. Indeed, I level a few novel complaints against AIP myself in the present paper. But AIP has a kernel of genuine insight which allows us to explain the contrast—that the distinction between agentive and non-agentive ought sentences owes in part to the way natural language encodes information about agency. I develop this idea into a novel account that, like AIP, traces the contrast to an ambiguity in the complement of the modal. However, according to the view I propose, the Coercion View, a linguistically-motivated coercion operation produces the necessary grammatical conditions for agentive ought, which in turn allow a kind of variadic function operator in the style of to produce the semantic effect we see on display in agentive readings of ought. Having explained the mechanism by which we get this structure, I show that it corroborates some of the central intuitions underwriting agentive ought. I submit that the Coercion View offers an explanation of agentive ought to take at least as seriously as any of its competitors. (shrink)

This paper presents an account of the semantics of copular be as displayed in its behaviour in be+AP configurations. I begin by arguing against the Partee/Dowty distinction between a semantically null be of predication and a thematically relevant agentive be, and I propose that there is one semantically relevant verb whose grammatical role is to turn an AP predicate into a verbal one. The denotation of be must thus be a function from denotations of Adjective Phrases to denotation of Verb (...) Phrases. I argue that these denotations are crucially different in kind: verbs (and thus VPs) denote eventualities, which are count entities and which are temporally locatable, while adjectives (and thus APs) denote mass entities, which are states and which are not temporally locatable. Be thus denotes a locating function which maps from the mass to the count domain, and is the analogue of the ‘packaging’ function in the nominal domain. After a comparison between the mass/count distinction in the verbal and nominal domains, I show how this theory accounts for properties of be in small clause and progressive constructions which have hitherto been explained by positing a so-called agentive be. (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)

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)

The English perfect involves two fundamental components of meaning: a truth-conditional one involving temporal notions and a current relevance presupposition best expressed in terms drawn from the analysis of modality. The proposal made here draws much for the Extended Now theory (McCoard 1978 and others), but improves on it by showing that many aspects of the perfect's meaning may be factored out into independent semantic or pragmatic principles.

This papers argues that the apparent constraint of adverbials like 'for two hours' (or 'throughout the house') should not be viewed as a restriction to telic events or event predicates, but should be explained entirely in terms of the quantificational status of such adverials, acting as quantifiers over (contextually individuated) parts of a time interval (or spatial region).

We offer a formal account of the English past tenses. We see the perfect as having reference time at speech time and the preterite as having reference time at event time. We formalize four constraints on reference time, which we bundle together under the term ‘perspective’. Once these constraints are satisfied at the different reference times of the perfect and preterite, the contrasting functions of these tenses are explained. Thus we can account formally for the ‘definiteness effect’ and the ‘lifetime (...) effect’ of the perfect, for the fact that the perfect seems to ‘explain’ something about the present, and that the perfect cannot presuppose a past time point. We explain why perfect and preterite can sometimes be interchangeable, and we offer a solution to the ’present perfect puzzle’. We explain the unacceptability of notorious examples of the perfect such as * Gutenberg has discovered the art of printing . We give greater definition to the familiar notions of ‘current relevance’ and ‘extended now’. (shrink)

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...) more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

By force of _causes precede effects_, causality contributes to the temporal meaning of discourse. In case of semantic causal relations, this contribution is straightforward, but in case of epistemic causal relations, it is not. In order to gain insight into the semantics of epistemic causal relations, paradoxical cases are analyzed of text fragments in which temporal and causal meaning seem to be irreconcilable. A solution is proposed consisting of several parts: First, an analysis of epistemic causal coherence relations, in which (...) the effect sentence is argued to be a _belief_ sentence. Secondly, a method for deriving causal coherence relations. And thirdly, a format for representing temporal meaning in which contributions of tense and causality can be reconciled. Finally, it is argued that _understanding_ epistemically causally connected sequences is not equal to being persuaded to _believing_ them. The difference is shown to be expressible in the representation format proposed. (shrink)

Linguistic phenomena of tense and aspect have been investigated in a great deal of theoretical work in linguistics, philosophy and computer science. Modern tense logics, established by Prior, are part of this effort. Point tense logics offer an intuitive representation of tense but lack the expressiveness to represent many aspectual structures. Interval tense logics offer more expressiveness but in the general case can be computationally intractable. From a linguistic perspective there is the problem of precisely how to formalise the aspectual (...) structures, such as a culmination and a culminated process. In this paper we define a computationally tractable augmented fragment of Halpern and Shoham's interval tense logic HS and apply it to represent a core set of aspectual structures, which are incorporated into a temporal semantics of a simple fragment of English. We model the logic fragment using timelines and define two procedures, one for constructing the minimal timelines that satisfy a formula and one for checking semantic entailments between one formula and another by comparing their timelines. The former is applied to compute models of temporal readings and the latter to check entailments between them. Possible extensions to the logic fragment and timeline models are discussed as ways of accounting for a wider range of linguistic behaviour. (shrink)

This paper presents a formal account of how to determine the discourse relations between propositions introduced in a text, and the relations between the events they describe. The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules. These characterise the effects of causal knowledge and knowledge of language use on interpretation. Patterns of defeasible entailment that are supported by the logic in which the theory is expressed are shown to underly temporal interpretation.

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

This paper argues for a largely unnoted distinction between relational and modal components in the lexical semantics of verbs. Wehypothesize that many verbs encode two kinds of semantic information:a relationship among participants in a situation and a subset ofcircumstances or time indices at which this relationship isevaluated. The latter we term sublexical modality.We show that linking regularities between semantic arguments andsyntactic functions provide corroborating evidence in favor of thissemantic distinction, noting cases in which the semantic groundingof linking through participant-role properties (...) apparently fails. Thissemantic grounding can be preserved, however, once we abstractaway from sublexical modality in lexical semantic representations.Semantically-based linking constraints are insensitive to the sublexicalmodality component of lexical entries and depend only on informationin a predicator's situational core. (shrink)

A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic, a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates, unreliable generalizations, and perhaps most importantly, explicit situational variables linked to arbitrary formulas that describe them. These allow episodes (...) to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference. (shrink)

This paper examines aspectual be–type constructions in African American English. These constructions receive a habitual interpretation, but they are distinguished from simple tense generics in that they are not ambiguous between generic/habitual and capacity readings. The analysis proposed to account for these constructions is one in which aspectual be neutralizes the distinction between stage- and individual-level predicates. Following Kratzer (1995), I assume that stage-level predicates have a separate event argument associated with them, but individual-level predicates do not. Aspectual be forces (...) individual-level predicates to take an eventuality argument which coerces them into stage-level predicates. The logical representations of these constructions are given a tripartite structure in which a habitual operator binds variables ranging over eventualities.The analysis can be extended to account for constructions in which permanently stable entities indicated by bare plural subjects occur with be–type predicates. The solution proposed here accounts for some well-known properties of aspectual be that have not been discussed in the literature. (shrink)

In this paper, I discuss observations on when given by Sandström (1993) for constructions of the form ‘When A B’, where A and B both describe events (as opposed to states). Sandströ m proposes that for events described in the simple past, the temporal interpretation of such sequences varies according to whether A describes a culminated process (CP)(accomplishment) or a culmination (CULM)(roughly, an achievement). She offers an account of this behaviour based on the claim that culminations denote changes of state (...) while culminated processes do not. I argue that this claim is unmotivated, and in addition, draw attention to a range of counterexamples to her generalisation. I present an analysis which is not based on the CP/CULM distinction but relies instead on the distinction originally proposed by Dowty (1979) between the event structures CAUSE-BECOME and BECOME. I show that this distinction is closely related to whether the event has a prototypical agent. It is therefore thematic structure rather than temporal structure that determines the behaviour of when in these cases. (shrink)

An investigation into the behavior of sentence-final then suggests the need to distinguish between two uses:As a temporal anaphor referring back to a previously established explicit temporal referent (ETR).As a way of expressing relations between states/events, where no ETR is required.A means of making this distinction in Discourse Representation Theory (DRT) (Kamp and Reyle (forthcoming)) is proposed. This involves restricting the introduction of temporal referents into the universe of discourse to cases where certain types of temporal adverbials are present. In (...) other cases, event or state referents but not temporal referents may be introduced. This contrasts with previous DRT accounts of temporal phenomena, which employ no such distinction. (shrink)

In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.

A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intensionality and conditionals.

This paper considers the possibility of anaphoric dependencies to the objects of creation verbs in progressive aspect. It is shown that such dependencies are possible in the right circumstances and a classification of the felicitous cases is proposed. A formal analysis making use of pragmatic information and discourse structure is given. Finally, some broader implications of the analysis are discussed.

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

Spanish verbs display two past-tense forms, the pret´rito and the imperfecto. We offer an account of the semantics of these forms within a situation semantics, addressing a number of theoretically interesting questions about how to realize a semantics for tense and events in that type of framework. We argue that each of these forms is unambiguous, and that the apparent variety of readings attested for them derives from interaction with other factors in the course of interpretation. The meaning of the (...) imperfecto is constrained to always reflect atelic aktionsart. In addition, it contains a modal element, and a contextually-given accessibility relation over situations constrains the interpretation of the modal in ways that give rise to all the attested readings. The pret´rito is indeterminate with respect to aktionsart, neither telic nor atelic. One or the other aktionsart may be forced by other factors in the clause in which the pret´rito occurs, as well as by pragmatic contrast with the possibility of using the imperfecto. (shrink)

This paper examines a type of discourse structure we here call ‘generic passages’. We argue that generic passages should be analyzed as sequences of generic sentences, each sentence containing its own GEN operator (Krifka et al. 1995). The GEN operators produce tripartite matrix/restrictor structures; the main discourse connection among the sentences is that the restrictor produced by each sentence in the sequence has as its contents the information in the matrix produced by the previous sentence in the discourse. We also (...) argue that an identity of reference times is required for this process to occur. In the end generic passages are a natural product of the interaction of generic operators in sentences with independently- established principles structuring ordinary extensional narrative. (shrink)

This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

The wide range of interpretations of aoristic and imperfective aspect in Ancient Greek cannot be attributed to unambiguous aspectual operators but suggest an analysis in terms of coercion in the spirit of de Swart (Nat Lang Linguist Theory 16:347–385, 1998). But since such an analysis cannot explain the Ancient Greek data, we combine Klein’s (Time in language, 1994) theory of tense and aspect with Egg’s (Flexible semantics for reinterpretation phenomena, 2005) aspectual coercion approach. Following Klein. (grammatical) aspect relates the runtime (...) of an eventuality and the current time of reference (topic time). We claim that these relations can trigger aspectual selection restrictions (and subsequent aspectual coercions) just like e.g. aspectually relevant temporal adverbials, and are furthermore susceptible to the Duration Principle of Egg (Flexible semantics for reinterpretation phenomena, 2005): Properties of eventualities must be compatible with respect to the duration they specify for an eventuality. The Duration Principle guides the selection between different feasible coercion operators in cases of aspectual coercion but can also trigger coercions of its own. We analyse the interpretations of aorist and imperfective as cases of coercion that avoid impending violations of aspectual selection restrictions or of the Duration Principle, which covers cases that are problematic for de Swart’s (Nat Lang Linguist Theory 16:347–385, 1998) analysis. (shrink)

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)