The book sets out the foundations and the methodological approach to a formal analysis of natural language. Assuming the basic trends of lexicalism and compositional semantics, a type logical grammar is developed into a powerful logic of signs. Taking Montague Grammar as point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and mathematical logic provides a categorial foundation with wide linguistic coverage, including intensionality, quantification, features, polymorphism, and various kinds of linguistic constraints.
Recensione a: G. V. Morrill, Type Logical Grammar: Categorial Logic of Signs, Kluwer, Dordrecht, 1994
CASADIO, Claudia
1995-01-01
Abstract
The book sets out the foundations and the methodological approach to a formal analysis of natural language. Assuming the basic trends of lexicalism and compositional semantics, a type logical grammar is developed into a powerful logic of signs. Taking Montague Grammar as point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and mathematical logic provides a categorial foundation with wide linguistic coverage, including intensionality, quantification, features, polymorphism, and various kinds of linguistic constraints.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
