Symbolic Logic

Below, “fx ” refers to your textbook, forall x: Calgary Fall 2021+ edition; chapters and page numbers refer to it, unless otherwise noted. “Exercises 2 (A)” or “Ex. 2(A)” means “part A of the exercises at the end of forall x Chapter 2.”

date topics read do note
Sep 7 1–4 Hi! nothing! nothing! slides
Sep 12 4–7 syllabus, fx ch. 1
Sep 14 7–9 fx ch. 2 ch. 2 exercises A&B1 validity handout
Sep 19 10–14 fx ch. 3 just read
Sep 21 15–20 fx ch. 4 t/f exercise
Sep 26 21–23 fx 5.0–5.3 and/or ex
Sep 28 23–28 fx 9 & 10 TFL symb ex
Oct 3 28–30 fx 11 ex. 11(A)
Oct 5 30–31 fx 13 ex. 12(G,J)2
Oct 10 32–34 fx 15 ex. 14(A:6,7;D:3,8;G:2,8;H:3,9)
Oct 12 35–36 fx 16.1–3 Nat Ded w/CE
Oct 17 36–37 fx 16.4–5 no new hw
Oct 19 review fx 16.6 ND w/Bi
Oct 24 38 ND w/CI 1–10
Oct 26 first/midterm test prepare
Oct 31 39–40 fx 16.7 NDCI 11–13; ex. 17(A):1-6 RAA handout
Nov 2 fx 16.8
Nov 7 41 fx 18 NDCI 14–25
Nov 9 derived rule ex on Carnap
Nov 14 Nat Ded w/ DR 40–503
Nov 16 42–44 fx 22 Ex Quant Ex 15–26, 1–10
Nov 21 45–47 fx 23.1 EEQ QA handout
Nov 23 no class/conversion 4
Nov 28 47–52 EEUQ front 1–10, back 1–5
Nov 30 53–55 fx 34 FOL ND w/AE,EI
Dec 5 55–56 fx 35 ex. 34(E)
Dec 7 58 fx 36 FOL ND2
Dec 12 no class/snow-study 4
Dec 14 second/final test5
Dec 19 semester ends

  1. Where it says “explain why not,” for my purposes at least you don’t need to write that out; just think about it. ↩︎

  2. Where the exercise asks you to test for being jointly “satisfiable,” test for being jointly possible. ↩︎

  3. For this assignment, try problems 40–50, but if you feel like these are too difficult for you, substitute in some of the earlier, lower-numbered ones from the set. 40–50 are good stretch/exercise problems, but the average level of difficulty is higher than will be on our test. Anyone who wants more practice can consider doing others from this set. Answers for this assignment are here↩︎

  4. per Hofstra Academic Calendar ↩︎ ↩︎

  5. See the Hofstra final exam schedule. The second test is scheduled for 8–10 AM in our regular classroom. I’m sorry it’s so early—not my choice. ↩︎