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)

The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material.

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

In this paper, I defend the thesis that alleffects of extra-linguistic context on thetruth-conditions of an assertion are traceable toelements in the actual syntactic structure of thesentence uttered. In the first section, I develop thethesis in detail, and discuss its implications for therelation between semantics and pragmatics. The nexttwo sections are devoted to apparent counterexamples.In the second section, I argue that there are noconvincing examples of true non-sentential assertions.In the third section, I argue that there are noconvincing examples of what (...) John Perry has called`unarticulated constituents''. I conclude by drawingsome consequences of my arguments for appeals tocontext-dependence in the resolution of problems inepistemology and philosophical logic. (shrink)

The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions that denote (...) functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a (...) categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels. (shrink)

This dissertation presents a theory of resumption based on semantic composition. The theory achieves a unified explanation of resumptive pronouns and copy raising. The basis is two key claims: the pronouns in resumption are ordinary pronouns, natural language is resource-sensitive. The latter is the guiding hypothesis of the dissertation: Resource Sensitivity. It is the claim that elements of semantic combination cannot be reused or discarded and is derived from the resource logical approach to the syntax-semantics interface and semantic composition, in (...) particular Glue Semantics. Resource logics yield a useful perspective on linguistic combinatorics in general , but must be constrained by linguistic theory in order to maintain a linguistically useful notion of Resource Sensitivity. It is argued that a number of proposals in the literature can be reduced to Resource Sensitivity while maintaining their insights. ;The hypothesis is investigated empirically with respect to resumptive pronouns. Resumptives challenge Resource Sensitivity, since they constitute surplus resources for semantic composition. A resource management theory of resumption is presented, which introduces the licensing mechanism of manager resources. Manager resources are associated with lexical specifications for complementizers. Cross-linguistic variation for grammaticized resumptives is explained as lexical variation. ;The resource management theory is applied to analyses of Irish, Swedish and Hebrew. The analysis of Irish treats both resumptive dependencies and filler-gap dependencies, including difficult mixed patterns. The analysis of Swedish achieves a novel unification of the Swedish resumptive system with those of Irish and Hebrew. Apparently problematic Swedish weak crossover, reconstruction, parasitic gap, and across-the-board extraction data are shown to in fact support the resource management theory. A processing model for production and parsing is proposed that explains certain resumptive-like pronouns in English and Swedish which are not fully grammaticized. ;The resource management theory is extended to copy raising in English. Manager resources can license copy raising pronouns, but are in this case specified as part of the lexical entries of the raising verbs involved. This explains why a language like English can have resumption in copy raising, but lack it in unbounded dependencies. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

In these essays the minimalist approach to linguistic theory is formulated and progressively developed.

It is well known that in certain environments the scope of a moved quantifier phrase can be determined at either its pre-movement position (“scope reconstruction”) or its postmovement position (“surface scope”). Thus the familiar ambiguity of (1) results from two choices for the scope of the moved QP. Under scope reconstruction, the scope of the moved existential QP is the sister of the pre-movement position (i.e. the sister of t, [to win the lottery]), while under surface scope it is the (...) sister of the post-movement position (i.e. [is likely t to win the lottery]). The two scope possibilities yield different semantic interpretations, corresponding to the paraphrases in (2). (1) Someone from New York is likely t to win the lottery (2) a. It is likely that there will be someone from New York who wins the lottery.. (shrink)

Glue has evolved significantly during the past decade. Although the recent move to type-theoretic notation was a step in the right direction, basing the current Glue system on System F (second-order λ-calculus) was an unfortunate choice. An extension to two sorts and ad hoc restrictions were necessary to avoid inappropriate composition of meanings. As a result, the current system is unnecessarily complicated. A first-order Glue system is hereby proposed as its replacement. This new system is not only simpler and more (...) elegant, as it captures the exact requirements for Glue-style compositionality without ad hoc improvisations, but it also turns out to be more powerful than the current two-sorted (pseudo-) second-order system. First-order Glue supports all existing Glue analyses as well as more elegant alternatives. It also supports new, more demanding analyses. (shrink)