A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...) axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses. (shrink)

This paper explores an understudied and poorly understood phenomenon of morphological syncretism in which a morpheme otherwise used to mark the head of a possessive NP appears on words naming property concept (PC) states (states named by adjectives in languages with that lexical category; Dixon, Where have all the adjectives gone? And other essays in Semantics and Syntax, 1982) in predicative and attributive contexts. This phenomenon is found across a variety of unrelated languages. We examine its manifestation in Ulwa, an (...) endangered Misumalpan language of Nicaragua, where diachronic evidence clearly shows that a single affix is involved. We propose an explanation for the syncretism based on an explicit syntactic and semantic analysis of the relevant constructions. On the proposed explanation, the syncretism arises out of a combination of semantic and morphosyntactic facts of Ulwa grammar. Specifically, we propose that the Ulwa pattern exemplifies a possessive strategy of predication. Intuitively, this strategy is a manifestation in grammar of the idiomatic equivalence between the property of being F and the property of having F-ness. (shrink)

Predicates such as tall or to know Latin, which intuitively denote permanent properties, are called individual-level predicates. Many peculiar properties of this class of predicates have been noted in the literature. One such property is that we cannot say #John is sometimes tall. Here is a way to account for this property: this sentence sounds odd because it triggers the scalar implicature that the alternative John is always tall is false, which cannot be, given that, if John is sometimes tall, (...) then he always is. This intuition faces two challenges. First: this scalar implicature has a weird nature, since it must be surprisingly robust (otherwise, it could be cancelled and the sentence rescued) and furthermore blind to the common knowledge that tallness is a permanent property (since this piece of common knowledge makes the two alternatives equivalent). Second: it is not clear how this intuition could be extended to other, more complicated properties of individual-level predicates. The goal of this paper is to defend the idea of an implicature-based theory of individual-level predicates by facing these two challenges. In the first part of the paper, I try to make sense of the weird nature of these special mismatching implicatures within the recent grammatical framework for scalar implicatures of Chierchia (Structures and beyond, 2004) and Fox (2007). In the second part of the paper, I show how this implicature-based line of reasoning can be extended to more complicated properties of individual-level predicates, such as restrictions on the interpretation of their bare plural subjects, noted in Carlson (Reference to kinds in English. Doctoral dissertation, University of Massachusetts at Amherst, 1977), Milsark (Linguistic Analysis 3.1: 1–29, 1977), and Fox (Natural Language Semantics 3: 283–341, 1995); restrictions on German word order, noted in Diesing (Indefinites, 1992); and restrictions on Q-adverbs, noted in Kratzer (The Generic Book, ed. Carlson and Pelletier, 125–175, 1995). (shrink)

Semitic templates systematically encode two dimensions of verb meaning: (a) agency, the thematic role of the verb’s external argument, and (b) voice. The assumption that this form-meaning correspondence is mediated by syntax allows the parallel compositional construction of the form and the meaning of a verb from the forms and the meanings of its root and template. The root and its arguments are optionally embedded under a light verb v which introduces the agent (Hale and Keyser 1993; Kratzer 1994). But (...) this is only the unmarked case, which, in Semitic, is encoded by the simple templates. Two dimensions of markedness are introduced by two additional types of syntactic heads: (a) agency heads, which modify agency and are morphologically realized as the intensive and causative templates, and (b) voice heads, which modify voice and are morphologically realized as the passive and middle templates. Causative and middle morphemes are thus accounted for within a unified system, which, first, explains their affinity in language in general (both are found crosslinguistically as markers of transitivity alternations), and which, moreover, sheds new light on problems in the interface of semantics and morphology. One problem is the impossibility, mostly ignored in linguistic theory, of deriving the semantics of middle verbs from that of the corresponding transitive verbs. The second is explaining the identity found crosslinguistically between middle and reflexive morphology. The third is determining the grammatical function of the causee in causative constructions. (shrink)

Following González Vergara (2006a, 2009, 2012), the presence of the morpheme se in Spanish is explained by a lexical phenomenon that modifies the logical structure of sentences in which it appears. This phenomenon decreases the importance of the Actor and favors the Undergoer. According to this proposal, this phenomenon expresses itself, in most of the Spanish sesentences, as a lexical rule that makes unspecific the highest ranking argument. Taking the above as a basis, this paper explores and proposes explanations for (...) se alternating verbs of the type of matar(se), morir(se), dormir(se), despertar(se), terminar(se), adelgazar(se), engordar(se), envejecer(se), mejorar(se), controlar(se), crecer(se) y aparecer(se) in the framework of the Role and Reference Grammar. (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)

