Symbolic Logic (PHIL 4160)
Spring 2012

Study Guide for Test 1

· Date: Thursday February 2

· This test will be worth 20% of your total course grade. Possible score: 100 out of 100 points.

· This is a timed test. You will have 75 minutes to complete it.

· You will need to supply your own paper; I prefer that you use a blue book, but notebook paper is also acceptable. Do not write anything on your notebook or your blue book before the test begins, including your name—I will check your paper / blue book before the test starts to ensure you are beginning with blank paper.

Section A: Symbolization (40% of test grade)

· similar problems are in your textbook: exercises 2-3, 2-4, 2-5, 2-6, and 2-7

· INSTRUCTIONS: "Symbolize the following sentences..."

Section B: Translation (20% of test grade)

• similar problems are in your textbook: exercise 2-8
• INSTRUCTIONS: “Translate the following into more or less colloquial English sentences, using the following sentence constants...”

Section C: Sentence Forms (10% of test grade)

• 2 problems worth 5 points each; 10 points total
• similar problems are in your textbook: exercise 3-5
• INSTRUCTIONS: “Determine the sentence forms of which the following are substitution instances...”

Section D: Tautologies, Contradictions, and Contingent Sentences (10% of test grade)

· similar problems are in your textbook: exercise 3-6

· INSTRUCTIONS: "Using the tabular truth table method, show that each of the following sentences is either a tautology, a contradiction, or contingent. Make sure you display the complete truth table, and remember to say which sort of sentence each sentence is.”

Section E: Logical Equivalence (10% of test grade)

· similar problems are in your textbook: exercise 3-7

· INSTRUCTIONS: "Use the tabular truth table method to determine whether the following pairs of sentences are logically equivalent. Make sure you display the complete truth table, and remember to say whether the sentences in each problem are equivalent.”

Section E: Validity (10% of test grade)

· similar problems are in your textbook: exercise 3-8

· INSTRUCTIONS: "Use the tabular truth table method to determine which of the following arguments are valid and which are invalid. Make sure you display the complete truth table. Also make sure that you state whether the argument is valid or invalid and indicate which line(s) of the table show(s) that it is valid or invalid."