The present paper discusses two interesting phenomena concerning phi-features on plural pronouns: plural pronouns that denote atomic individuals, and plural pronouns with more than one binder. A novel account of these two phenomena is proposed, according to which all occurrences of phi-features are both semantically and morphologically relevant. For such a ‘uniformly semantic account’ of phi-features, dependent plural pronouns constitute a theoretical challenge, while partial binding is more or less straightforwardly accounted for. In order to make sense of the semantic (...) effects of the phi-features on dependent plural pronouns, the following idea is pursued: the phi-features on a dependent plural pronoun reflect the range of values that the pronoun takes, rather than the particular value it denotes at a time. This idea is implemented in a compositional semantics by making use of choice functions. An appealing feature of the present account is that, unlike its predecessors, it accounts for dependent plural pronouns without c-commanding antecedents in essentially the same way as for those with c-commanding antecedents. It is also shown how this account of dependent plural pronouns can straightforwardly be augmented with set indices to account for partial binding. (shrink)

Linguistics and philosophy have provided distinct views on the nature of reference to individuals in language. In philosophy, in particular in the tradition of direct reference, the distinction is between reference and description. In linguistics, in particular in the tradition of generative grammar, the distinction is between pronouns and R-expressions. I argue for a third conception, grounded in dynamic semantics, in which the main watershed is between definites, which trigger presuppositions that want to be bound, and indefinites, which set up (...) new discourse referents. On this view, proper names, indexicals, and definite descriptions are all analyzed as presupposition triggers. (shrink)

Explicatures are not cancellable. Theoretical considerations.

Over the last two decades, semantic theory has been marked by a continuing shift from a static view of meaning to a dynamic one. The increasing interest in extending semantic analysis from isolated sentences to larger units of discourse has fostered the intensive study of anaphora and coreference, and this has engendered a shift from viewing meaning as truth conditions to viewing it as the potential to change the "informational context".

There is an interesting logical/semantic issue with some mathematical languages and theories. In the language of (pure) complex analysis, the two square roots of i’ manage to pick out a unique object? This is perhaps the most prominent example of the phenomenon, but there are some others. The issue is related to matters concerning the use of definite descriptions and singular pronouns, such as donkey anaphora and the problem of indistinguishable participants. Taking a cue from some work in linguistics and (...) the philosophy of language, I suggest that i functions like a parameter in natural deduction systems. This may require some rethinking of the role of singular terms, at least in mathematical languages. (shrink)

This article offers a critical examination of Kroll’s (Natural Language Semantics 16: 359–372, 2008) arguments against Elbourne’s (Situations and individuals, 2005) treatment of bishop sentences.

Proportional quantification and progressive aspect interact in English in revealing ways. This paper investigates these interactions and draws conclusions about the semantics of the progressive and telicity. In the scope of the progressive, the proportion named by a proportionality quantifier (e.g. most in The software was detecting most errors) must hold in every subevent of the event so described, indicating that a predicate in the scope of the progressive is interpreted as an internally homogeneous activity. Such an activity interpretation is (...) argued to be available for telic predicates (e.g. cross the street) because these receive a partitive interpretation except in combination with a completive operator, which asserts that the event so described has culminated. The obligatoriness of the completive operator in the preterit is shown to parametrically distinguish those languages that show completion entailments in the preterit, e.g. English, from those that do not, e.g. Malagasy, Hindi, and Japanese. (shrink)

This paper aims to clarify and resolve issues surrounding the so-called formal linking problem in interpreting the Internally Headed Relative Clause construction in Korean and Japanese, a problem that has been identified in recent E-type pronominal treatments of the construction (e.g., Hoshi, K. (1995). Structural and interpretive aspects of head-internal and head-external relative clauses. PhD dissertation, University of Rochester; Shimoyama, J. (2001). Wh-constructions in Japanese. PhD dissertation, University of Massachusetts at Amherst). In the literature, this problem refers to the difficulty (...) of capturing the delimited semantic variability of the E-type pronoun present in the embedding clause of the construction. I show that the E-type pronoun at issue is subject to a different licensing condition from a typical E-type pronoun and therefore presents a different linking problem. More specifically, it requires that the embedded clause describe a state of its antecedent and its descriptive content be supplied by a salient property represented in the logical form of the embedded clause. I propose an event-based semantic analysis that derives the effects of this novel generalization by establishing a binding relation between the event structure of the embedded clause and the denotation of the E-type pronoun. (shrink)

