Schedule and Supporting Materials

Course Policies

To review the course policies and logistics, go here.

The following is a rough outline of the first month of class. Both it and its successors are subject to revision according to the flow of the class, as well as our interests. Don’t be shy about stating topics you’d like to explore.

LPL = Language, Proof, and Logic

Unless otherwise noted, all assignments are due 6AM Eastern US Time on the date specified. (For most of you, this means that you should submit the assignment the evening before.)

Date Preparatory Reading (I suggest that you complete this before the due date) Assignment
Week 1 Preliminaries
9/8

Welcome to Logic: Syllabus & Course Logistics

What is Logic? LPL: Introduction (pp. 1-11)

Software Manual: Ch.1-2: Using Submit.

Install Course Software.

Do “You Try It” on pp. 8-11.[1]

I.               Propositional Logic
Weeks 1-2 Atomic Sentences

9/11

(due 11:59PM)

Atomic Sentences: LPL, 1.1 – 1.4 (pp. 19-25, 28-29)

Software Manual: Ch. 3: Using Tarski’s World

Do “Hidden Assignment(s)” in Course Policy Document.

Do 1.2 – 1.5, 1.9  (pp. 25-27, 30)

9/14 Validity and Soundness: LPL, 2.1 – 2.2 (pp. 41-46) None!
9/17

Introduction to Proofs: LPL, 2.2 – 2.5 (pp.46-66)

Software Manual: Ch.4 (Using Fitch)

Do 2.19, 2.20, 2.25, 2.26, 2.27  (pp. 62, 66)
Week 3 Boolean Connectives: The Basics
9/21 Boolean Operators: ¬, ∧, and ∨: LPL, 3.1 – 3.3 (pp.67-77) Do 3.3, 3.6, 3.9  (pp. 70, 73, 77)
9/24 Translation & Equivalence: LPL, 3.4 – 3.7 (pp. 77-90) Do 3.15, 3.16 3.18, 3.23  (pp. 81,83,88)
Week 4 Boolean Connectives: Logic
9/28

Software Manual: Ch.5 (Using Boole)

Introduction to Truth Tables (Tautologies, Contradictions, and Contingencies): LPL, 4.1 – 4.2 (pp. 93-109)

Do 4.2, 4.7, 4.12  (p.104)
10/1 Truth Tables and Validity: LPL, 4.3 – 4.4 (pp. 106-118) Do , 4.22, 4.24 (pp. 109, 113)
Weeks 5-6 Proofs
10/5 Methods of Proof: LPL, 5.1 – 5.4 (pp. 128-142) None!
10/8 Proofs with Conjunction and Disjunction: LPL, 6.1 – 6.2 (pp. 143-155) Do 6.2, 6.4, 6.6 (pp. 155-156)
10/12 Negation, Subproofs, and Strategies: LPL, 6.3 – 6.6 (pp. 156-176) Do. 6.11, 6.14, 6.15, 6.19, 6.22, 6.29, 6.34 (pp. 165, 168, 173, 176)
10/15 Conditionals and Biconditionals: LPL, 7.1 – 7.3, 7.5 (pp. 178-192, 198) Do 7.1-7.3, 7.18 (pp. 185, 189)
Week 7 Conditional Proofs
10/20 The Logic of Conditionals: LPL, 8.1 – 8.2, 8.4 (pp. 199-215, 223-225) Do 8.20, 8.21, 8.34, 8.49 (pp. 213-214, 224)
10/23

Reconstructing Arguments

Strawman Arguments: What They Are and How to Counter Them

Problem Set I Due 11:59PM
I.               Predicate Logic
Week 8 Quantification I: The Basics
10/27 Introducing Quantification: LPL, 9.1 – 9.4 (pp. 229-241) Do 9.2, 9.5, 9.6 (pp. 236, 241)
10/29 Translating with Quantifiers: LPL, 9.5 – 9.6 (pp. 241-253) Do 9.16, 9.17 (pp. 250-251)
Week 9 Quantification II: Logic
11/3 LPL, 10.1-10.2 (pp. 259-277; Note: I did not find this to be an especially good discussion of the concepts covered. Don’t worry about it too much; just make sure you get the basic gist of the key points.) None!
11/5 Equivalence and DeMorgan’s with Quantifiers: LPL, 10.3 (pp. 277-282) Do 10.24, 10.26, 10.28, 10.29 (p. 286)
Week 10 Multiple Quantifiers
11/10 Introduction to Multiple Quantifiers: LPL, 11.1 – 11.3 (pp. 298-309) Do 11.9, 11.10, 11.17 (pp. 305, 309)
11/12 Paraphrasing with Multiple Quantifiers: LPL, 11.4 – 11.5, 11.8 (pp. 309-317, 324-327) Do 11.20, 11.24 (pp. 312, 316)
Week 11 Proofs
11/17 Methods of Proof with Quantifiers: LPL, 12.1-12.4 (pp. 328-347) None!
11/19 Formal Methods for Universal Introduction and Existential Elimination: LPL, 13.1 – 13.2 (pp. 351-361) Do 13.8, 13.12, 13.13, 13.15, 13.16 (pp. 356, 359-360)
11/20 to 11/29 Thanksgiving Break
Week 12 Proofs (Continued)
12/1 Strategy and Tactics: LPL, 13.3 (pp. 361-367) Do 13.23, 13.27 (p. 368)
12/3 Review (Open Zoom Hours)
Finals Week  
12/10 N/A Problem Set II

[1] I’ve mentioned this “You Try It” exercise, but I recommend (but do not require) that you do all of the “You Try It” exercises in each week’s reading as a useful way of gaining understanding of the material (and getting participation points if you have questions).