|
![]() |
|||
|
||||
OverviewThis text 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. The book systematizes categorial thinking into a unified programme which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It is intended for all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate and research levels. Full Product DetailsAuthor: G. V. MorrillPublisher: Springer Imprint: Springer Edition: Softcover reprint of the original 1st ed. 1994 Dimensions: Width: 15.20cm , Height: 1.70cm , Length: 22.30cm Weight: 1.020kg ISBN: 9780792332268ISBN 10: 0792332261 Pages: 307 Publication Date: 31 October 1994 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsOne: Montague Grammar.- Two: Logic of Types and Types of Logic.- Three: Categorial Grammar.- Four: Enriching Categorial Grammar.- Five: Intensionality and Binding.- Six: Polymorphism.- Seven: Structural Control.- Eight: Extraction.- Nine: Conclusion.- Appendix A: Interpretation of Types.- Appendix B: Gentzen Sequent Rules.- Appendix C: Summary Grammar.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |