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

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.

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**Here are 5 FOL sentences. Place each in the Euler Diagram of Necessity.

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

**25 pts**Two short answer questions

**12 pts**

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.

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

**50 pts**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**Here is a valid argument (or a theorem), along with a “starter” Fitch file. Construct a proof of it.

**50 pts**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**