Overview

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

Full Product Details

9780792330950

Table of Contents

Reviews

Author Information

Tab Content 6

Countries Available