ADVANCED LOGIC
(PHIL 422, Secs. 1001/1002)

Reading and Homework Assignments

Readings for the course will mainly be from handouts linked here, plus chapters from A Modern Formal Logic Primer, by Paul Teller [henceforth "Teller"]. Assignments will be listed by chapter (or page numbers), with a link to an online source. Homework assignments will be posted here via hyperlinks.
  • For Aug. 26: Read Teller, Vol. 2, Ch. 10. Try Ex. 10-1 and 10-2 (for practice). Read the handout on Basic Set Theory. Then read (skim) Peter Suber's Crash Course on Infinite Sets. Also, review the Formation Rules for the artificial formal language, FOL, that we will use as part of our formal system.
  • For Aug. 30: Check out the worked examples and practice problems on Examples, Practice Problems, Assignment #1. Then complete Assignment #1, which is the ten syntax problems and four course questions at the end. For the syntax problems, remember that when we use our metalanguage (English plus some technical symbols) to talk about a string from our object language (FOL--the artificial, formal language that is the object of our study), we put the FOL string inside double quotation marks--in order to mention the string rather than use it. You can find a .docx file with logical symbols to copy and past from here! Submit Assignment #1 on Canvas by 10pm.
  • For Aug. 31: Before you watch Monday's lecture, review the material on set theory (skimming the Suber) and Teller on syntax vs. semantics, and then read "Formal Systems and Machines: An Isomorphism," by Peter Suber. Finally, read Suber on Mathematical Induction and Teller, Vol. 2, Ch. 11 on mathematical induction.
  • For Sep. 2: Be sure to have watched the lecture from 8/31 already. Then read the Mathematical Induction Handout before the meeting. You might also re-read the Suber and Teller selections on mathematical induction.
  • For Sep. 6: Complete and hand in Assignment #2 via the submission link on Canvas by 10pm. [Note: the assignment is only some of the problems on the sheet. The others are for practice.]
  • For Sep. 8: Watch the pre-recorded "Labor Day" lecture by Tuesday night. The lecture will cover mathematical induction and go over more problems from Assignment #1 (email me to ask for specific ones).
  • For Sep. 13: Check out the complete write up of the proof by mathematical induction that I did not get all the way through in the Wed 9/9 meetings, as well as an additional new MI proof on syntax at MI Syntax Examples. Then complete Assignment #3 and hand it in via the submission link on Canvas by 10pm.
  • For Sep. 20: To make sure everyone is one the same page, check out this Handout on Sentential Connectives Semantics. Then check out the examples and practice problems along with Assignment #4. Complete the assignment part and hand it in via the submission link on Canvas by 10pm.
  • For Sep. 21: Study for the First Test, which will be on Wednesday 9/23. Watch the prerecorded lecture that gets posted today.
  • For Sep. 23: First Test! to be administered during the scheduled meeting time of your class (so, either 11:30am or 1pm).
  • For Sep. 28: Before watching Monday's lecture, review your notes on truth-functions (i.e., from when I used MI to prove there were 2^(2^n) n-ary truth-functions) and read Bostock on Truth-Functions and Bostock on CNF and DNF. Then read Teller, Vol. 2, Ch. 2 to get some sense of what we will be doing with more fine-grained semantics for predicate-logic sentences. Finally, go over the first two pages (through Section V) of Truth Conditions Handout for the basics on semantics for FOL sentences. This builds on the semantics/truth conditions for the sentential (truth-functional) connectives.
  • For Sep. 30: Have done the readings then watched the lecture for 9/28, and then re-read the Teller, Vol. 2, Ch. 2 and read through the entire Truth Conditions Handout to get a start on seeing how semantic proofs work in model theory.
  • For Oct. 4: Read this short selection by Bostock on NAND and its expressive completeness. Then check out the sample problems and work on the practice and assigned problems from Assignment #5. Hand in Assignment #5 by 10pm on Tuesday 10/6 via the submission link on Canvas.
  • For Oct. 5: If you plan to take the make-up test problem for the mathematical induction problem from the First Test, be logged in to the Canvas page for your section at the Quizzes area by 12:25pm (if you are in Section 1001) or by 1pm (if you are in Section 1002). You will have 20 minutes from that time to complete the new proof. Then watch the Mon 10/5 Lecture (for help on Assignment #5).
  • For Oct. 6: Submit Assignment #5 by 10pm.
  • For Oct. 10: Check out the Solutions to HW5 Practice Problems and work on the practice and assigned problems from Assignment #6. Hand in Assignment #6 by 10pm on Tuesday 10/13 [Note the new date!] via the submission link on Canvas.
  • For Oct. 12: Watch the Lecture video and be working on Assignment #6.
  • For Oct. 13: Submit Assignment #6 by 10pm.
  • For Oct. 15: Check out the handout on More on Multiple Quantifiers and get working on Assignment #7, which is due by 10pm on Sunday 10/18 via the submission link on Canvas.
  • For Oct. 18: Submit Assignment #7 by 10pm.
  • For Oct. 23: Extra Office Hours! from 12pm (noon) to 1:30pm.
  • For Oct. 25: Be studying for the Second Test. To help with that, work on the additional practice problems involving using our model-theory semantic proof methods to do semantic assessments (including constructing interpretations when appropriate) from this Additional Problems Handout. [Check out the Solutions after you've done them. And check out the updated version of the Truth Conditions Handout.]
  • For Oct. 26: Study for the Second Test, which will be administered on this day, during the scheduled meeting time of your class (so, either 11:30am or 1pm).
  • For Oct. 28: Go over this handout on the Tree-System Deductive Apparatus that is part of our formal system. Also, take a look at these Practice Problems for Trees (and some sample solutions here) to get a sense of what you will learn to do with this system. We will work through some more of these Practice Problems in class.
  • For Oct. 30: Start working on problems I.3, II.1, II.3, III.4, and IV.3 from Practice Problems for Trees as Assignment #8, which is due by 10pm on Sunday 11/1 via the submission link on Canvas.
  • For Nov. 1: Submit Assignment #8 by 10pm. Also, read the Tree System Rules for Quantifiers and Identity handout before watching the Monday 11/2 lecture.
  • For Nov. 5: Check out these Solution to some of the Practice Problems at the end of the Tree System Rules for Quantifiers and Identity handout. Start working on problems I.3, I.4, II.1, III.2, and IV.2 as Assignment #9, which is due by 10pm on Sunday 11/8 via the submission link on Canvas.
  • For Nov. 8: Submit Assignment #9 by 10pm.
  • For Nov. 10: Watch the video from Monday 11/9, then check out this handout on Open Branch Interpretations. For practice, construct OBIs for open trees from Assignments #8 and #9 and the other Practice Problems those assignments were drawn from.
  • For Nov. 11: Veterans Day! No live class meetings, but look for a prerecorded video to watch before Office Hours on Th 11/12, where I will construct a few more OBIs and discuss applying mathematical induction to aspects of our tree-system deductive apparatus.
  • For Nov. 12: Watch the video for the Wed 11/11 lecture. Then check out these Practice Problems for Open Branch Interpretations. Problems I.2, II.1, III.1, and IV.1 are Assignment #10, which is due by 10pm on Sunday 11/15 via the submission link on Canvas. Check back here soon for Solutions to the other Practice Problems.
  • For Nov. 15: Submit Assignment #10 by 10pm.
  • For Nov. 16: Log in to a live Zoom class meeting today. Bring questions about the material for the Third Test, which will be Wed. 11/18.
  • For Nov. 17: Extra Office Hours! Log in to Zoom between 1pm and 2:30pm to ask questions about the material that will be on the Third Test.
  • For Nov. 18: Study for the Third Test, which will be administered on this day, during the scheduled meeting time of your class (so, either 11:30am or 1pm).
  • For Nov. 23: Before watching the video of the lecture for today, read the handout on how to think about the Soundness and Completeness of our particular formal system.
  • For Nov. 25: Yes, there will be live class meetings today. Be sure to watch the late-posted Mon 11/23 lecture before your Wed class meeting.
  • For Nov. 27: Read the the Proof of the Downward Adequacy Theorem (DAT). Get working on the sections of the DAT handout that are labeled as homework for Assignment #11, due by 10pm on Sunday 11/29 via the submission link on Canvas.
  • For Nov. 29: Complete Cases 6, 8, 9, and 12 from the MI proof of the DAT to submit as Assignment #11 by 10pm. Also, start reading the handout on the Proof of the Upward Adequacy Theorem (UAT) to have it done before the Mon 11/30 lecture.
  • For Nov. 30: Watch the video of today's lecture on Assignment #11 and the proof of UAT. Check out the problems on the UAT Handout left as Assignment #12.
  • For Dec. 2: Think about questions you want answered about the proofs of DAT and UAT (and about how they establish the Soundness and Completeness of our formal system) during our final live Zoom meeting for the class.
  • For Dec. 3: Regular Office Hours via Zoom, 11:30am-1pm. Drop in to ask more questions about D/UAT and Assignment #12, due by 10pm on Sunday 12/6 via the submission link on Canvas. Also, think about when during the 5 days between Friday 12/4 and Tuesday 12/8 that you would be available for a Review Session for the Final Exam.
  • For Dec. 6: Complete Cases 5, 9, 11, and 13 from the MI proof of the UAT to submit as Assignment #12 by 10pm.
  • For Dec. 8: Review Session! Live on Zoom, 1:30pm-3:30pm.
  • For Dec. 9: Final Exam! Given via Canvas, 10:10am-12:10pm.
Last updated December 7, 2020

This site is maintained by James A. Woodbridge.

This document was created on August 22, 2020.