Math 113: Logic (Spring 2025)
- See here for the syllabus.
Announcements
Homework
-
Week 7 Due Monday 3/24: Read Chapters 28 and 29. Write a one paragraph summary of each chapter and do Chapter 29 exercise B.
-
Week 6 Due Friday 3/7: Make up your note sheet (one standard sheet of paper, front and back) and bring it with you to the quiz.
-
Week 5 Due Monday 3/3: Chapter 18 exercies A, C.
-
Week 4 No homework this week!
-
Week 3 Due Monday 2/17: Chapter 11 exercises A, C, D; Chapter 12 exercises A, C, D, E. Read Chapter 13 of the textbook, and write a paragraph or two about the meaning of the conditional in truth-functional logic; do you think it is unproblematic? or is it flawed?
-
Week 2 Due Monday 2/10: Chapter 5 exercises A, D, E, I; Chapter 6 exercises A, B.
-
Week 1 Due Monday 2/3: Chapter 2 exercises A, B.
Schedule
This course is organized by topics. Homework is assigned weekly due on the following Monday.
The schedule below is tentative; we might have small adjustments in the dates. For each week I’ve included which sections from the textbook we will be covering.
-
Arguments (1/27–1/31)
- Week 1: Part I
-
Truth-Function Logic (2/3–2/28)
-
Week 2: Part II
-
Week 3: Part III
-
Week 4: Part IV
-
Week 5: Part IV, quiz
-
Quiz 1 Feb 28, journal due by end of weekend. -
Quiz 1 Mar 7, journal due by end of weekend.
-
-
First-Order Logic (3/3–4/11)
-
Week 6: Part V
-
Week 7: Part VI
-
Spring break!
-
Week 8: Part VI
-
Week 9: Part VII
-
Week 10: Part VII, quiz
-
Quiz 2 Apr 11, journal due by end of weekend.
-
-
Modal Logic (4/14–4/25)
-
Week 11: Part VIII
-
No class Friday 4/18
-
Week 12: Part VIII
-
-
Metatheory (4/28–5/7)
-
Week 13: Part IX
-
Week 14: Exam
-
Exam May 7, journal due by Friday.
-