PHL111 Valid Reasoning, current assignments
Please note: this is the last week, and I'm also teaching
three other classes, so I will not be able to accept late homeworks.
There is just no way I could get to them in a timely way if they started
coming in after the due date. You are free to hand in work early, of
Translate 1 - 5 into our logical language. Use functions to do
so (no credit if there are no functions in the translations).
(NOTE: you can do the translations of 1-5 using just two functions
and four predicates. Try to do it that way.)
Hint for translations. What is a paternal grandmother? It's
your father's mother.... Notice what kind of functions you need
to capture that notion.
- Tom's father is American.
- Tom's mother is Canadian.
- Tom's paternal grandfather is Italian.
- Tom's maternal grandfather is French.
- Both Tom's maternal and his paternal grandmother are American.
- Premises: ∀x(Fx ↔ Hx), ∀x(Jx ↔ Hx).
Conclusion: ∀x(Fx ↔ Jx).
- Premises: ∃x(Fx ^ Hx), ∀x(Fx → ¬Gx),
∀x(Gx v Jx).
Conclusion: ∃x(Jx ^ Hx).
- Conclusion: (∀x(¬Fx v Hx) → ∀x(Fx → Hx))
11 December (8:00 a.m. to 10:00 a.m.)
The final exam will not be in our classroom. It will be held in
Lanigan 104. This is a large room, with lots and lots of space,
so we'll be able to spread out comfortably.
For your use, I've put two textbooks on reserve in the library. They
are each slightly different than what we're doing, but the differences
are mostly superficial. Logic: Techniques of Formal Reasoning
uses a different proof system (boxes instead of the Fitch bars) but it
is not very different and a few minutes of thinking will get you to
see how they are the same. It is a very good book, but a little hard
to read sometimes. (My copy is used so scribbled in by various people;
sorry about that.) Language, Proof, and Logic uses our proof
You should not feel you need tutoring in this class (at least, not
yet). You can come see me, and I think it's hopefully so far
clear-ish. But, there is a good logic tutor available. Starting next
week, walk-in tutoring will be from 2-4 in Mahar (the OLS desk
attendant will direct students to the room where the tutor will
sit). Also, if students would like one on small group tutoring during
the week, they can go to www.Oswego.edu/ols and follow the steps to
request Andy Buchman via tutortrac. For other qeustions (not
regarding scheduling) you can write Andy at "email@example.com".
There to do seem problems with tutortrac -- it logs some students in
as tutors, and then they can't see the scheduling options. If this
happens to you, unfortunately you have to go to OLS and tell them to
fix it for you. You can contact OLS at firstname.lastname@example.org.
Tentative/expected Assignments (subject to revision)