Type Logical Grammar

G. V. Morrill

ISBN 10: 0792332261 / ISBN 13: 9780792332268

Published by Springer Netherlands Okt 1994, 1994

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This is not quite the book I originally intended to write. Since I first felt that linguistic application of categorial grammar merited a system atic presentation, I have been subject to (what seemed to be) a series of demanding technical and foundational distractions. Inspite of a prej udice that mathematical elegance was even inconsistent with linguistic practicality, repeated illumination of the latter by the former implied a new perspective on the field, one prompting formal innovation, and some re-examination of methods and goals. This piece collects and extends work over the last four years general ising categorial grammar to a categorial logic. The state of the art at the beginning of that period was represented by the edited collections Oehrle, Bach and Wheeler (1988) and Buszkowski, Marciszewski and van Benthem (1988) (see Morrill 1991a, b), and by Moortgat (1988b). Familiarity with such work however is not strictly necessary for an un derstanding of the present one, which attempts to map a self-contained, if intensive, course with Montague Grammar as its point of departure. This being the case, the reader should have an understanding of logical semantics and its technicalities, such as would be obtained from Dowty, Wall and Peters (1981), or Gamut (1991). Some familiarity with the issues raised by contemporary syntactic theories would also be useful, as would some familiarity with logical deduction. 326 pp. Englisch.

Seller Inventory # 9780792332268

Bibliographic Details

• Title: Type Logical Grammar
• Publisher: Springer Netherlands Okt 1994
• Publication Date: 1994
• Language: English
• ISBN 10: 0792332261
• ISBN 13: 9780792332268
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

This is not quite the book I originally intended to write. Since I first felt that linguistic application of categorial grammar merited a system­ atic presentation, I have been subject to (what seemed to be) a series of demanding technical and foundational distractions. Inspite of a prej­ udice that mathematical elegance was even inconsistent with linguistic practicality, repeated illumination of the latter by the former implied a new perspective on the field, one prompting formal innovation, and some re-examination of methods and goals. This piece collects and extends work over the last four years general­ ising categorial grammar to a categorial logic. The state of the art at the beginning of that period was represented by the edited collections Oehrle, Bach and Wheeler (1988) and Buszkowski, Marciszewski and van Benthem (1988) (see Morrill 1991a, b), and by Moortgat (1988b). Familiarity with such work however is not strictly necessary for an un­ derstanding of the present one, which attempts to map a self-contained, if intensive, course with Montague Grammar as its point of departure. This being the case, the reader should have an understanding of logical semantics and its technicalities, such as would be obtained from Dowty, Wall and Peters (1981), or Gamut (1991). Some familiarity with the issues raised by contemporary syntactic theories would also be useful, as would some familiarity with logical deduction.

Synopsis

This 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.