Type Logical Grammar: Categorial Logic of SignsSpringer Science & Business Media, 6 déc. 2012 - 307 pages 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 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. 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. |
Table des matières
Logic of Types and Types of Logic | 47 |
Categorial Grammar | 69 |
Enriching Categorial Grammar | 87 |
Intensionality and Binding | 137 |
Polymorphism | 161 |
Structural Control | 191 |
Extraction | 225 |
Conclusion | 249 |
Interpretation of Types | 263 |
Summary Grammar | 277 |
297 | |
Autres éditions - Tout afficher
Expressions et termes fréquents
algebra antecedent associative Lambek calculus Benthem Bill binary bracketing categorial grammar category forms category formulas chapter characterisation CN/CN CN\CN computational conjunction consider constituent constraints cook coordinate structure deaf defined Derivation structure DG,i discontinuity domains elements example existential extraction feature Figure Fitch-style follows function functor Gentzen Gentzen-style groupoid intensional interpretation intuitionistic logic John believes John walks labelled lambda Lambek calculus lexical assignment lexical semantics lexicon linear logic linguistic Mary talks modal logic Montague Moortgat Morrill natural deduction natural language non-associative obtained operators pied-piping proof prosodic and semantic prosodic objects quantifier phrase relative clause relative pronoun relativisation respect rules of formation s|Vs scope semantic forms semantic types semigroup sentence sequent calculus sequent rules structural rules subalgebra subderivation substructural logics syntactic syntax T₁ term of type tion type map universal universal quantification variable verb phrase ΔΑ λαψ