This course serves as an introduction to the formal syntactic analysis in the Generative Grammar tradition, in particular the framework which has been well-established since the Government and Binding era. Our goal is to explore a theoretical model that can explain and capture the complexity of natural language syntax in a general, uniform and elegant manner. Concepts to be discussed include categories and features, constituent structure, structural relations, the X-bar theory, thematic relations, argument structure, binding, raising and control, head movement and phrasal movement, among others. The linguistic data will mainly come from English, but the theory to be developed is applicable to every other human language.