Schedule

All readings are from Goldfarb, Deductive Logic, where “I.A,” e.g., means Part I, sub-part A.

Week	Tuesdays	Thursdays
0		1/23/2014 Introduction
1	1/28/2014 Review of Basic Concepts and Truth-Functional Logic Reading: I.A and I.B, excluding §12 Handout 1a	1/30/2014 Review of Monadic Quantification: Predicates, Names, Extension, Quantifiers, Scope, Paraphrase Reading: §§18-20 Handout 1b
2	2/4/2014 Last day add/drop is Wednesday 2/5/2014 Review of Monadic Quantification: Universe of Discourse, More on Monadic Paraphrase, Predicate Letters; Introduction to Polyadic Quantification Reading: §§21-22, 28 Handout 2a Problem Set 1 Presentations	2/6/2014 Last day add/drop is the day before this day Polyadic Paraphrase Reading: §29 Handout 2b
3	2/11/2014 Monadic Schemata and their Interpretations Reading: §23 Handout 3a Problem Set 2 Presentations	2/14/2014 Monadic Validity and Implication; Polyadic Interpretations Reading: §§24, 30 Handout 3b
4	2/18/2014 Polyadic Validity and Implication Reading: §31 Handout 4ab Problem Set 3 Presentations	2/20/2014 More Polyadic Arguments; Instances Reading: §32
5	2/25/2014 General Laws of Quantificational Logic, I Reading: §27 Handout 5a Problem Set 4 Presentations	2/27/2014 No class; makeup class Wed 3/5/2014
6a	3/4/2014 General Laws of Quantificational Logic, II Handout 6a
6b	3/5/2014 Wed!!! 7-8:20pm Location Fisk 114 Review for Test 1	3/6/2014 Test 1
3/8-23/2014 Spring Break
7	3/25/2014 Quantificational Deductions, I Handout 7a Reading: §33	3/27/2014 Quantificational Deductions, II Reading: §34
8	4/1/2014 Quantificational Deductions, III Handout 8a Problem Set 5 Presentations	4/3/2014 Identity Reading: §41 Handout 8b
9	4/8/2014 Names and Descriptions Reading: §§42-3 Handout 9a Problem Set 6 Presentations	4/10/2014 Russell’s Theory of Descriptions §44 Handout 9b
10	4/15/2014 The Concepts of Soundness and Completeness; Soundness part 1 Reading: §35 Handout 10a Problem Set 7 Presentations	4/17/2014 No class; makeup class Wed 4/23/2014 This is the last day to withdraw
11	4/22/2014 Soundness part 2, the Law of Universal Closure, and Prenex Normal Forms Reading: §36 Handout 11a
11a	4/23/2014 Wed!!! 7-8:20pm Location Fisk 114 Completeness I: The Central Lemma and the Rigid Plan Reading: §38 Handout 11b	4/24/2014 Completeness II: Proof of the Central Lemma, Truth-Functional Compactness Handout 11c
12	4/29/2014 Quantificational Compactness Handout 12a Problem Set 8 Presentations	5/1/2014 Review for Test 2
13	5/6/2014 Test 2