I discuss two competing theories of the progressive: the theory proposed in Parsons (1980, 1985, 1989, 1990) and the theory proposed in Landman (1992). These theories differ in more than one way. Landman regards the progressive as an intentional operator, while Parsons doesn't. Moreover, Landman and Parsons disagree on what uninflected predicates denote. For Landman, cross the street has in its denotation complete events of crossing the street; the aspectual contribution of English simple past (perfective aspect) is the identity function. (...) For Parsons, both complete and incomplete events of crossing the street can be in the denotation of the base VP; perfective aspect restricts its denotation to the events that culminate. I present a version of ParsonÕs theory that avoids the problems raised by Landman, in particular the problem posed for Parsons by creation verbs. The repaired version and Landman's theory still differ in the way they analyze uninflected verbs. The repaired version and Landman's theory still differ in the way they analyze uninflected predicates. I present evidence from Slavic languages that both theories are needed. Finally, I discuss some evidence that may favor one or the other approach to the semantics of the English progressive. (shrink)

The proponents of strong lexicalism hold the view that “words” are formed in the lexicon and are opaque for the syntax ((Dowty 1979), (DiSciullo and Williams 1987), (Jackendoff 1990) and many others). Modular morphology, on the other hand, offers the possibility that at least some words are partially formed in the syntax ((Baker 1988), (Borer 1988), (Hale and Keyser 1994), (Chomsky 1995) and many others). In (Stechow 1995) and (Stechow 1996) it has been argued that facts observed with German wieder (...) “again” cannot be accounted for within the framework of strong lexicalism and therefore favour the second position. The authors of this paper want to check these claims by investigating the behaviour of the German adverb fast “ almost”, the other classical adverb to which the method of decomposition has been applied in the linguistic literature (cf. (McCawley 1971)). Most adverbs cannot look into lexical decomposition structures, but some can. In order to have a suitable name, let us call these D-adverbs. Again and almost are the prototypical representatives of this class. The method adopted is to investigate whether fast has access to different aspects of verbal meaning depending on its position. Following (Dowty 1979), resultative verbs and prepositions are decomposed into BECOME + XP, where XP is the result state. Agentive verbs contain an additional AGENT part. Other thematic relations connecting the subject and the event are HOLDER and cause. If the syntax tells us that an adverb like wieder or fast must have wide scope with respect to BECOME, then we expect other readings than in a configuration where fast can have narrow scope with respect to BECOME. In other words, the motivation for decomposition is syntactic and semantic. The idea is that certain function projections in the classical VP have a meaning and hence scopally interact with adverbs. (shrink)

