false

Class Notes
(836,969)

United States
(324,852)

Philosophy
(46)

2250
(23)

James Hildebrand
(23)

Lecture

Unlock Document

Philosophy

2250

James Hildebrand

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

Join OneClass

Access over 10 million pages of study

documents for 1.3 million courses.

Sign up

Join to view

Continue

Continue
OR

By registering, I agree to the
Terms
and
Privacy Policies

Already have an account?
Log in

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.