Symbolic Logic Syllabus: fall 2012 Instructor: David Barnett,
[email protected] Office hours: MWF 3-4pm, Lamont House 204 Supplemental Instructor: Jasmine Roth,
[email protected] Office hours: Th 9-10pm, Humanities 010 Instructional sessions: W 8pm Humanities 115 Course Website: www.davidjamesbar.net/Logic Course Description: An introduction to modern symbolic logic, focusing on translation, semantics and syntax for propositional and predicate logic. You will learn to translate natural language into the language of logic and vice versa, and study key concepts such as validity, consistency, proof, soundness and completeness. Textbook: The Logic Book, 5th ed., by Bergmann, Moor, and Nelson Exams: Midterm exam: in class on February 11th Final exam: in Humanities 115 on March 18th, 5:30-7:30pm Grading: Assuming timely submission of mandatory problem sets every Friday, final grades will be an average of exam scores. Class Schedule Week 1 Class Introduction 1/07 (M) Sections 1.1-1.4 1/09 (W) Section 1.5-1.7 1/11 (F) Analytic/Synthetic Distinction: A.J. Ayer, Language, Truth, and Logic (Ch 4) Problem Set 1 1.3E (1) a,c,e,k; (2) e,i 1.4E (1) a,c,e,g,i; (2) a,c,e 1.6E (1) a,c; (2) a,c,g,k; (3) a,b,c; (4) a,c,e,i; (5) a,c,e; (6) a,e,g,m,o 1.7E (1) a,c,g; (2) i Week 2 Sentential Logic: Symbolization and Syntax 1/14 (M) Section 2.1 1/16 (W) Sections 2.2 and 2.4 (skip 2.3) 1/18 (F) Language and Communication: H.P.