The chapter presents the understanding about the portion of innate human language faculty that permits to understand the patterns of anaphoric possibilities permitted by linguistic forms and sentences that contain them. Although semantic issues intrude constantly, the primary focus of this chapter is on the consequences of the pattern of anaphora for syntactic theory. An anaphoric relation is typically said to hold whenever the semantic value of a linguistic form is related to the value of some previous or anticipated mention. The chapter lays out some boundary conditions for the syntax/semantics interface that anaphora questions inevitably invoke. The chapter explores Chomsky's Binding Theory. The richness of anaphoric morphology and its consequences for the syntax of anaphora are also discussed. Any plausible theory of anaphora must distinguish relations of dependent identity, pronouns bound as variables, and obviation. Competition-based theories of anaphora take the complementarities in the distributions of pronouns and anaphors.

This chapter discusses the earliest generative approaches, namely those explicated in Syntactic Structures and Aspects of the Theory of Syntax. It examines some relevant differences between these two theories and discusses some general properties of transformations. The chapter reviews the syntax/semantics interface in early generative grammar and beyond. It also discusses the role in the evolving theories of rules and filters versus principles. In Principles and Parameters theory, Chomsky explicitly introduced economy principles for the first time. A major Minimalist concern involves the driving force for syntactic movement. The chapter also offers two economy principles: Relativized Minimality and the Extension Condition. It illustrates Rizzi's groundbreaking work by way of a phenomenon called Superiority, which has often been analyzed as a Relativized Minimality effect. Another potential example of an economy condition relates to the Extension Condition. This condition requires that a transformational operation extends the tree upwards.