This paper investigates the semantics of derived statives, deverbal adjectives that fail to entail there to have been a preceding (temporal) event of the kind named by the verb they are derived from, e.g. darkened in a darkened portion of skin. Building on Gawron’s (The lexical semantics of extent verbs, San Diego State University, ms, 2009) recent observations regarding the semantics of extent uses of change of state verbs (e.g., Kim’s skin darkens between the knee and the calf) and Kennedy (...) and Levin’s (Adjectives and adverbs: syntax, semantics and disclosure, Oxford University Press, Oxford, 2008) theory of change, it is shown, contrary to previous analyses, that a fully compositional semantic analysis is possible, and thus that there is no argument from derived statives for word formation differing from semantic composition above the word level in requiring deletion operations, as in Dubinsky and Simango’s (Language 72:749–781, 1996) analysis. Further, such an analysis, by contrast with previous ones, both compositional (Jackson in Resultatives, derived statives, lexical semantic structure, Doctoral dissertation, UCLA, 2005b; Condoravdi and Deo in Proceedings of the 18th International Congress of Linguists (CIL 18), Seoul, 2008 and non-compositional (Dubinsky and Simango 1996), correctly predicts, as shown by a range of arguments, that the meaning of the derived stative contains the meaning of the verb it is derived from and that it therefore contrasts fundamentally with morphologically simple adjectives in the kind of meaning that it has. (shrink)

This paper investigates the semantics of tense and aspect in Romance languages. Its goal is to develop a compositional, model-theoretic semantics for tense and temporal adverbs which is sensitive to aspectual distinctions. I will consider durative adverbial distributions and aspectual contrasts across different morphological tense forms. I will examine tense selection under habitual meanings, generic meanings and state of result constructions. In order to account for these facts I will argue that temporal homogeneity plays a fundamental role in tense selection (...) in Romance languages. (shrink)

cal practice: the enterprise of specifying information about the world for use in computer systems. Knowledge representation as a field also encompasses conceptual results that call practitioners’ attention to important truths about the world, mathematical results that allow practitioners to make these truths precise, and computational results that put these truths to work. This chapter surveys this practice and its results, as it applies to the interpretation of natural language utterances in implemented natural language processing systems. For a broader perspective (...) on such technical practice, in all its strengths and weaknesses, see (Agre 1997). Knowledge representation offers a powerful general tool for the science of language. Computational logic, a prototypical formalism for representing knowledge about the world, is also the model for the level of logical form that linguists use to characterize the grammar of meaning (Larson and Segal 1995). And researchers from (Schank and Abelson 1977) to (Shieber 1993) and (Bos to appear) have relied crucially on such representations, and the inference methods associated with them, in articulating accounts of semantic relations in language, such as synonymy, entailment, informativeness and contradiction. The new textbooks (Blackburn and Bos 2002a, Blackburn and Bos 2002b) provide an excellent grounding in this research, and demonstrate how deeply computational ideas from knowledge representation can inform pure linguistic study. In this short chapter, I must leave much of.. (shrink)

The goal of this dissertation is twofold. First, we aim to identify the source of distributivity in natural language. Our hypothesis is that throughout the grammar, distributivity can be tracked down to a single operator. Two converging lines of reasoning help us identify this operator. One line emerges as a result of generalizing and unifying previously disparate treatments of distributivity in the domain of nominal quantifiers. The other line comes from analyzing the meaning of durative adverbials, with special attention to (...) their interaction with cumulative readings. Second, we aim to provide a unified formal semantic framework for the treatment of interactions between verbs and their arguments, most importantly aspect, plurality, and quantification, and to shed light on the way in which thematic arguments are associated with the verb in the lexicon and in the compositional process. Although existing frameworks deal with parts of this picture, no such unified framework exists to date. The theoretical results presented in this proposal include a novel argument in favor of a quantificational analysis of durative adverbials (Dowty, 1979; Moltmann, 1991); a novel account of cumulativity and distributivity that covers both the two-quantifier and three-quantifier case in the nominal domain, including readings prominently discussed by Schein (1993); a reason for severing not only the external, but also the internal argument from the semantics of the verb, in response to Kratzer (1996); and the first event-based semantics for Tree-adjoining grammar (TAG, Joshi et al., 1975). (shrink)

In this talk, I first systematize the analogies and complete the picture in some corners. Then, I formally relate the three constructions, and I derive their properties from a single operator. Previous analyses were not designed to account for all three constructions at the same time. Accordingly, I not only assess how well they generalize beyond their intended purpose, but I also evaluate them in their own right. Even so, this analysis improves on previous accounts in several ways. Although I (...) will not focus on this in the talk, the analysis of distributive quantification is compatible with more general analyses of cumulative and collective quantification such as Landman (2000). (shrink)

The traditional answer is: they must be atelic. But as we will see, this notion is imprecise. We will improve on it, without rejecting it. (Basically we’ll end up with temporally vs. spatially telic.).

Current theories make a distinction between two types of case, STRUCTURAL case and INHERENT (or LEXICAL) case (Chomsky 1981), similar to the older distinction between GRAMMATICAL and SEMANTIC case (Kuryłowicz 1964).1 Structural case is assumed to be assigned at S-structure in a purely configurational way, whereas inherent case is assigned at D-structure in possible dependence on the governing predicates’s lexical properties. It is well known that not all cases fall cleanly into this typology. In particular, there is a class of (...) cases that pattern syntactically with the structural cases, but are semantically conditioned. These cases however depend on different semantic conditions than inherent cases do: instead of being sensitive to the thematic relation that the NP bears to the verbal predicate, they are sensitive to the NP’s definiteness, animacy, or quantificational properties, or to the aspectual character of the VP, or to some combination of these factors. The Finnish partitive is a particularly clear instance of this apparently hybrid category of semantically conditioned structural case. (shrink)

In English, the present perfect, unlike future, past, and non-finite perfects, cannot be modified by so-called ‘positional’ adverbials (Comrie 1976, McCoard 1978, a.o.). This phenomenon is known as the present perfect puzzle (Klein 1992).

Ich verteidige in diesem Aufsatz die These, daß die Kernbedeutung des deutschen Perfekts ein Extended Now im Sinne von McCoard (1978) ist. Es handelt sich dabei um ein Intervall, das die Referenzzeit r als rechte Grenze hat und in eine kontextuell oder lexikalisch begrenzte Vergangenheit reicht. r selbst gehört mit zum Intervall. Ich nenne dieses Intervall XNP(r). Für das Futur ist ein analoges Intervall anzunehmen, welches die Referenzzeit als linke Grenze hat, in die Zukunft reicht und das XNF(r) genannt wird. (...) Auch hier gehört r mit zum Intervall. (shrink)

There are numerous occasions on which we need to reason about a finite number of events. And we often need to consider only those events which are given or which we perceive. These give rise to the Criteria of Finiteness and Closedness. Allen's logic provides a way of reasoning about events. In this paper I examine Allen and Hayes' axiomatisation of this logic, and develop two other axiomatisations based on the work by Russell and Thomason. I shall show that these (...) three axiomatisations are weakly equivalent, and that only the last two meet the Criteria of Finiteness and Closedness (to different degrees). I shall then examine two ways of constructing instants of time in a finite and closed world, i.e. the Russell construction and the Thomason construction. I shall prove that these two constructions are equivalent under certain conditions. (shrink)

This paper offers a new unified theory about the meaning of the imperfective and progressive aspects that builds on earlier of analyses in the literature that treat the imperfective as denoting a universal quantifier (e.g. Bonomi, Linguist Philos, 20(5):469–514, 1997; Cipria and Roberts, Nat Lang Semant 8(4):297–347, 2000). It is shown that the problems associated with such an analysis can be overcome if the domain of the universal quantifier is taken to be a partition of a future extending interval into (...) equimeasured cells. Treating the partition-measure (the length of each partition-cell) as a contextually dependent variable allows for a unified treatment of the habitual and event-in-progress readings of the imperfective. It is argued that the contrast between the imperfective and the progressive has to do with whether the quantifier domain is a regular partition of the reference interval or a superinterval of the reference interval. (shrink)

This paper is mainly concerned with tense in embedded constructions. I believe that recent research – notably the work by Ogihara (1989) and Abusch (1993) – has contributed much to our better understanding of its semantics. The proposals made by the two authors are, however, still too simplistic in some regards. Among other things, they neglect the interplay of tense with temporal adverbs of quantification and with frame-setters. To get this composition right is a touchstone for every theory of tense (...) and tense semanticists have been concerned with this problem from the beginning on, as witnessed by the analyses in Kratzer (1978), Bäuerle (1979), Dowty (1979/1982), to mention a few. (shrink)

Both formal semantics and cognitive semantics are the source of important insights about language. By developing precise statements of the rules of meaning in fragmentary, abstract languages, formalists have been able to offer perspicuous accounts of how we might come to know such rules and use them to communicate with others. Conversely, by charting the overall landscape of interpretations, cognitivists have documented how closely interpretations draw on the commonsense knowledge that lets us make our way in the world. There is (...) no opposition between these insights. Sooner or later we will have a semantics that responds to both. However, developing such a semantics is profoundly difficult, because there are certain tensions to be overcome in reconciling the two perspectives. For one thing, the overall landscape of meaning does seem to be characterized by a much richer ontology and more dynamic categories than are exhibited by the fragments typically studied in the formal tradition. One sign of strain is the recent tendency to talk of “procedural”, “non-compositional”, or “computational” semantics, as in Hamm, Kamp and van Lambalgen 2006, hereafter HK&vL. We think such locutions can serve as useful reminders to keep semantics fixed on the central question of how language allows us to share information that some have and others need to get. However, there is some danger that formalists will merely by put off by an idea that, taken literally, may not be such a good one. In this short article, we want to explore and defend the traditional realist view attributed by HK&vL to Lewis among others. In fact, this view offers a well-developed, extremely straightforward and robust account of the relation between semantics and cognition. Moreover, while the realist view has ways of accommodating the representationalist insights of DRT (Lewis 1979; Thomason 1990; Stalnaker 1998), it remains unclear how “computational” semantics can account for the key data for the realist view: cases where we judge interlocutors to be ignorant about aspects of meaning in their native language (Kripke 1972; Putnam 1975; Stalnaker 1979; Williamson 1994).. (shrink)

Languages encode motion in strikingly different ways. Languages such as English communicate the manner of motion through verbs (e.g., roll, pop), while languages such as Greek often lexicalize the path of motion in verbs (e.g., ascend, pass). In a set of studies with English- and Greek-speaking adults and 5-year-olds, we ask how such lexical constraints are combined with structural cues in hypothesizing meanings for novel motion verbs. We show that lexicalization biases generate different interpretations of novel motion verbs across ages (...) and languages; furthermore, they generalize to the domain of caused motion. Crucially, these language-specific effects interact with universal mappings between syntactic structure and semantic content, and these interactions are respected by both adults and young children. (shrink)

“Philosophy of action” is a recognized specialty in contemporary philosophy, and the literature on action is fairly extensive: see, for instance, (Care & Landesman 1968; Goldman 1970; Hornsby 1980). The relation of actions to their effects is formulated most clearly in the more specialized literature on the logic of action; see (Belnap & Perloff 1988; Chellas 1992; Czelakowski 1996; Segerberg 1982).

The fundamental fact that any theory of case must address is that morphological form and syntactic function do not stand in a one-to-one correspondence, yet are systematically related.1 Theories of case differ in whether they define case categories at a single structural level of representation, or at two or more levels of representation. For theories of the first type, the mismatches raise a dilemma when morphological form and syntactic function diverge. Which one should the classification be based on? Generally, such (...) single-level approaches determine the case inventory on the basis of morphology using paradigmatic contrast as the basic criterion, and propose rules or constraints that map the resulting cases to grammatical relations. (shrink)

In this paper, we contrast English and Greek resultative secondary predication, showing that Greek lacks the productive syntactic strategy which English employs. We propose that the difference in productivity should be attributed to properties of the morphology in the two languages (namely, to the differing productivity of certain verbal affixes). Finally, we give a compositional semantics for the complex event formation in the morphology/syntax that accounts for the contrasts between resultatives in English and Greek.

Reichenbach's event, reference and speech times are interpreted semantically by stringing and superposing sets of temporal formulae, structured within regular languages. Notions of continuation branches and of inertia, bound (in a precise sense) by reference time, are developed and applied to the progressive and the perfect.

There are at least five kinds of causative constructions in Chinese, the constructions of the collocation of verbs and prepositional phrases, verb-copying constructions, “ba” constructions with an object ahead, verb-copying constructions with their complements, and pivotal constructions with commands. But the current type-logical grammar has no tools representing the meanings of causative constructions. It would be neither intuitive nor simple to describe these constructions by means of the current type-logical grammar. So we intend to improve the type-logical grammar by adding (...) CAUSE as a logical constant, complementing the structure rules about the movement and addition or deletion of some components of causative constructions, assigning categories to Chinese nouns and prepositions; then we give an intuitive as well as simple analysis on these causative constructions. Based on this work we shall extend the multimodal system of type-logical grammar, increase structure postulates, make constraints on frame semantics, and then prove the soundness and completeness of that system. (shrink)

Events and situations are represented by strings of temporally ordered observations, on the basis of which the events and situations are recognized. Allen’s basic interval relations are derived from superposing strings that mark interval boundaries, and Kamp’s event structures are constructed as projective limits of strings. Observations are generalized to temporal propositions, leading to event-types that classify event-instances. Working with sets of strings built from temporal propositions, we obtain natural notions of bounded entailment from set inclusions. These inclusions are decidable (...) if the sets are accepted by finite automata. (shrink)

A probabilistic and counterfactual theory of causality is developed within the framework of branching time. The theory combines ideas developed by James Fetzer, Donald Nute, Patrick Suppes, Ming Xu, John Pollock, David Lewis and Mellor among others.

Sentences like (1a)-(1d) have attracted the attention of a number of authors (Jackendoff 1990, Matsumoto 1996, Talmy 1996, Gawron 2005). Each has both an event reading and a stative reading. For example, on what I’ll call the event reading of sentence (1a), a body of fog beginning in the vicinity of the pier moves pointwards, and on the other, stative reading, which I’ll call an extent reading, the mass of fog sits over the entire region between pier and point. The (...) event reading entails movement. The extent reading entails extension, the occupation of a region of space. Similarly, there is a reading of (1b) describing a crack-widening event, as well as a reading describing the dimensions of the crack, increasing in width along an axis extending from the north tower to the gate; and readings of (c) and (d) describing movement events as well as readings describing the configuration of the storm front and the snow respectively. (shrink)

While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propositional dynamic logic (PDL) to MSO over trees, Kracht (1997) noted that there are tree languages that can be defined in MSO that can only be defined in PDL by adding new features whose distribution is predictable. He named such features “inessential features”. We show that Kracht’s observation can be extended to other modal (...) logics of trees in two ways. First, we demonstrate that for each stronger logic, there exists a tree language that can only be defined in a weaker logic with inessential features. Second, we show that any tree language that can be defined in a stronger logic, but not in some weaker logic, can be defined with inessential features. Additionally, we consider Kracht’s definition of inessential features more closely. It turns out that there are features whose distribution can be predicted, but who fail to be inessential in Kracht’s sense. We will look at ways to modify his definition. (shrink)