Math 113: Logic (Spring 2025)

See here for the syllabus.

Announcements

(5/2) Here is some advice on how to prepare for next week’s quiz.
(5/2) Here is the worksheet from today.
(4/25) Class does not meet today because I am out of town.
(4/23) Here is the worksheet from today.
(4/21) Here is the worksheet from today.
(4/18) Here is the worksheet from today.
(4/16) Here is the worksheet from today.
(4/11) Here is the worksheet from today.
(4/4) Here is the worksheet from today.
(4/2) Here is the worksheet from today.
(3/31) Here is the worksheet from today.
(3/28) Here is the worksheet from today.
(3/26) Here is the worksheet from today.
(3/24) Here is the worksheet from today.
(3/14) Here is the worksheet from today.
(3/12) Here is the worksheet from today.
(3/10) Here is the answer key to quiz 1.
(3/3) Here is some advice on how to prepare for Friday’s quiz.
(3/3) Here is the worksheet from today.
(2/28) Here is the worksheet from today.
(2/14) Here is the worksheet from today.
(2/12) Here is the worksheet from today.
(2/10) Here is the worksheet from today.
(2/7) Here is the worksheet from today.
(2/5) Here is the rule sheet from today.
(2/3) Here is the worksheet from today.
(1/31) Here is the worksheet from today.
(1/27) Here are the slides from day 1.

Homework

Week 13 Due Monday 5/5: Section 44 of the textbook, practice exercises A, B, C.
Week 12 No homework.
Week 11 Due Monday 4/21: Read chapter 43 of the textbook and section 2 of this Stanford Encyclopedia of Philosophy page and write a paragraph or two about how the different systems for modal logic differ. Do you have a preference on which you think best captures the idea of possibility?
Week 10 Due Monday 4/14: Read chapter 36 and write a brief summary of what needs to be done to extend the formal proofs for TFL to FOL. Read chapter 41 and write a one to two paragraph summary.
Week 9 Due Monday 4/7: Chapter 33 three parts from each of exercises A, B, C, D; Chapter 35 exercise A.
Week 8 Due Monday 3/31: Chapter 31 exercises A, C.
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-Functional Logic (2/3–3/7)
- Week 2: Part II
- Week 3: Part III
- Week 4: Part IV
- Week 5: Part IV
- Week 6: 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/10–4/11)
- Week 7: Part V
- Spring break!
- Week 8: Part VI
- Week 9: Part VI
- Week 10: Part VI
Modal Logic (4/14–5/7)
- Week 11: Part VIII
- Week 12: Part VIII
- Week 13: Part VIII
- Week 14: Quiz
- Quiz on May 7, journal due by Friday.