In this paper I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...) by Abusch and Kratzer, among many others), as well as unintended theoretical implications in the contextualist debate (Grice, Recanati, Simons, Stanley, and many others again). (shrink)

The primary theoretical focus of this paper is on Free Choice uses of any, in particular on two phenomena that have remained largely unstudied. One involves the ability of any phrases to occur in affirmative episodic statements when aided by suitable noun modifiers. The other involves the difference between modals of necessity and possibility with respect to licensing of any. The central thesis advanced here is that FC any is a universal determiner whose domain of quantification is not a set (...) of particular individuals but the set of possible individuals of the relevant kind. In a theory of genericity utilizing situations, an any phrase can be seen as having a universal quantifier binding the situation variable of the common noun. This inherent genericity is argued to be at the heart of the intuition that any statements support counterfactual inferences and do not involve existential commitments. A conflict in presuppositions is shown to account for the incompatibility of unmodified any phrases in affirmative episodic statements and the crucial role played by modification in ameliorating this clash is explicated. In the case of modals of necessity, the interaction between the universal force of any and the particular modal base is shown to be crucial. In view of these facts it is argued that FC any is not directly licensed by modal or generic operators as generally assumed but that its felicitous use is sensitive to the pragmatics of epistemic modality. Turning to its polarity sensitive uses, language internal as well as crosslinguistic evidence is presented to distinguish it from FC any in having the existential quantificational force typical of indefinites. The paper concludes by suggesting that the common tie between them is that they both occur in statements that apply to a class of entities, rather than to particular members of the class. (shrink)

Many competent speakers initially judge that (i) is true and (ii) isfalse, though they know that (iii) is true. (i) Superman leaps more tallbuildings than Clark Kent. (ii) Superman leaps more tall buildings thanSuperman. (iii) Superman is identical with Clark Kent. Semanticexplanations of these intuitions say that (i) and (ii) really can differin truth-value. Pragmatic explanations deny this, and say that theintuitions are due to misleading implicatures. This paper argues thatboth explanations are incorrect. (i) and (ii) cannot differ intruth-value, yet (...) the intuitions are not due to implicatures, but ratherto mistakes in evaluating (i) and (ii). (shrink)

This paper proposes an approach to narrative deixis which offers a coherent analysis of the respective roles of proximal and distal deictic expressions. The paper starts by arguing that fictional narratives require an approach to deixis which modifies a number of broadly held assumptions, especially as regards the interaction between tense and other deictic forms. It then considers the widely discussed instance of the temporal adverb now in the context of Past Tense. The second part of the paper gives special (...) focus to demonstratives in narrative fiction, showing their role in temporal construals. It argues that both temporal and demonstrative expressions are primarily used to serve narrative viewpoint construction. Examples from several novels are then used to show how the proximal and distal choices of demonstratives, temporal adverbs and locative adverbs structure narrative viewpoint, including narrative representation of character experience. The paper concludes by proposing that in the context of fictional narratives the proximal/distal contrast is more relevant to meaning emergence than individual aspects of deixis, and that the construal of time can be achieved through the whole spectrum of deictic forms, not just tense and temporal adverbs such as now and then. (shrink)

The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish the (...) scope of thequantifier. Different proofs can lead to different scopes. In eachcomplete proof, the properties of linear logic ensure thatquantifiers are properly scoped. (shrink)

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

In this paper, I present and defend an explication of content in terms of the mathematical notion of information. In its most general formulation, the theory says that two states have the same content just in case they carry the same information, relative to a communication network. My account reifies content (it is the discrete counterpart to continuous information) and supports the idea that agents have internal means of comparing the contents of two thoughts. Further, it makes sense to say (...) that agents have communicated successfully when they coordinate on content in this sense; they have transmitted information without loss. (shrink)

