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

Given out Wednesday (October 4), due by the beginning of class on Friday (October 6). 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) 13pts

  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 12pts

In-Class Portion: 175 pts total

Administered Friday, October 6, in class (naturally). 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. 50pts

  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. 25pts

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

  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