PHL111 Valid Reasoning, past assignments




Past Assignments
24 August
Tuesday's online office hours 10-12 are at: https://meet.google.com/ywx-xbsw-pkr
27 August
Read: chapter 1.

Practice: Hand in at the beginning of class your answers to problems 1-5 at the end of chapter 1. Each of these problems asks you to come up with 5 examples; to make the homework shorter, for each problem just come up with 2 examples for each of the 5 problems (so 10 cases total). Handwritten is acceptable (for many of our later homeworks there are special symbols or tables and it is too much work to try to type them). Try problem 6 if you like, as extra-credit.
31 August
Office hours 10-12 on GoogleMeet. Here's the link: https://meet.google.com/hkf-hsrb-kmu?hs=122&authuser=1 .
1 September
Read chapter 2 of our textbook.

This week, because I have academic meetings constantly, my office hours will have to be online Tuesday 10-12 and Thursday 9-11. I'll post links.
2 September
Office hours from 8:30 - 10:30 am at https://meet.google.com/zwh-ibrq-pnk?authuser=0.
3 September
Practice: Complete problems 3, 4, and 6 at the end of chapter 2.

I've been asked about how to do this. For each problem (that, is for 5 and then for 6) make one translation key, showing what each atomic sentence letter means in English. Each atomic sentence in your key should correspond to an atomic sentence in English. So, look through the problems we are skipping in 5 (a-j), identify all the atomic sentences, write them down, and tell me which letter corresponds to each sentence. Your key will look like:
KEY
LOGIC ...... ENGLISH
P: Josie is a cat.
Q: Josie is a mammal.
R: Josie is a fish
...
Then, after having done that, and using your key, translate all those sentences. Do the same again for 6.) Not need to write the English sentences out, but be sure to properly label which subquestion you are answering each time. E.g., 6a, 6b, 6c, etc. So the answer to 5d using our key above would have been:
5.d. (¬ P → ¬ Q)
10 September
Read chapter 3 in our book.
17 September
A recording of our lecture: https://oswego.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=7292a31c-0a5a-4712-9f7c-ada600fecc5a .
17 September
Homework: in chapter 3, do problems 1a, b, c, d, e and problems 2a, b, c, d, e, and problem 5.

In addition to seeing me in office hours, we have a tutor for this class. You can sign up at TutorTrac..
22 September
Read: chapter 4 of CIL.
24 September
Homework: please do chapter 4 problem 1 part a-j. Extra credit is problem 1 k-n and problem 4.

I will have office hours from 3-4+ pm. My office is MCC212A.
1 October
Read: chapter 5.

Homework: Answer questions 2a-e and 3a-e at the end of chapter 5. Extra credit is problem 8.

I will have in-person office hours in MCC212A from 3-4+pm.
4 October
We will review the homework from chapter 5 in class.
5 October
Office hours online at https://meet.google.com/nej-gwoo-aoj?authuser=1 from 9-11 am.
6 October
Quiz 1 in class. Material covered will be chapters 1-5. The test is not open book.
7 October
Philosophy club is having a first meeting at 5:30 online. Everyone is welcome. They're going to watch the movie Ex Machina and talk about its philosophical implications.

The link for the meeting is: http://meet.google.com/npe-mcca-faa.
8 October
Read: chapter 6.
11 October
Homework: From chapter 6, answer questions 1a, 1c, 1f, 1i, 1j and 2b, 2d, 2e.

A reminder that the proof checker, with which you can experiment and confirm your homeworks, is at www.proof-checker.org.

I can't have office hours today! Sorry!
13 October
Read: chapter 7.
18 October
Read chapter 8.

My office hours this week will be Monday 3-4 pm in my office, Tuesday 9-11 via GoogleMeet (link to be posted soon), and Wednesday 3-4 in my office.
19 October
Office hours 9-11 on GoogleMeet. Here's the link: https://meet.google.com/skj-acdv-xcp?hs=122&authuser=1.
20 October
Homework: chapter 7, do problems 1a-e, 4, and 5. REMEMBER, "prove" means provide a proof with our inference rules. It does not mean check the argument using a truth table.

