Ebook: Type Logical Grammar: Categorial Logic of Signs

This book 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 logicof 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.
For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics.
It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.

---

This book 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 logicof 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.
For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics.
It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.
Content:
Front Matter....Pages i-xiv
Montague Grammar....Pages 1-45
Logic of Types and Types of Logic....Pages 47-68
Categorial Grammar....Pages 69-86
Enriching Categorial Grammar....Pages 87-136
Intensionality and Binding....Pages 137-160
Polymorphism....Pages 161-190
Structural Control....Pages 191-224
Extraction....Pages 225-248
Conclusion....Pages 249-261
Back Matter....Pages 263-307

---

This book 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 logicof 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.
For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics.
It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.
Content:
Front Matter....Pages i-xiv
Montague Grammar....Pages 1-45
Logic of Types and Types of Logic....Pages 47-68
Categorial Grammar....Pages 69-86
Enriching Categorial Grammar....Pages 87-136
Intensionality and Binding....Pages 137-160
Polymorphism....Pages 161-190
Structural Control....Pages 191-224
Extraction....Pages 225-248
Conclusion....Pages 249-261
Back Matter....Pages 263-307
....