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. Grice, Logic and Conversation Problem Set 2 2.1E (1) a,c,e,g,i,k,m; (2) a,c,e,g; (3) a,c,e,g; (4) a,c,e; (5) a,c,e,g,i,k 2.2E (1) a,c,e,g; (2) a,c,e,g; (3) a,c,e 2.4E (1) a,c,e,g; (2) a,c,e; (4) a,c,e
Week 3 Sentential Logic: Semantics Symbolic Logic Syllabus: fall 2012
1/21 (M) Sections 3.1-3.2 1/23 (W) Sections 3.3-3.5 1/25 (F) Section 3.6 Expressive Adequacy: Handout Problem Set 3 3.1E (2) a,c,g,i; (3) a,c,e 3.2E (1) a,c,e; (2) a,e; (3) a,e; (4) a,c,e,g,i; (5) a,c 3.3E (1) a,c; (2) a,c,e; (4) a,c 3.4E (1) a,i; (2) a,e; (4) c 3.5E (1) e,g; (2) a,c; (3) a; (5) a,c 3.6E (1) a,c; (2) a,c; (3) a; (4) a,c Expressive Adequacy handout
Week 4 Sentential Logic: Derivations
1/28 (M) Sections 5.1.1-5.1.3 1/30 (W) Sections 5.1.4-5.1.5 2/01 (F) Generative Grammar: John Searle, Chomsky’s Revolution Problem Set 4 5.1.1E (1) a,e,g,i,m 5.1.2E (1) a,c,e 5.1.3E (1) a,c,e 5.1.4E (1) a,c,e
Week 5 Sentential Logic: Derivations (continued)
2/04 (M) Section 5.2 2/06 (W) Section 5.3 2/08 (F) review session Problem Set 5 5.3E (1) a,c,k; (2) a,g,m; (3) a,c,e; (4) c; (9) e,i Challenge: (3) n; (8) c; (9) o
Week 6 Midterm, Introduction to Predicate Logic
2/11 (M) midterm exam 2/13 (W) Sections 7.1-7.3 2/15 (F) Sections 7.4-7.5 Problem Set 6 7.3E (2) a,c,g,i,m; (3) a,c,e,k,q; (4) a 7.4E (1) a,c,e,g,i; (2) a,c,g,k; (3) a,g,i Symbolic Logic Syllabus: fall 2012
Week 7 Predicate Logic: Formal Syntax and Translations
2/18 (M) Section 7.6 2/20 (W) Section 7.7 2/22 (F) The Turing Test: John Searle, Minds, Brains, and Programs Problem Set 7 7.5E (4) a,i,k; (5) a,c,e,i 7.6E (1) c,e,g,i,k,m,o; (2) a,c,e,g,i,k,m,o,q 7.7E (1) a,c,e,g,m,o,s; (2) a,c,e,g; (5) e,i,o,q
Week 8 Predicate Logic: Multiple Quantifiers and Identity
2/25 (M) Section 7.8 2/27 (W) Section 7.9 (up to the subsection on functions) 3/01 (F) Ontology and Quantification: Bertrand Russell, On Denoting Problem Set 8 7.8E (1) a,e, g,i,k; (2) a,e,i,k; (3) a,c,g,k; (4) a,c,g,m,o 7.9E (1) a,e,g,i; (2) a,c,e,k; (4) c,e,k
Week 9 Predicate Logic: Semantics
3/04 (M) Section 8.1 3/06 (W) Section 8.2 3/08 (F) Many-Valued Logic: Timothy Williamson, Vagueness, Ch. 4 Problem Set 9 8.1E (1) a,c,e,g; (2) a,c,e,g; (3) a,e; (4) a,e; (5) a,c,e; (7) a,c,e,g,i; (8) a,c,e,g,i 8.2E (1) a; (2) c; (3) c,g; (6) a,c
Week 10 Predicate Logic: Semantics
3/11 (M) Sections 8.3-8.4 3/13 (W) Section 8.7 (skip Sections 8.5 and 8.6) 3/15 (F) review session Problem Set 10 8.2E (1) c,e; (2) e,g; (3) a; (4) a,e; (5) a,e; (6) e 8.3E (1) a,c,e; (2) c; (3) a; (4) a,i; (5) a,c; (6) a,c 8.4E (1) a,c,g; (2) c,i; (3) a,c,e,g; (4) b,c,d 8.7E (1) a,c,e; (2) c,e; (3) a,c,e; (4); (5); (7); (10) b