This second edition of "Syntactic Theory: A Formal Introduction" expands and improves upon a truly unique introductory syntax textbook. Like the first edition its focus is on the development of precisely formulated grammars whose empirical predictions can be directly tested. There is also considerable emphasis on the prediction and evaluation of grammatical hypotheses, as well as on integrating syntactic hypotheses with matters of semantic analysis. The book covers the core areas of English syntax from the last quarter century, including complementation, control, "raising constructions", passives, the auxiliary system, and the analysis of long distance dependency constructions. "Syntactic Theory's" step-by-step introduction to a consistent grammar in these core areas is complemented by extensive problem sets drawing from a variety of languages. The book's theoretical perspective is presented in the context of current models of language processing, and the practical value of the constraint-based, lexicalist grammatical architecture proposed has already been demonstrated in computer language processing applications. This thoroughly reworked second edition includes revised and extended problems sets, updated analyses, additional examples and more detailed exposition throughout.