Reading: read chapter 9.
October 22
Office hours in MCC221A from 3-4 pm.
26 October
Office hours 3-5 pm (sorry, I had to change the time because of morning meeatings) on GoogleMeet at: https://meet.google.com/udd-cykd-pzz?hs=122&authuser=1&pli=1.
27 October
Practice: From chapter 8, do problems 1b, 1c, 1f, 2c and 2d, and 4. Extra-credit are problems 1g and 1h (these are challenging!).
28 October
Office hours online from 3-4 pm at: https://meet.google.com/eij-pjjq-zqs .
28 October
Philosophy Club will be meeting In MCC 210 on Thursday at 5:30pm to watch the movie, Fahrenheit 451. This film has been remade a few times but the 1966 version is generally considered the best. It is based on the Ray Bradbury novel of the same name. Anyone is welcome!
1 November
Practice from chapter 9: Please do problems 1a through 1e. Extra-credit is problem 3.

Read: chapters 10 and 11.
1 November
Office hours in MCC212A from 3:00-4:00 pm.
2 November
Office hours online today from 3:00 -- 5:00 pm. Link is: https://meet.google.com/qpc-ikqy-omt .
4 November
The Steinkraus Lecture! This is our annual public lecture in philosophy. Anyone can attend. You can join us via Zoom, using the QR code on the talk poster.

5 November
Quiz 2 in class. The theme is the whole of the propositional logic. Special focus given to conditional derivation, indirect derivation, and disjunction and biconditional.
8 November
Practice: do problem 1 from chapter 11. This is a short one. Hand it in at the beginning of class.

Read: chapter 12.
09 November
Office hours online from 3-5 pm at: https://meet.google.com/diy-cobw-ovo
09 November
Office hours online from 3-5 pm at: https://meet.google.com/diy-cobw-ovo
10 November
Office hours in my office from 3-4:30 pm.
12 November
Practice: do problems 2 and 3 from chapter 12. Extra-credit is problem 4

Read: chapter 13.
November 16
Office hours via GoogleMeet from 3-5 pm. https://meet.google.com/waf-fhxj-bgc .
17 November
Homework: from chapter 13, do problem 1 and problems 2a and 2b. You may do Problems 2c and 2d as extra-credit, if you like.


Logic is scarey!
18 November
Philosophy club is meeting In MCC 210 at 5:30pm to watch the movie, The Social Dilemma. This is a recent Netflix docudrama about the hazards of social media. It is quite entertaining and informative. Feel free to bring something to eat and drink. Everyone is welcome.
November 18
Office hours online from 3-5 pm at: https://meet.google.com/rrt-nqgk-bkj.
November 19
Office hours in MCC212A from 3-4:30 pm.
22 November
Penultimate Homework! from chapter 13, do problems 2c and 3a, 3f, 3g, and 3h. You may do Problem 3e as extra-credit, if you like.
29 November
Last Homework! from chapter 14, do problems 1a-g. 1h-j can be extra-credit.
30 November
Sorry, busy week for meetings. I'll have office hours on GoogleMeet from 3-5 pm at: https://meet.google.com/fow-kiop-uzc.
1 December
Office hours in my office MCC212A from 3:00 to 4:30 pm.

Optional practice: here are some potential practice problems, if you want some chance to do extra-practice.
Here are practice problems for translation. Here are some answers.

I was asked for more practice translations with quantifiers. Here are a few more. Assume the domain of discourse is persons for these.
  • Everyone likes Fry.
  • Fry likes everyone.
  • No one likes Fry.
  • Everyone who likes Fry does not like Bender.
  • Someone likes Fry and Bender.
  • No one doesn't like both Fry and Bender.
  • Everyone who likes Fry and Bender but not Leila is a mutant.
  • Someone likes Fry and someone doesn't like Fry.
  • Everyone who is a mutant either likes Fry or Bender.
  • Everyone likes someone.
That last one is a stretch problem.

If you want some practice proof problems, try proving:
  • Prove the theorem (¬(P ∧ Q) ↔ (¬P v ¬Q)).
  • Prove the theorem (∃xFx → ¬∀x¬Fx).
  • Prove the theorem (¬∃x¬Fx ↔ ∀xFx).
3 December
Extra-credit: do problem 2 from chapter 14 (it has three parts). This is the informal model/interpretation that we discussed in class. I can return these on Monday to those interested.
6 December
Office hours: I'll be in my office 9:30 am to 12 pm and from 1 pm to 3:30 pm.
8 December
Final exam in our classroom MCC132 from 10:30 am -- 12:30 pm.



Pumin says, "Practice your logic!"



Pumin also says, "I don't like hats, but I like logic."