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
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.
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
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 12pts
Administered Friday, October 6, in class (naturally). 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. 50pts
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
Here is a valid argument (or a theorem), along with a “starter” Fitch file. Construct a proof of it. 50pts
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