In this chapter, we discuss the (abstract) syntax and semantics of formal languages, how to operate on the resulting syntactic phrases, and how to reason about the properties of these languages. We will in the later chapters apply these ideas to the language of first-order logic as the basis of mathematics, as well as to formal specification languages, and ultimately to programming languages.