Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

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)

The format of this book is unusual, especially for a book about linguistics. The book is meant primarily as a research monograph aimed at linguists who have some background in formal semantics, e. g. Montague Grammar. However, I have two other audiences in mind. Linguists who have little or no experience of formal semantics, but who have worked through a basic mathematics for linguists course (e. g. using Wall, 1972, or Partee, 1978), should, perhaps with the help of a sympathetic (...) Montague gramma rian, be able to discover enough of how I have adapted some of the basic ideas in formal semantics to make the developments that I undertake in the rest of the book accessible. Logicians and computer scientists who know about model theoretic semantics and formal systems should be able to glean enough from Chapters I and II about linguistic concerns and techniques to be able to read the remainder of the book, again possibly with the help of a sympathetic Montague grammarian. However, readers should beware. Chapter II is not meant as a general introduction either to formal semantics or to linguistics and while much of the presentation there is going over ground that is already well covered in the literature, the particular formulation and the emphases are very much oriented to the developments to be undertaken later in the book. (shrink)

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

Barriers is Linguistic Inquiry Monograph 13.