The Logical Approach to Syntax
Foundations, Specifications, and Implementations of Theories of Government and Binding
By formalizing recent syntactic theories for natural languages Stabler shows how their complexity can be handled without guesswork or oversimplification.
By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without guesswork or oversimplification. He introduces logical representations of these theories together with special deductive techniques for exploring their consequences that will provide linguists with a valuable tool for deriving and testing theoretical predictions and for experimenting with alternative formulations of grammatical principles.
Stabler's novel approach allows results to be deduced with straightforward calculations and provides a systematic framework for tackling the problem of how speakers can infer the properties of an utterance from principles of the grammar. The special treatment of equality, induction principles, and inclusion of a general method for collecting structures from proofs means that sophisticated linguistic arguments can be carried out in detail, giving a rich perspective to issues in linguistic theory and parsing.
HardcoverOut of Print ISBN: 9780262193153 452 pp. | 7.1 in x 9.1 in
Paperback$40.00 X | £32.00 ISBN: 9780262527712 452 pp. | 7.1 in x 9.1 in
Stabler's book contriibutes to a substantial reevaluation of what it means to formalize a linguistic theory, and what theories are amenable to formalization. It contributes new techniques to logic programming and shows that logic programming applications in linguistics can go beyond the simple encoding of phrase-structure grammars in Prolog.
Dr. Fernando Pereira
AT&T Bell Laboratories
This work presents a novel and original approach to computational linguistics, and is one of the first serious attempts to deal with GB in a rigorous computational manner.
Professor Robert May
Department of Linguistics, School of Social Sciences University of California, Irvine
Stabler's avowed aim of informing computational linguistics with some of the most recent linguistic theort is executed with exemplary skill. The work overall is outstanding for its attention to detail and its concentration on making the disciplines with which it deals accesible to individuals whose primary descipline might not prepare them for one topic or another.
Professor Willliam Demopoulos
Department of Philosophy, The University of Western Ontario, Talbot College London, Canada