This course is an introduction to propositional and predicate logic that considers the relationships between formal logical languages and ordinary languages like English, the relationship between validity in a system and logical validity, and various methods for showing the validity and invalidity of patterns of inference. The course will include a brief introduction to some of the meta-logical concepts that are the core of more advanced studies in logic (e.g. soundness and completeness).