Causal pluralists hold that that there is not just one determinate kind of causation. Some causal pluralists hold that ‘cause’ is ambiguous among these different kinds. For example, Hall (2004) argues that ‘cause’ is ambiguous between two causal relations, which he labels dependence and production. The view that ‘cause’ is ambiguous, however, wrongly predicts zeugmatic conjunction reduction, and wrongly predicts the behaviour of ellipsis in causal discourse. So ‘cause’ is not ambiguous. If we are to disentangle causal pluralism from the (...) ambiguity claim, we need to consider what other linguistic approaches are available to the causal pluralist. I consider and reject proposals that ‘cause’ is a general term, that the term is an indexical, and that the term conveys different kinds of causation through implicature or presupposition. Finally, I argue that causal pluralism is better handled by treating ‘cause’ as a univocal term within a dynamic interpretation framework. (shrink)

This paper considers negative triggers and the interpretation of simple sentences containing more than one occurrence of those items . In the most typical interpretations those sentences have more negative expressions than negations in their semantic representation. It is first shown that this compositionality problem remains in current approaches. A principled algorithm for deriving the representation of sentences with multiple negative quantifiers in a DRT framework is then introduced. The algorithm is under the control of an on-line check-in, keeping the (...) complexity of negation auto-embedding below a threshold of complexity. This mechanism is seen as a competence limitation imposing the ‘abrogation of compositionality’ observed in the so-called negative concord readings . A solution to the compositionality problem is thus proposed, which is based on a control on the processing input motivated by a limitation of the processing mechanism itself. (shrink)

To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. (...) We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs. (shrink)

This paper offers a semantically-based solution to the problem of predicting whether a verb will display the subjective conjugation or the objective conjugation in Hungarian. This alternation correlates with the definiteness of the object, but definiteness is not a completely reliable indicator of the subjective/objective alternation, nor is specificity. A prominent view is that the subjective/objective alternation is conditioned by the syntactic category of the object, but this view has also been shown to be untenable. This paper offers a semantic (...) solution: If the referential argument of a phrase is lexically specified as familiar/new, then the phrase bears the feature [+DEF]/[−DEF], and this feature governs the conjugations. The notions of novelty and familiarity are made precise using a compositional version of DRT in the context of a suitably large fragment of Hungarian, including local and non-local personal pronouns, demonstratives, definite and indefinite articles, quantifiers, wh-words, numerals, and possessives. (shrink)

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

In this paper we show that focus structure determines the interpretation of bare plurals in English: topic bare plurals are interpreted generically, focused bare plurals are interpreted existentially. When bare plurals are topics they must be specific, i.e. they refer to kinds. After type-shifting they introduce variables which can be bound by the generic quantifier, yielding characterizing generics. Existentially interpreted bare plurals are not variables, but denote properties that are incorporated into the predicate.The type of predicate determines the interpretation of (...) its bare plural subject. The individual/stage-level distinction, though important, is not sufficient: since only arguments can be topics, only those stage-level predicates which have locative arguments can have existential bare plural subjects.Certain verbs (e.g., hate) fail to incorporate their bare plural objects; therefore no existential reading of the object is available. We provide a novel solution to this puzzle based on the following two claims: (i) incorporated bare plurals do not introduce discourse referents; (ii) nonincorporating verbs are presuppositional. (shrink)

Strawson :96–118, 1964) argued that definite NPs trigger presuppositions as an aspect of their conventional meanings, and this semantic conception of presupposition triggers is incorporated into the binding theory of presuppositions. The phenomenon of presupposition denials, however, presents a problem for the semantic conception of presupposition triggers, for in such denials the alleged semantic presuppositions seem to be “cancelled” by a negation operator. Geurts :274–307, 1998; Presupposition and pronouns, 1999) attempts to solve this problem by utilizing the binding theory’s allowance (...) for local accommodation. Geurts’ proposal, however, is inadequate, primarily because Geurts formulates the binding theory within discourse representation theory, which makes no allowance for the illocutionary force of denial. Asher and Lascarides’ segmented discourse representation theory, however, has the resources to account for the illocutionary force of denial. Utilizing a version of SDRT I demonstrate that the “cancelling” of a presupposition by echoic negation in presupposition denials crucially depends upon the denial of information that is pragmatically communicated by accommodation. (shrink)

