PHIL 1320 Term 2 Exam
\nInstructions:
\nThis exam consists of three parts. Part A consists of questions concerning categorical logic.
\nPart B consists of questions concerning propositional logic. Part C consists of questions
\nconcerning predicate logic. The mark for each question is indicated with the question.
\nFOR ALL QUESTIONS SHOW YOUR WORK. REMEMBER: WHEN YOU ARE ASKED TO EXPLAIN
\nSOMETHING, YOUR EXPLANATION IS REQUIRED AS PART OF THE EVALUATION. PART MARKS CAN BE
\nAWARDED
\n** Total possible high score = 200 marks**
\nPART A:
\n1. Translations. The following categorical propositions are not in standard form. Restate them in
\nstandard form, and identify each of your reformulations as an A, E, I or O proposition. (2 marks each.
\nTotal marks = 10.)
\na) Not all Democrats support massive welfare spending.
\nb) Everyone who arrives by six o\u2019clock in the morning will receive free admission.
\nc) It is not the case that the only things in life that are certain are death and taxes.
\nd) Distinguished-looking people are often tall.
\ne) People are not machines.
\n2. Assuming the Aristotelian Square of Opposition, what can be inferred about the truth or falsehood of
\nthe remaining propositions in the following set (a) if we assume the first one (*) to be true, and (b) if we
\nassume the first one (*) to be false? (5 marks)
\n(*)Some college professors are not entertaining lecturers. (*)
\nAll college professors are entertaining lecturers.
\nNo college professors are entertaining lecturers.
\nSome college professors are entertaining lecturers.
\n3. Provide the converse, obverse, and contrapositive for each of the following propositions. (10 marks)
\na) Some results of plastic surgery are things beyond belief.
\nb) Some Las Vegas casinos are not places likely to increase your wealth.
\nc) All microwave foods are things best left uneaten.
\n4. Assuming the Aristotelian interpretation, provide a Venn Diagram for the following propositions.
\nEnsure you clearly indicate the subject and predicate terms. (2 marks each. 10 marks total.)
\na) All banana splits are healthy desserts.
\nb) All pigs are fantastic pets.
\nc) Some poets are dead people.
\nd) Some Olympic gold medal winners are drug cheats.
\ne) No dead people are people who tell tales.
\n5. Translate the following syllogisms into a standard form categorical syllogisms indicating their
\nmood and figure, and test them for validity by means of a Venn diagram. Be sure to properly label your
\ndiagram. Assume the Boolean interpretation. Note \u2013 (c) is an enthymeme. Complete it as a valid
\ncategorical syllogism (5 marks each, 20 marks total).
\na) Some students are not female, but some males are not students; thus, some males are not
\nfemales.
\nb) Since no gillygongs are visible, we can conclude that no dogs are gillygongs for all dogs are
\nvisible.
\nc) Sam\u2019s Steak House must have pretty low prices. Uncle George took Aunt Tillie there for dinner
\nlast night.
\nd) Some syllogisms are arguments whose validity or invalidity is not readily apparent. All syllogisms
\nare arguments whose validity or invalidity needs to be established. Therefore, some arguments
\nwhose validity or invalidity needs to be established are not arguments whose validity or
\ninvalidity is not readily apparent.
\n6. The following categorical syllogisms are expressed solely by their mood and figure. Use the rules of
\nvalidity provided in the reference material for this exam to discern the validity of the syllogisms. If the
\nsyllogism is valid indicate that. If the syllogism is invalid, indicate all the rules that it violates. (2 marks
\neach. 10 marks total.)
\na) AAA-3
\nb) EAE-3
\nc) OAO-4
\nd) EIO-1
\ne) OAO-2
\n7. Sorites. Rephrase this Sorites as a chain of categorical syllogisms. Indicate the mood and figure of
\neach syllogism (5 marks)
\n1. All scavengers are flesh eaters.
\n2. No vegetarians are flesh eaters.
\n3. All hoofed mammals are vegetarians.
\nTherefore, hoofed mammals are scavengers.
\nPART B:
\nQuestions # 1 – #8 are worth 5 marks each. Ensure you provide explanation where requested. (40 marks
\ntotal.)
\n1. Provide an example of an ordinary language argument in the argument form modus ponens.
\nProvide an example of an ordinary language argument in the related formal fallacy of denying the
\nantecedent. Why is this fallacy so persuasive?
\n2. Provide a statement in symbolic form that has at least two simple statements as components and
\nis a contradiction. Provide a truth table for your statement that indicates its self-contradictory
\nnature.
\n3. As we know, for large arguments in our propositional logic with more than 4 simple statements
\nshowing the validity by using a truth table is cumbersome and unwieldy. In such cases, we use the
\nindirect method. Briefly explain what the indirect method involves and why we are justified in
\nusing it to determine the validity of a symbolized argument.
\n4. Consider the following derivation taken from a proof of validity.
\nn. (A v B) v C \u2026.
\nn+1. ~ A \u2026.
\nn+2 C n \u2013 (n+1) DS
\nExplain why this derivation exhibits an incorrect use of the DS rule of inference.
\n5. Given the following conclusion for an argument you are going to prove, what would be your first
\nassumption if you were using Conditional Proof (CP)? If you were to use more than one
\napplication of CP, what would be the other assumption(s) in order of appearance?
\n{(A ? B) ? [(A ? C) ? A]}
\n6. Would the following statement qualify as a contradiction and so could then be used as the last
\nstep in the application of an Indirect Proof (IP)? Provide a truth table to support your answer.
\n(~ A ? ~ B) \u2022 (A ? B)
\n7. Prove the following tautology using CP, IP, and any of the 18 rules of inference.
\n~ [(A \u2022 ~ B) \u2022 ~ (A v B)]
\n8. Determine whether the following pair of symbolized statements are logically equivalent. Provide a
\ntruth table to support your answer.
\n~ (H \u2022 K) v ~ (K v M) (~ H v ~ K) v (~ K \u2022 ~ M)
\n9. Translate the following arguments symbolically using the letters indicated for the simple
\npropositions. Discern the validity of each of these arguments. For question (a), you must discern
\nthe validity using a truth table. For the remaining questions you may use a truth table or the
\nindirect method. (5 marks each, 15 marks total.)
\na. If John is a plumber, then either Sam is a bricklayer, or Tim is a carpenter. But Sam is not
\na bricklayer, nor is Tim a carpenter. Therefore, John is not a plumber. (J, S, T)
\nb. Either I will take a trip to Europe this summer or I will save my money and get married in
\nSeptember. If I do the latter, I will move to Denver. So if I don\u2019t go to Europe this
\nsummer I will move to Denver. (E, S, M, D)
\nc. If Russia intervenes in Iran, then if the United States acts to protect its interests in the
\nMiddle East, either there will be a confrontation between Russia and the United States
\nor Israel will act as a surrogate for the United States. Israel will act as a surrogate if and
\nonly if it is absolutely assured of unlimited supplies of American weapons. If the United
\nStates meets this condition, however, the friendly Arab states will turn against the
\nUnited States; the United States cannot allow that to happen. Therefore, if Russia
\nintervenes in Iran and the United States acts to protect its interests in the Middle East,
\nthere will be a confrontation between the two superpowers. (R, U, C, I, A, F)
\n10. Provide proof, using the rules of inference (see attached on last page), of the validity of the
\nfollowing arguments. Use IP or CP if you desire. (5 marks each. 20 marks total)
\na. 1. D ? C
\n2. ~(C \u2022 ~ S) \/? D ? S
\nb. 1. C ? (D \u2022 M)
\n2. ~ M \/? ~ C
\nc. 1. A ? H
\n2. (F v W) ? L \/? (H ? F) ? (A ? L)
\nd. 1. (K v L) ? (M \u2022 N)
\n2. (N v O) ? (P \u2022 ~ K) \/? ~ K
\nPART C:
\n1. Symbolic Translation. Translate the following ordinary language arguments into predicate logic using
\nthe suggested notation. (10 marks each. Total = 20 marks)
\na. Architects and dentists are well-paid professionals No well-paid architect eats at Burger
\nKing, and no professional shops at Giant Tiger. Therefore, no architect eats at Burger King
\nor shops at Giant Tiger.
\n(Ax: x is an architect; Dx: x is a dentist; Wx: x is well-paid; Px is a professional; Bx: x eats at Burger King;
\nSx: x shops at Giant Tiger.)
\nb. Some teachers are forced to take a second job. No individual who works at two jobs can be
\nfully alert on the job. A teacher who is not fully alert on the job will annoy students. So,
\nsome teachers will annoy students.
\n(Tx: x is a teacher; Jx: x takes two jobs; Ax: x is fully alert on the job; Sx: x annoys students)
\n2. Translate the following valid arguments into predicate logic using the suggested symbolic notation.
\nThen provide a proof of validity for each argument. (10 marks each. 20 marks total.)
\na. Smart people are tall. All tall people wear clothes. Thus, smart people wear clothes.
\n(Px, Tx, Sx)
\nb. Socrates is mortal. Therefore, everything is either mortal or not mortal (s: Socrates, Mx: x
\nis mortal.)
\n3. Provide proof, using the rules of inference and quantification rules (see attached on last page), of the
\nvalidity of the following valid argument. Use IP or CP if you desire. (5 marks)
\n1. (x) [Wx ? (Xx ? Yx)]
\n2. ( ?[Xx x) \u2022 (Zx \u2022 ~ Ax)]
\n3. (x) [(Wx ? Yx) ? (Bx ? Ax)]
\n? ( ?( Zx x) \u2022 ~Bx)
\n4. Proving Invalidity. The following arguments are invalid. Show them to be invalid using the finite
\nuniverse method. (5 marks each. Total = 10 marks)
\na. 1. (x) (Dx ? ~Ex)
\n2. (x) (Ex ? Fx)
\n? (x) (Fx ? ~Dx)
\nb. 1. (x) (Hx ? Mx)
\n2. ( ?(Mxx)\u2022 Bx)
\n? ( ?(Hx x) \u2022 Bx)<\/p>\n","protected":false},"excerpt":{"rendered":"
PHIL 1320 Term 2 Exam Instructions: This exam consists of three parts. Part A consists of questions concerning categorical logic. Part B consists of questions concerning propositional logic. Part C consists of questions concerning predicate logic. The mark for each Read More …<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-96772","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts\/96772","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/comments?post=96772"}],"version-history":[{"count":0,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts\/96772\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/media?parent=96772"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/categories?post=96772"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/tags?post=96772"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}