Philosophy 12A

This course is an introduction to the concepts and principles of deductive logic. We will begin by learning how to symbolize English language sentences and arguments in a way that shows their logical structure; we will next address, e.g., what it is for a statement to be valid, for one or more statements to imply another, or for two statements to be equivalent (in both truth-functional and quantificational contexts); we will end by learning a formal system of deductive proof.

Requirements: Lecture and section attendance, weekly problem sets, a midterm, and a final.

Text: Warren Goldfarb’s Deductive Logic, Hackett, 2003.