We develop an analysis of discourse anaphora—the relationship between a pronoun and an antecedent earlier in the discourse —using games of partial information. The analysis is extended to include information from a variety of different sources, including lexical semantics, contrastive stress, grammatical relations, and decision theoretic aspects of the context.

This paper presents a novel analysis of Sluicing, an ellipsis construction first described by Ross (1969) and illustrated by the bracketed portion ofI want to do something, but I'm just not sure [what _]. Starting from the assumption that a sluice consists of a displaced Wh-constituent and an empty IP, we show how simple and general LF operations fill out the empty IP and thereby provide it with an interpretable Logical Form. The LF operations we appeal to rely on the (...) influential theory of indefinites developed by Irene Heim and Hans Kamp, and are in harmony with certain aspects of Chomsky's Minimalist Program for linguistic theory. The analysis accounts directly for the familiar properties of Sluicing, as well as some facts which have not previously been observed. (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)

Some utterances of imperative clauses have directive force—they impose obligations. Others have permissive force—they extend permissions. The dominant view is that this difference in force is not accompanied by a difference in semantic content. Drawing on data involving free choice items in imperatives, I argue that the dominant view is incorrect.

This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice—something you do with a sentence—(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is sufficiently rich to fully characterize the class of classical (...) first order theories. The analysis thus provides a way of characterizing classical first order quantification by expressivist means. (shrink)

In recent years, our understanding of how tense systems vary across languages has been greatly advanced by formal semantic study of languages exhibiting fewer tense categories than the three commonly found in European languages. However, it has also often been reported that languages can sometimes distinguish more than three tenses. Such languages appear to have ‘graded tense’ systems, where the tense morphology serves to track how far into the past or future a reported event occurs. This paper presents a formal (...) semantic analysis of the tense-aspect system of Gĩkũyũ , a Northeastern Bantu language of Kenya. Like many languages of the Bantu family, Gĩkũyũ appears to exhibit a graded tense system, wherein four grades of past tense and three grades of future tense are distinguished. I argue that the prefixes traditionally labeled as ‘tenses’ in Gĩkũyũ exhibit important differences from tenses in languages like English. Although, like tenses in English, these ‘temporal remoteness prefixes’ in Gĩkũyũ introduce presuppositions regarding a temporal parameter of the clause, in Gĩkũyũ these presuppositions concern the ‘event time’ of the clause directly, rather than the ‘topic time’. Consequently, the key difference between Gĩkũyũ and languages like English lies not in how many tenses are distinguished, but in whether tense-like features are able to modify other, lower verbal functional projections in the clause. (shrink)

Providing a compositional interpretation procedure for discourses in which descriptions of complex dependencies between interrelated objects are incrementally built is a key challenge for formal theories of natural language interpretation. This paper examines several quantificational phenomena and argues that to account for these phenomena, we need richly structured contexts of interpretation that are passed on between different parts of the same sentence and also across sentential boundaries. The main contribution of the paper is showing how we can add structure to (...) contexts in an incremental way, starting with the basic notion of context in classical first-order logic, i.e., interpretation contexts formalized as single total variable assignments. (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)

I criticized Jeffrey King’s theory of complex demonstratives in “Problems for a Quantificational Theory of Complex Demonstratives.” King replied in “Complex Demonstratives as Quantifiers: Objections and Replies.” I here comment on some of King’s replies.

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)

This paper presents a semantic and pragmatic theory of complex demonstratives. According to this theory, the semantic content of a complex demonstrative, in a context, is simply an object, and the semantic content of a sentence that contains a complex demonstrative, in a context, is a singular proposition. This theory is defended from various objections to direct reference theories of complex demonstratives, including King's objection from quantification into complex demonstratives.

