This course will introduce the basic concepts and techniques of modern symbolic logic, with an emphasis on developing skills in two areas: first, translating between ordinary language and logical notation; second, establishing the validity or invalidity of arguments using the methods of truth tables, deductions, and countermodels. Although the subject of symbolic logic was developed by mathematicians and philosophers for their own special purposes (which we will discuss), logical concepts and techniques have found applications in a variety of disciplines, including computer science, economics, law, linguistics, and psychology. We may also consider some of these applications.