This paper revisits the question of whether propositions in situation semantics must be persistent [Kratzer (1989). Linguistics and Philosophy, 12, 607–653]. It shows that ignoring persistence causes empirical problems for theories which use quantification over minimal situations as a solution for donkey anaphora [Elbourne (2005). Situations and individuals. Cambridge, Mass.: MIT Press]. At the same time, modifying these theories to incorporate persistence makes them incompatible with the use of situations for contextual restriction [Kratzer (2004). Ms., University of Massachusetts].

Donkey pronouns (e.g., it in Every farmer who owns a donkey beats it) are argued to have an interpretation more similar to a demonstrative phrase (e.g., . . . beats that donkey) than to any of the other alternatives generally considered (e.g., . . . the donkey(s) he owns, . . . a donkey he owns). Like the demonstrative phrase, the pronoun is not equivalent to Evans' E-type paraphrase, nor to either the weak or the strong reading sometimes claimed for (...) donkey sentences. A consequence is to narrow the range of formal analyses. (shrink)

This paper argues that donkey pronouns should be construed as definite articles, followed by an NP sister which has undergone deletion in the phonology. So Every man who owns a donkey beats it is claimed to share a Logical Form with Every man who owns a donkey beats the donkey, which means the same. There is independent evidence for assimilating pronouns to determiners, and for NP-deletion; so this theory explains E-type anaphora without postulating any special entity (`E-type pronoun') for the (...) purpose. Since NP-deletion, like other ellipsis, requires an antecedent, this theory also explains the requirement for a "formal link" between donkey pronoun and antecedent, which standard E-type theories find difficult to account for. Other empirical advantages of this theory include its ability to explain the pattern of strict and sloppy identity displayed by donkey sentences with phonologically reduced continuations. It is shown that Bach-Peters sentences, quantificational subordination, and paycheck sentences can also be dealt with on the present approach. (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)

This paper investigates the effects of (surface) DP-internal quantifying expressions on semantic interpretation. In particular, I investigate two syntactic constructions in which an adjective takes scope out of its embedding DP, thus raising an interesting question for strict compositionality. Regarding the first construction, I follow Larson (1999) and assume that the adjective incorporates into the determiner of its DP, forming a complex quantifier [D+A]. I present new evidence in favor of this analysis. Since Larson's semantic analysis of complex quantifiers [D+A] (...) makes a wrong prediction, I propose an alternative, empirically more adequate analysis that treats D+A compounds as pluractional quantifiers in the sense of Lasersohn (1995). Finally, I turn to the second construction, arguing that – despite superficial similarities to the first construction - it should not be analyzed in terms of complex quantifier formation, but in terms of LF-movement of the adjective to Spec,DP. The discussion suggests that there is more than one way for DP-internal modifiers to take DP-external scope in natural language. (shrink)

This paper investigates German conditionals that are reduced in the sense that their consequent clauses lack a verb and possibly more material. Focusing on readings in which conditionals quantify over events, it is shown that there are a number of semantic contrasts between reduced conditionals and their non-reduced versions. These contrasts are derived in a unified way from a hypothesis as to how the truth conditions of a reduced conditional relate to those of its non-reduced version. This hypothesis is in (...) turn derived from assumptions as to how the Logical Form of a reduced conditional relates to the one of its non-reduced version. It is suggested that reduced and non-reduced consequent clauses can be seen to differ in a way analogous to the way definite and indefinite noun phrases differ. (shrink)

Sloppy identity under ellipsis is generally attributed to the pronoun in ellipsis being a bound variable. However, sloppy identity can be licensed in structural configurations in which variable binding is ordinarily blocked. This paper provides a solution for this mismatch by reanalyzing the pronouns with the unexpected sloppy readings as E-type pronouns. Under the proposed analysis, the distribution of such pronouns is correctly predicted. It will also be shown that the analysis is successfully extended to sloppy identity in association-with-focus cases.

Most studies of the so-called proportion problem seek to understand how lexical and structural properties of sentences containing adverbial quantifiers give rise to various proportional readings. This paper explores a related but distinct problem: given a use of a particular sentence in context, why do only some of the expected proportional readings seem to be available? That is, why do some sentences allow an asymmetric reading when other, structurally similar sentences seem to require a symmetric reading? Potential factors suggested in (...) the literature include the distribution of donkey pronouns, certain uniqueness implications, and focus structures. I argue here that the use of an adverbial quantifier presupposes HOMOGENEITY: all individual situations that get lumped into a single case for the purposes of evaluating the quantification must agree on whether they satisfy the nuclear scope. For instance, in order for a token of Usually, if a farmer owns a donkey, he beats it to be felicitous when construed under a farmer-dominant asymmetric reading, the context must be consistent with the proposition that each farmer either beats all or none of his donkeys. Thus proportional sentences are indeed systematically ambiguous, but only some readings will be felicitous in a given context. (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.

Mandarin Chinese exhibits two paradigms of conditionals with indefinite wh-words that have the semantics of donkey sentences, represented by ‘bare conditionals’ on the one hand and ruguo- and dou-conditionals on the other. The bare conditionals require multiple occurrences of wh-words, disallowing the use of overt or covert anaphoric elements in the consequent clause, whereas the ruguo- and dou-conditionals present a completely opposite pattern. We argue that the bare conditionals are cases of unselective binding par excellence (Heim 1982, Kamp 1981) while (...) the ruguo- and dou-conditionals are most naturally accounted for with the traditional E-type pronoun strategy of Evans (1980). We thus argue partly for a return to the E-type strategy (along with Heim 1990) but maintain the need for unselective binding in UG (cf. Kratzer 1989, Chierchia 1992). It is further shown that these two paradigms do not differ with respect to the proportion problem and the distribution of symmetric and asymmetric readings of Kadmon (1987), though they differ with respect to ∀ and ∃ readings (discussed in Chierchia 1992) in a non-trivial way that provides further support for the proposed approach. Finally, evidence is given that the bare conditionals should be kept apart from correlative constructions in languages like Hindi, and treated differently from the latter. (shrink)

What is the semantic contribution of anaphoric links in sentences like, ‘A physicist was late to the party. He brought some bongos’? A natural first thought is that the passage entails a wide-scope existential claim that there is something that both (i) was late to the party and (ii) brought some bongos. Intentional identity sentences are counter-examples to this natural thought applied to anaphora in general. Some have tried to rescue the thought and accommodate the counter-examples by positing mythical objects. (...) I present a new intentional identity sentence that cannot be so accommodated. I then propose a new account of intentional identity and other anaphoric sentences that does not appeal to mythical objects, but instead draws on traditional accounts of definite descriptions. (shrink)

This thesis explores the syntax and semantics of coordinate structures on the basis of three-dimensional syntactic structures. In particular it gives an analysis of sentences of the sort 'a man came and a woman left who knew each other well' on the basis of implicit coordination of NPs, made available within three-dimensionional syntactic structures..

In this essay, we propose that Peirce’s Existential Graphs can derive the desired uniqueness implication (or in a weaker claim, the definite description readings) of donkey pronouns in conjunctive discourse (A man walks in the park. He whistles), without postulating a separate category of E-type pronouns.

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

We revisit a typological puzzle due to Horn (Doctoral Dissertation, UCLA, 1972) regarding the lexicalization of logical operators: in instantiations of the traditional square of opposition across categories and languages, the O corner, corresponding to ‘nand’ (= not and), ‘nevery’ (= not every), etc., is never lexicalized. We discuss Horn’s proposal, which involves the interaction of two economy conditions, one that relies on scalar implicatures and one that relies on markedness. We observe that in order to express markedness and to (...) account for a bigger typological puzzle, namely the absence of lexicalizations of ‘XOR’ (= exclusive or), ‘all-or-none’, and many other imaginable logical operators, one must restrict the basic lexicalizable elements to a small set of primitives. We suggest that an ordering based perspective, following Keenan and Faltz (Boolean semantics for natural language, 1985), makes the stipulated primitives that we arrive at more natural. We also propose a modification to Horn’s proposal, based on recent work on implicatures, in which only the implicature condition is operative and in which markedness is part of the definition of the alternatives for scalar implicatures rather than an independent condition. (shrink)

The presence of contrastive focus on pronouns interpreted as bound variables is puzzling. Bound variables do not refer, and it is therefore unclear how two of them can be made to contrast with each other. It is argued that this is a problem for both alternative-based accounts such as Rooth’s (Nat Lang Semantics 1:75–116, 1992) and givenness-based ones such as Schwarzschild’s (Nat Lang Semantics 7:141–177, 1999). The present paper shows that previous approaches to this puzzle face an empirical problem, namely (...) the co-occurrence of additive too and focus on bound pronouns. Our account is based on the idea that the alternatives introduced by focused bound pronouns denote individuals. Putting forward the novel concept of compositional reconstruction, we show that a suitably modified Roothian analysis of focus licensing allows us to get bound pronouns to contrast with other bound pronouns. The reason for this is that the number of potential alternatives increases. We also suggest a modification of Rooth’s ~-operator: contrastiveness becomes a requirement of the operator, which is modelled as a definedness condition. It is argued that in the case of focused bound pronouns a ~-operator is necessarily inserted in the scope of the quantifier. If this is on the right track, it follows that the phenomenon of focused bound pronouns warrants both an operator interpreting focus as well as a semantic value for the contribution of focus. Any givenness-based analysis must include these two ingredients as well; we suggest a way in which this can be implemented more or less straightforwardly. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

On a popular view dating back to Russell, descriptions, both definite and indefinite alike, work syntactically and semantically like quantifiers. I have an argument against Russell's view. The argument supports a different picture: descriptions can behave syntactically and semantically like variables. This basic idea can be implemented in very different systematic analyses, but, whichever way one goes, there will be a significant departure from Russell. The claim that descriptions are variables is not new: what I offer is a new way (...) of defending it. The argument centers on attitude reports. I argue that we should recognize a new reading of descriptions under attitude reports, which I call ‘singular opaque’. The existence of this reading cannot be explained on the traditional Russellian view, and demands a switch to the variable view. Along the way, some interesting new facts about attitude reports come to light. (shrink)

It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times, worlds, or situations. A standard way of modelling this assumes that there are unpronounced but syntactically represented variables of the corresponding type. Not all that much as has been said, however, about the exact syntactic location of these variables. Meanwhile, recent work has highlighted a number of problems that arise because the interpretive options for situation pronouns seem to be subject to (...) various restrictions. This paper is primarily concerned with situation pronouns inside of determiner phrases, arguing that they are introduced as arguments of (certain) determiners. Verbal predicates, on the other hand, are assumed to not combine with a situation pronoun. The various restrictions on their interpretation are shown to fall out from the semantic system that is developed based on that view. Further support for such an account comes from situation semantic analyses of donkey sentences as well as data on the temporal interpretation of nominal predicates. Its ability to account for this full range of data in a unified manner is shown to set it apart from previous proposals. The paper closes with an outlook on further extensions, including an account of quantifier domain restriction based on situation pronouns. (shrink)

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (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 problem of indistinguishable participants is a well-known problem for D-type theories of donkey pronouns. Recently, Paul Elbourne has offered a D-type theory that purports to dissolve the problem of indistinguishable participants. I argue against Elboune’s solution.

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

There are two main approaches to the problem of donkey anaphora (e.g. If John owns a donkey , he beats it ). Proponents of dynamic approaches take the pronoun to be a logical variable, but they revise the semantics of quantifiers so as to allow them to bind variables that are not within their syntactic scope. Older dynamic approaches took this measure to apply solely to existential quantifiers; recent dynamic approaches have extended it to all quantifiers. By contrast, proponents of (...) E-type analyses take the pronoun to have the semantics of a definite description (with it ≈ the donkey, or the donkey that John owns ). While competing accounts make very different claims about the patterns of coindexation that are found in the syntax, these are not morphologically realized in spoken languages. But they are in sign language, namely through locus assignment and pointing. We make two main claims on the basis of ASL and LSF data. First, sign language data favor dynamic over E-type theories: in those cases in which the two approaches make conflicting predictions about possible patterns of coindexation, dynamic analyses are at an advantage. Second, among dynamic theories, sign language data favor recent ones because the very same formal mechanism is used irrespective of the indefinite or non-indefinite nature of the antecedent. Going beyond this debate, we argue that dynamic theories should allow pronouns to be bound across negative expressions, as long as the pronoun is presupposed to have a non-empty denotation. Finally, an appendix displays and explains subtle differences between overt sign language pronouns and all other pronouns in examples involving ‘disjunctive antecedents’, and suggests that counterparts of sign language loci might be found in spoken language. (shrink)

Abstract Theories of descriptions tend to involve commitments about the ambiguity of descriptions. For example, sentences containing descriptions are widely taken to be ambiguous between de re , de dicto , and intermediate interpretations and are sometimes thought to be ambiguous between the former and directly referential interpretations. I provide arguments to suggest that none of these interpretations are due to ambiguities (or indexicality). On the other hand, I argue that descriptions are ambiguous between the above family of interpretations and (...) what may be called ‘institutional’ as well as generic interpretations. My arguments suggest that an adequate theory of descriptions may require considerable rethinking. Most contemporary theories of descriptions appear to be committed to one or more claims about the ambiguity of descriptions that I reject in this paper. I suggest that my observations provide a reason to renew efforts to develop a theory of descriptions within a representationalist theory of interpretation. Content Type Journal Article Pages 1-16 DOI 10.1007/s11098-011-9759-5 Authors Philipp Koralus, Philosophy Department, Princeton University, 212 1879 Hall, Princeton, NJ 08544, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is the question that (...) I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

The meanings of donkey sentences cannot be captured using a procedure which, like Montague’s, uses the existential quantifiers of classical logic to translate indefinites and the variables to translate pronouns. The treatment of these examples requires meanings which depend on the context in which sentences appear, and thus necessitates a logic which models this context to some extent. If context is represented as the information conveyed in discourse, and the meanings of pronouns are enriched to depend on this information, the (...) result is the E-Type approach (ETA) adapted by Heim (1990) from proposals in Evans (1980) and Cooper (1979). If the context is represented as a list of potential referents, and the meanings of indefinites are enriched to introduce new referents into this list, the result is a compositional formulation like Groenendijk and Stokhof’s (1990) of the discourse representation theory (DRT) of Kamp (1981) and Heim (1982). Either tack suffices to capture the way in which the referents of he and it systematically correspond to the alternative possibilities described by the antecedent. Disjunction offers a parallel way of introducing alternatives in the antecedent of a conditional, as shown in (2). (shrink)

We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like “most.” We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses of (...) this phenomenon. (shrink)

The classical analysis of donkey sentences like (1.a,b) in Kamp (1981) and Heim (1982) assigns them truth conditions as given in (2.a). That is, they are treated as quantifications over farmer-donkey pairs. Partee (1984) and Kadmon (1987) have pointed out that the proper reading of (1.b), and a preferred reading of (1.a), is rather a quantification over farmers, as illustrated in (2.b).

The arguments for LF Pied-Piping given by Nishigauchi and others are represented. It is shown that Nishigauchi's semantics for pied-piped phrases gives the wrong meaning for interrogatives. We argue that none of the arguments for LF Pied-Piping is tenable and most of the arguments against the traditional approach (unbounded wh-movement at LF) do not stand up to scrutiny. However, some data turn out to be problematic for the traditional account. The alternative considered here involves pied-piping at an intermediate level between (...) S-structure and LF. It is called WH-structure and is followed by reconstruction at LF. This proposal will combine the essential insights of Nishigauchi's idea and have all its advantages over the traditional view, without running into the problems of his approach. (shrink)