## Thursday, May 4, 2017

See previous post for Monday's assignment.

Our final is Monday May 15th from 12:45 to 2:45.

The final exam will consist of the following:

Proofs: (2 pts. each)

A natural deduction proof of each of the following types:

• Propositional logic
• Predicate logic
• Predicate logic with identity and functions
• Predicate logic with identity, functions, membership and basic set theoretic concepts.
• Leibnizian modal logic
A rigorous English language proof of each of the following types:
• Set theory (as in HW 18)
• Weak induction (as in HW 19)
At least half of the proofs will be drawn directly from homework sets. All will be designed to test your basic comprehension of these methods.

Semantics: (7 pts. total)
• Evaluation of formulas in all of the above categories, as in HW's 3, 8 and 15. Models used will be similar, though not necessarily identical.
• Determining properties of functions, with explanations that makes explicit reference to definitions of these properties (as in HW 17.)
Short essay questions: (2 pts each)
• A few days before the final I will post 5 short essay questions of a somewhat philosophical nature.  They will focus on the material covered since the last test. Each will require some technical competence to answer as well. Three of these questions will be chosen randomly at the beginning of class.  (Everyone gets the same three questions.) You will have two options:
1. Answer two of the questions;
2. Answer all three questions and select one problem from the proof section for which it is to be substituted. If you exercise this option, you must make this selection explicitly; i.e., you may not answer both and get credit for the one you do best.
Clarifications:

You will specifically not be required to do proofs or refutation trees in Meinongian free logic or multi-valued logic (finite or infinite).

The rules for the final are the same as for the previous two tests. Your information sheet will be updated to include predicate logic definitions of essential set-theoretic concepts.