Type-logical Semantics

Front Cover
MIT Press, 1997 - Language Arts & Disciplines - 575 pages
0 Reviews

Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena that can be handled in categorial grammar. It also contains a great deal of original work on categorial grammar and its application to natural-language semantics. The author chose the type-logical categorial grammar as his grammatical basis because of its broad syntactic coverage and its strong linkage of syntax and semantics. Although its basic orientation is linguistic, the book should also be of interest to logicians and computer scientists seeking connections between logical systems and natural language.

The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material. Topics covered include higher-order logic, applicative categorial grammar, the Lambek calculus, coordination and unbounded dependencies, quantifiers and scope, plurals, pronouns and dependency, modal logic, intensionality, and tense and aspect. The book contains more mathematical development than is usually found in texts on natural language; an appendix includes the basic mathematical concepts used throughout the book.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Exercises
35
Exercises
72
Exercises
104
Exercises
135
Exercises
174
Exercises
209
Exercises
286
Exercises
333
Exercises
504
Appendix A Mathematical Preliminaries
509
Functions and Relations
511
Orderings Well Orderings and Lattices
515
Proof by Induction
517
Formal Languages
519
Trees
520
FirstOrder Logic
523

Chapter 10
379
Exercises
420
Exercises
471
Chapter 12
479
Algebras and Equality
529
References
537
Index
569
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »