The goal of this paper is an account of the semantics and pragmatics of exclamation. I focus on two key observations: first, that sentence exclamations like Wow, John bakes delicious desserts! and exclamatives like What delicious desserts John bakes! express that a particular proposition has violated the speaker’s expectations; and second, that exclamatives are semantically restricted in a way that sentence exclamations are not. In my account of these facts, I propose a characterization of illocutionary force of exclamation, a function (...) from propositions to speech acts of exclamation. The difference in meaning between sentence exclamations and exclamatives has consequences for the type of violated expectation. I end with a comparison to some previous approaches and a tentative extension of parts of the analysis to other constructions. (shrink)

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.

This paper has two goals. The first is to formulate an adequate account of the semantics of the progressive aspect in English: the semantics of Agatha is making a cake, as opposed to Agatha makes a cake. This account presupposes a version of the so-called Aristotelian classification of verbs in English into EVENT, PROCESS and STATE verbs. The second goal of this paper is to refine this classification so as to account for the infamous category switch problem, the problem of (...) how it is that modification of a verb like run by an adverbial like to the store can turn a PROCESS phrase (run) into an EVENT phrase (run to the store). Views discussed include those of Aqvist, Bach, Bennett, Bennett and Partee, Dowry, Montague and Scott, and Vendler. (shrink)

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

As an empirical inquiry into the nature of meaning, semantics must rely on data. Unfortunately, the primary data to which philosophers and linguists have traditionally appealed—judgments on the truth and falsity of sentences—have long been known to vary widely between competent speakers in a number of interesting cases. The present article constitutes an experiment in how to obtain some more consistent data for the enterprise of semantics. Specifically, it argues from some widely accepted Gricean premises to the conclusion that judgments (...) on lying are semantically relevant. It then endeavors to show how, assuming the relevance of such judgments, we can use them to generate a useful, widely acceptable test for semantic content. (shrink)

This paper argues for the hypothesis of direct compositionality (as in, e.g., Montague 1974), according to which the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax. (This thus obviates the need for any level like LF and, concomitantly, for any rules mapping surface structures to such a level.) I focus here on one related group of (...) phenomena: the interaction of "paycheck" pronouns with Weak Crossover effects and i-within-i effects. These interactions were studied in Jacobson (1977) as they show up in Back-Peters sentences. There I argued that these interactions show that paycheck pronouns have a complex representation at LF; here I show that all of the observations in this earlier work are compatible with the hypothesis of direct compositionality. The key tool is the adoption of a variation-free semantics (a semantics which makes no use of variables as part of the semantic machinery). In addition to the general consequences for the syntax/semantics interface, there are two other main results. First, I provide new arguments for a variable-free semantics. For example, it will be shown that under this view the paycheck reading of a pronoun comes for free; most other theories posit additional mechanisms and/or an additional lexical meaning for pronouns, and thus paycheck and regular pronouns are only accidentally homophonous. Second, I reiterate one of the central points in Jacobson (1977): this is that the first pronoun in a Bach-Peters sentence is indeed a paycheck pronoun, and hence nothing special needs to be said about these sentences nor does any new machinery need to be invoked for them. (shrink)

In this paper, we argue that there are more kinds of relative clause constructions between the linguistic heaven and earth than are dreamed of in the classical lore, which distinguishes just restrictive relative clauses and appositives. We start with degree relatives. Degree, or amount, relatives show restrictions in the relativizers they allow, in the determiners that can combine with them, and in their stacking possibilities. To account for these facts, we propose an analysis with two central, and novel, features: First, (...) we argue that the standard notion of degree (a number on a measuring scale) needs to be replaced by a notion of structured degree, which keeps track of the object measured. Second, we argue that at the CP-level of degree relatives an operation of (degree) maximalization takes place. We show that the observed facts concerning degree relatives follow from these assumptions. We then broaden the discussion to other relative clause constructions. We propose that the operation of maximalization takes place in relative clauses when the head noun is semantically interpreted CP-internally, while syntactically the CP is part of a DP that also contains CP-external material. Based on this, we argue that degree relatives form part of a linguistically coherent class of relative clause constructions -- we call them maximalizing relatives -- which all show restrictions similar to those observed for degree relatives, and which differ semantically (and often also syntactically) both from restrictive relative clauses and from appositives. We discuss free relatives, internally-headed relatives, and correlatives. (shrink)

Nakanishi :115–136, 2012) presents a novel argument for the so-called scope theory of English sentential even, based on examples with antecedent-contained deletion. Nakanishi’s argument is based on the assumption that even cannot associate with a focus which has moved out of its LF scope. I show that this assumption is incorrect, defusing Nakanishi’s argument. I propose that when even associates with a focus which has moved out of its surface scope, it actually associates with focused material in the lower copies (...) of movement. I show that a closer look at ACD examples of Nakanishi’s type in fact yields a new argument against the scope theory. I conclude that English sentential even must always be interpreted in its pronounced position. The patterns of focus association with even presented here constitute a new argument for the copy theory of movement. (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)

In the last decade the enterprise of formal semantics has been under attack from several philosophical and linguistic perspectives, and it has certainly suffered from its own scattered state, which hosts quite a variety of paradigms which may seem to be incompatible. It will not do to try and answer the arguments of the critics, because the arguments are often well-taken. The negative conclusions, however, I believe are not. The only adequate reply seems to be a constructive one, which puts (...) several pieces of formal semantics, in particular dynamic semantics, together again.In this paper I will try and sketch an overview of tasks, techniques, and results, which serves to at least suggest that it is possible to develop a coherent overall picture of undeniably important and structural phenomena in the interpretation of natural language. The idea is that the concept of meanings as truth conditions after all provides an excellent start for an integrated study of the meaning and use of natural language, and that an extended notion of goal directed pragmatics naturally complements this picture. None of the results reported here are really new, but we think it is important to re-collect them. (shrink)

Beginning with analyses of English generic sentences and English plural indefinite noun phrases (e.g.dogs), we proceed to apply mechanisms there motivated to a characterization of atemporalwhen, a sense ofwhen which does not appear to involve time. Dealt with are such examples as Dogs are intelligent when they have blue eyes, and their relationships to examples like Dogs that have blue eyes are intelligent. The proposed treatment of atemporalwhen helps motivate the existence of a generic verb phrase operator in English, as (...) well as the treatment of indefinite plural noun phrases as disguised definite descriptions. (shrink)

Situation semantics as conceived in Kratzer (1989) has been shown to be a valuable companion to the e-type pronoun analysis of donkey sentences (Heim 1990, and recently refined in Elbourne 2001b), and more generally binding out of DP (BOOD; Tomioka 1999; Büring 2001). The present paper proposes a fully compositional version of such a theory, which is designed to capture instances of crossover in BOOD.

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

Proceedings of the 11th Semantics and Linguistic Theory Conference, held May 11-13, 2001, at New York University.

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. In this paper, we present a model of a new type of intertheoretic relation, called 'Montague Reduction', which is assumed in Montague's framework for the analysis and interpretation of natural language syntax. To motivate the adoption of our new model, we show that this model extends (...) the scope of application of the Nagelian (or related) models, and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework. (shrink)