This paper proposes a unified dependent type analysis of three puzzling phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We argue that the three problematic readings have the same underlying surface structure, and that the surface structure postulated can be interpreted properly and compositionally using dependent types. The dependent type account proposed is the first, to the best of our knowledge, to formally connect the three phenomena. A further advantage of our proposal over previous analyses is (...) that it offers a principled solution to the puzzle of why both inversely linked interpretations and weak definite readings are blocked with certain prepositions. (shrink)

This paper argues for a particular semantic decomposition of morphological definiteness. I propose that the meaning of ‘the’ comprises two distinct compositional operations. The first builds a set of witnesses that satisfy the restricting noun phrase. The second tests this set for uniqueness. The motivation for decomposing the denotation of the definite determiner in this way comes from split-scope intervention effects. The two components—the selection of witnesses on the one hand and the counting of witnesses on the other—may take effect (...) at different points in the composition of a constituent, and this has non-trivial semantic consequences when other operators inside the DP take action in between them. In particular, I analyze well-known examples of mutually recursive definite descriptions like ‘the rabbit in the hat’ as examples of definites whose referent-introducing and referent-testing components are interleaved rather than nested. I further demonstrate that this picture leads to a new theory of relative superlative descriptions like ‘the kid who climbed the highest tree’, which explains the previously mysterious role of the definite determiner in licensing such readings. (shrink)

The phenomenon of inverse linking, where a noun phrase embedded within another behaves with respect to binding as though it were structurally independent, has proven challenging for theories of the syntax–semantics interface. In this paper I show that, using an LF-movement style approach to the syntax–semantics interface, we can derive all and only the appropriate meanings for such constructions using no semantic operations other than function application and composition. The solution relies neither on a proliferation of lexical ambiguity nor on (...) abandoning the idea that pronouns denote variables, but rather on a straightforward (and standard) reification of assignment functions, which allows us to define abstraction operators within our models. (shrink)

Comparative quantifiers, such as more than three books, cannot take scope over any quantifier in subject position if they occupy object position. This is clearly different from the behavior of other quantifiers (e.g., universal quantifiers). This paper argues that this scope puzzle is due to a more complex internal structure of comparative quantifiers than other quantifiers. In the decompositional approach that I pursue, comparative quantifiers are decomposed into two generalized quantifiers (i.e., in the case above, the comparative operator er than (...) three and the DP many books). In this approach, obligatory narrow scope of comparative quantifiers in object position is a consequence of the interplay of the independently motivated principles of grammar that also constrain other quantifiers. On the basis of the scope puzzle, I specifically argue for two constraints on Scope Shifting Operations (SSOs) a locality condition on SSOs and Scope Economy, proposed by Fox (2000), which prohibits SSOs that have no effect on semantic interpretation. Thus, I argue that the apparently peculiar facts of comparative quantifiers are, in fact, additional evidence for the core properties of SSOs. (shrink)

Cooper storage is a widespread technique for associating sentences with their meanings, used in diverse linguistic and computational linguistic traditions. This paper encodes the data structures and operations of cooper storage in the simply typed linear \-calculus, revealing the rich categorical structure of a graded applicative functor. In the case of finite cooper storage, which corresponds to ideas in current transformational approaches to syntax, the semantic interpretation function can be given as a linear homomorphism acting on a regular set of (...) trees, and thus generation can be done in polynomial time. (shrink)

Glue semantics is a theory of the syntax–semantics interface according to which the syntactic structure of a sentence produces premises in a fragment of linear logic, and the semantic interpretation of the sentence correspond to the proof derivable from those premises. This paper describes how Glue can be connected to a Minimalist syntactic theory and compares the result with the more mainstream approach to the syntax–semantics interface in Minimalism, according to which the input to semantic interpretation is a syntactic structure (...) derived by covert movement operations. I argue that the Glue approach has advantages that make it worth exploring. (shrink)

This paper reexamines some examples, discussed by Mates and others, of sentences containing both definite descriptions and quantifiers. It has frequently been claimed that these sentences provide evidence for the view that definite descriptions themselves are quantifiers. The main goal of this paper is to argue this is not so. Though the examples are compatible with quantificational approaches to definite descriptions, they are also compatible with views that treat definite descriptions as basically scopeless. They thus provide no reason to see (...) definite descriptions as quantifiers. Even so, this paper shows that the examples do raise a surprising range of complex issues about how quantifier scope works, and where it occurs. Thus, a clear picture of how these examples work will help us to understand better where definite descriptions fit into the larger picture of quantifiers and related phenomena. (shrink)