A more extensive discussion of certain of the more technical notions appears in my paper "On Binding" (Chomsky,; henceforth, OB). ...

1. Formal semantics in linguistics -- 2. Generalized quantifier theory -- 3. The interface between syntax and semantics -- 4. Anaphora, discourse, and modality -- 5. Focus, presupposition, and negation -- 6. Tense -- 7. Questions -- 8. Plurals -- 9. Computational semantics -- 10. Lexical semantics -- 11. Semantics and related domains.

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...) analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)

This paper surveys work on applying the insights of lexicalized grammars to low‐level discourse, to show the value of positing an autonomous grammar for low‐level discourse in which words (or idiomatic phrases) are associated with discourse‐level predicate–argument structures or modification structures that convey their syntactic‐semantic meaning and scope. It starts by describing a lexicalized Tree Adjoining Grammar for discourse (D‐LTAG). It then reviews an initial experiment in parsing text automatically, using both a lexicalized TAG and D‐LTAG, and then touches upon (...) issues involved in how lexico‐syntactic elements contribute to discourse semantics. The paper concludes with a brief description of the Penn Discourse TreeBank, a resource being developed for the study of discourse structure and semantics. (shrink)

This paper classifies a family of grammar formalisms that extendcontext-free grammar by talking about tuples of terminal strings, ratherthan independently combining single terminal words into larger singlephrases. These include a number of well-known formalisms, such as headgrammar and linear context-free rewriting systems, but also a new formalism,(simple) literal movement grammar, which strictly extends the previouslyknown formalisms, while preserving polynomial time recognizability.The descriptive capacity of simple literal movement grammars isillustrated both formally through a weak generative capacity argument and ina more practical (...) sense by the description of conjunctive cross-serialrelative clauses in Dutch. After sketching a complexity result and drawing anumber of conclusions from the illustrations, it is then suggested that thenotion of mild context-sensitivity currently in use, that depends on therather loosely defined concept of constant growth, needs a modification toapply sensibly to the illustrated facts; an attempt at such a revision isproposed. (shrink)

Because of the ease of their implementation, attribute-value based theories of grammar are becoming increasingly popular in theoretical linguistics as an alternative to transformational accounts and in computational linguistics. This book provides a formal analysis of attribute-value structures, their use in a theory of grammar and the representation of grammatical relations in such theories of grammar. It provides a classical treatment of disjunction and negation, and explores the linguistic implications of different representations of grammatical relations. Mark Johnson is assistant professor (...) in cognitive and linguistic sciences at Brown University. He was a Fairchild postdoctoral fellow at the Massachusetts Institute of Technology during the 1987-88 academic year. (shrink)