Class Notes (836,969)
United States (324,852)
Philosophy (46)
2250 (23)
Lecture

Term 1 Instructions and announcements.docx

5 Pages
108 Views
Unlock Document

Department
Philosophy
Course
2250
Professor
James Hildebrand
Semester
Spring

Description
Dec. 7: Review session #3: Metatheory for SL; truth-functional vrs. modal vrs. logical properties and relations Dec. 5: Review session #2: Trees for SL and derivations for SL and MSL Hand in answers to Exercise 3 #1h, j and #2f, j, p in the notes on MSL. Also hand in answers to 5.3#6-7h, 9-10h, and 9j (do not use SD+) and 5.4#1-5f (use SD+) Dec. 2: Review session #1: Translation and syntax of SL and MSL Nov. 30: Read the second half of the notes on MSL. Do the answered exercises in these notes. Hand in answers to 5.3#6-10f (do not use SD+), 5.4#1-5d (use SD+); Exercise 2 b,d,f,h in the notes on MSL. Nov. 28: Read the notes on MSL (modal sentential logic) up to the start of the semantics section. Do the answered exercises in these notes. Nov. 25: Read Ch. 5.4. Do as many of the answered exercises as you can. Hand in answers to 4.6 #1L, n, p, #2b, d; 4.7#1f, j; #2b, d; 5.3#6-10d. For the trees, be sure to state what your tree proves and what it is about your tree that proves it and recover a tva from the leftmost open branch if there is one. Nov. 23: Read Ch. 6.4 and the notes on the completeness of SD. Do as many of the answered exercises as you can. Nov. 21: Read Ch. 6.3 and the notes on the soundness and consistency of SD. Do as many of the answered exercises as you can. Hand in answers to 4.5#2j, l, n; #3h, j and #4 starred (for the trees, be sure to state what your tree proves and what it is about your tree that proves it and recover a tva from the leftmost open branch if there is one; for #3 be sure to show that you can recover and count up truth value assignments as requested; for #4 give arguments or examples as appropriate). Also hand in answers to 5.3#6b, 7b, 8b, 9b, 10b. Nov. 18: Read the notes on the soundness and completeness of the tree method and the compactness of SL. Nov. 16: Read the notes on mathematical induction and Ch. 6.1. Do as many of the answered exercises as you can. Pay particular attention to 6.1E #1e, which proves the extensionality metatheorem for SL. Hand in answers to 4.4#1 h, j, l and #2 starred. For #2 be sure to give examples or arguments, as appropriate. For the trees, be sure to recover a tva from the leftmost open branch if there is one. Also hand in answers to 5.3#1 p and r, #2l, and #3n. Nov. 14: Read the notes on the decidability of the tree method and finish reading ch 4. Do as many of the answered exercises as you can. Nov. 11: Read Chs. 4.4 and 4.5. Do as many of the answered exercises as you can. It is particularly important to check your work against the solutions in the student solutions manual and set your trees up in the way you see trees being done there. Hand in answers to 4.3 #2 starred questions. Do not attempt these exercises before doing a number of the earlier ones in this chapter and verifying that you are answering the questions in the way they are answered in the solutions manual. If you haven’t practiced beforehand, only hand in two or three trees (otherwise you will just make the same mistakes over and over again on subsequent questions — and you will make so many mistakes without prior practice and self-correction that the numerous trivial errors will paper over the more sophisticated ones, making it pointless to submit more than a couple of exercises). Remember to recover a truth value assignment from the leftmost open branch of your tree, should there be one. Also hand in answers to 5.3 #1L and n; #2j; #3j and L Nov. 9: Read Chs. 4.1-4.3. Do as many of the answered exercises as you can. It is particularly important to check your work against the solutions in the student solutions manual. Nov. 7: Finish reading Chs. 5.2-5.3. Continue doing as many of the answered exercised in 5.3 as you can, checking your work against the solutions in the solutions manual. Hand in answers to starred questions in Ch. 2.2#3-4 and 2.3. In 2.2#3b “in which case” means “in the case that they are plagued with injuries” (this really is the case discussed in the previous clause, though it is there qualified as not arising); in #3h it means “in the case that it rains during most of the competition.” for 2.3, be sure to provide a translation key. Your translation key should assign complete English sentences to sentence letters of SL, not just names or phrases. Also hand in answers to Ch. 5.3#1h, 1j, 2h, 3h, and 5h. Submit, by e-mail, answers to Ch. 3.6#2-4 starred. Nov. 4: Read Chs. 5.2-5.3. Continue doing as many of the answered exercised in 5.3 as you can, checking your work against the solutions in the solutions manual. Nov. 2: Read Chs. 2.3 and 5.1. Do as many of the answered exercises as you can, checking your work against the solutions in the solutions manual. Hand in answers to Ch. 2.1#4b and d (be sure to read pp. 36-38 before answering these); #5h, j, l, n, p, r; #7b, d, f, h; and Ch 5.3#1-5f for #7, be sure to provide a translation key. Your translation key should assign complete English sentences to sentence letters of SL, not just names or phrases. Submit, by e-mail, answers to 3.5#5b, d; 3.6#1b Oct. 31: Finish reading Chs. 2.1-2.2 and the translation guidelines. Do as many of the answered exercises as you can, checking your work against the solutions in the solutions manual. Oct. 28: Read Chs. 2.1-2.2 and the translation guidelines. Do as many of the answered exercises as you can, checking your work against the solutions in the solutions manual. Hand in answers to 3.5#1-3 b and d and 5.3#1-5d. Be sure to construct the “corresponding material conditional” for 3.5#3. As before, be sure to follow the example of how these questions are answered in the solutions manual and note that you must follow the truth table set up instructions or you will not receive credit for this assignment. Submit, by e-mail, answers to 3.2 #5b and d, 3.3#4b, and 3.4#4b and d. You can use “>” for the horseshoe and “=” for the triple bar. Pay attention to how the unstarred questions in this set are answered in the solutions manual and follow the metatheory proof tips. Oct. 26: Read the notes on the truth-functional completeness of SL and/or Ch. 6.2 up to the end of the first paragraph on the top of p.255 (or both, whichever makes the most sense to you). Also study the 6.2 exercises. Oct. 24: Read (and understand) the student solutions manual answers to the unstarred questions in 3.2#5, 3.3#4, 3.4#4, 3.5#5 and 3.6 (all). Try to do these exercises on your own in advance of reading the solutions and then modify your solutions for conformity to what you find in the answers. Hand in answers to 3.2 #1-3 b and d and 3.3-3.4 #1-2 b and d. As before, be sure to follow the example of how these questions are answered in the solutions manual and note that you must fo
More Less

Related notes for 2250

Log In


OR

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


OR

By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.


Submit