A study of the principles and techniques of deductive logic, taking the formal approach that prevails in contemporary practice. Arguments are paraphrased in a formal language and elements of that language are interpreted by being assigned certain simple mathematical structures. Topics include the concepts of consistency, logical consequence, and proof; the logic of truth-functions, quantifiers, and identity; and an introductory consideration of theorems about the formal language and its interpretations themselves (what is called metalogic). The nature of logic, its role in reasoning, and its epistemological standing are considered philosophically.
Prerequisites: MATH 110 or PHIL 224 or permission of the instructor.