The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and BindingMIT Press, 1992 - 433 עמודים 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. |
תוכן
Chapter | 4 |
Formalizing Barriers | 6 |
Chapter | 9 |
Theories about strings 9 2 1 First order theories definitions | 10 |
Chapter 3 | 27 |
Contextfree | 40 |
2 | 61 |
Chapter 5 | 83 |
Chapter 10 | 181 |
Chapter 11 | 213 |
Chapter 12 | 223 |
Chapter 13 | 237 |
Chapter 14 | 257 |
Chapter 15 | 283 |
Appendix | 325 |
A guided proof system | 361 |
5 | 101 |
4 | 113 |
The theory of movement | 125 |
government | 145 |
Structure preservation head | 152 |
Notes | 397 |
Bibliography | 411 |
425 | |
מהדורות אחרות - הצג הכל
The Logical Approach to Syntax: Foundations, Specifications, and ... <span dir=ltr>Edward P. Stabler</span> אין תצוגה מקדימה זמינה - 1993 |