Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2008

Preparation for Test 5

Test 5 will cover derivation in predicate logic, §8.2-§8.4, as well as proofs of invalidity, §8.5. There will be no translation. Here is a practice test.

§8.2: I.6
§8.3: I.12
§8.4: I.7, 16
§8.5: II.7, 8, 9

Those problems are a bit longer than the test. But, the test includes an argument which is not labelled as either valid or invalid. You will be asked to determine whether the argument is valid or invalid, and then either prove it, or provide a counter-example.

To be clear, the test will have three parts:

Part I: Three valid arguments; provide derivations (60 points, 20 each)
Part II: Two invalid arguments; provide counter-examples (30 points, 10 each)
Part III: One argument; determine if valid or invalid, then prove or provide a counter-example (10 points)