Summer 2006 Session A
|12A||Introduction to Logic||Rao||MTuW 12-2:30||220 Wheeler Hall|
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.