What Will Exam 1 Be Like?

Logic 102


Below is a list of the sections/types of questions that will be on Exam 1 next week in Philosophy 102.

Any question or concerns? Don’t hesitate to ask!

Mark


Take-Home Portion: 75 pts total

Circulated Wednesday (October 3) Monday, October 8. Due by the beginning of class on Friday (October 5) Wednesday, October 10. No collaboration with other students or help from tutor/instructor permitted.

  1. Here’s a sentence. Construct a truth table for it in Boole. Is it TT-necessary? Is it TT-possible? (You won’t need to say whether it’s TT-contradictory) 13 pts

  2. Here are 5 FOL sentences. Place each in the Euler Diagram of Necessity. 25 pts

  3. Here is a valid argument, along with a “starter” Fitch file. Construct a proof of it. 25 pts

  4. Two short answer questions 12 pts

In-Class Portion: 175 pts total

Administered Friday, October 5 Wednesday, October 10, in class (naturally). You will have the entire class period and will be provided with a copy of Handout 7. No collaboration with other students or help from tutor/instructor permitted.

  1. Here are 5 English sentences. Translate them into FOL in a Tarski’s World sentence file. 50 pts

  2. Here is an argument. Construct a truth table for it. Answer, in writing: Is this argument TT-valid or TT-Invalid? Justify your answer by pointing out features of the truth table you created. 25 pts

  3. Here is a valid argument (or a theorem), along with a “starter” Fitch file. Construct a proof of it. 50 pts

  4. Here is an argument. Is it valid or invalid? If it’s valid, construct a proof of it from this “starter” Fitch file. If it’s invalid, construct a counterexample world in Tarski’s World. 50 pts