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: PHIL 224 or strong background in high school mathematics including successful completion of a pre-calculus course.