The grammatical constraints on anaphoric binding, known as binding principles, are observed to form a classical square of oppositions. These constraints are then analysed as the effect of phase quantifiers over reference markers in grammatical obliqueness hierarchies, and the resulting phase quantifiers are shown to be organised in a square of logical duality. The impact of this result on the distinction between quantificational and referential nominals as well as on the logical foundations of the semantics of nominals in general is (...) discussed. (shrink)

Textual representation of graphene in Sweden’s most circulated newspapers is analyzed in 229 articles from 2004 to 2018. What is and is not said about graphene is explored through systematically identifying the lexical and grammatical patterns of sentences using the word “graphene.” Graphene is said to be a super material with certain properties, to be an object of research, commercialization, and application, and to have societal significance. Given frequent classifications of graphene as a nanomaterial in scientific discourse, there is notably (...) limited reference to graphene as “nano” in the newspapers and only marginal reference to risk. This paper discusses the findings regarding this Swedish newspaper discourse on graphene in relation to its intertextuality, i.e., how texts draw upon and recontextualize other texts: the Swedish newspaper discourse on graphene echoes discourses of promise formulated elsewhere in society; it is not very diversified in terms of themes; it is dominated by positive and neutral representations rather than by risk; and it makes limited reference to the nano-discourse, even though, according to most definitions, graphene is a nanomaterial. (shrink)

There are languages – e.g., German, Inuktitut, andRussian – in which the aspectual reference of clausesdepends on the telicity of their event predicates. Weargue that in such languages, clauses or verb phrasesnot overtly marked for viewpoint aspect implicateor entail `event realization'', a property akin toParsons''s (1990) `culmination''. The aspectualreference associated with the use of clauses notovertly marked for aspect is computed in accordancewith the dependence of realization conditions ontelicity and in line with principles of Gricean pragmatics.We formalize event realization and (...) capture thetelicity-dependent patterns of aspectual reference onwhich it is based by combining Krifka''s (1989, 1992,1998) event lattices with a model-theoreticinterpretation of Klein''s (1994) theory of tense andaspect. The latter permits us to treat the `topic times''of aspectual operators as temporal constraints on event realization. (shrink)

Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailor made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. (...) Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems. (shrink)

In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, a possibility noted (...) by Prior and demanded by Comrie, and we sketch how this schema can be generalized to a shift-and-restrict pattern in which special propositional symbols act as restrictors on the range of tense operators. (shrink)

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

In this paper we are going to show that error coping strategies play an essential role in linguistic pragmatics. We study the effect of noisy speaker strategies within a framework of signalling games with feedback loop. We distinguish between cases in which errors occur in message selection and cases in which they occur in signal selection. The first type of errors affects the content of an utterance, and the second type its linguistic expression. The general communication model is inspired by (...) the Shannon–Weaver communication model. We test the model by a number of benchmark examples, including examples of relevance implicatures, quantity implicatures, and presupposition accommodation. (shrink)

We give a condensed survey of recent research on generalized quantifiers in logic, linguistics and computer science, under the following headings: Logical definability and expressive power, Polyadic quantifiers and linguistic definability, Weak semantics and axiomatizability, Computational semantics, Quantifiers in dynamic settings, Quantifiers and modal logic, Proof theory of generalized quantifiers.

In this paper the Centering model of anaphoraresolution and discourse coherence(Grosz et al. 1983, 1995)is reformulated in terms of Optimality Theory (OT)(Prince and Smolensky 1993). One version of the reformulated modelis proven to be descriptively equivalent to an earlier algorithmicstatement of Centering due to Brennan, Friedman and Pollard(1987). However, the new model is stated declaratively, and makesclearer the status of the various constraints used in the theory. Inthe second part of the paper, the model is extended, demonstratingthe advantages of the (...) OT reformulation, and capturing formallyideas originally described by Grosz, Joshi and Weinstein. Three newapplications of the extended OT Centering model are described:generation of linguistic forms from meanings, the evaluation andoptimization of extended texts, and the interpretation of accentedpronouns. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)