This is homework we'll review on Wednesday. You will not turn it in, but bring your work to class as I'll call on people to provide their answers.

For your turn-in assignment do the following.

Translate the following into predicate logic.

• A king is dead.

Now translate this to the best of your ability.

• The king is dead.

Explain the difference between these two sentences and explain how your translation captures that difference.

I just uploaded a bookmarked copy of our primary text Logics into the readings folder on Blackboard. This functions as a clickable table of contents and makes it easier to use. I think you probably need to be using Adobe Reader. You will not see it right when you open the document. You need to click on the bookmark icon in the sidebar on the left. It's the one right above the paper clip.

Please see the previous post for your Monday assignment.

This is the homework due Monday at the beginning of class.  On Monday we will review some of these, and then move on to predicate logic as scheduled.

Note that in class we will not specifically cover natural deduction in propositional logic, since all the natural deduction rules are subsumed within natural deduction in predicate logic. However, most of you will still want to review this material, since this is where the book and my lectures introduces the rules employed there.

Also, I know that the pdf of the book Logics, which is currently available in Blackboard, is more than a bit irritating to use because it is so long and it does not contain clickable bookmarks. I am fixing that, and should have one bookmarked to chapters and subsections available by tomorrow.

Please feel free to email me with any questions you have before class. I will get back to you promptly or at least let you know when to expect a response.

In case I wasn't clear about this enough in class, please note that when you are reviewing materials from my Philosophy 60 course, you are not required to do any specific exercises or homework that I do not specifically assign. It is there strictly so that you can brush up on your propositional and predicate logic knowledge.

Hi and welcome back to spring semester.

This is where you are going to come on a daily basis to find out what's going on in class.  The syllabus is currently available, though subject to minor revisions. I'll be working to get the schedule done this week. If you are anxious to brush up on your elementary logic skills early, then you can go to the schedule page of my Philosophy 60 course. We'll begin the course by reviewing propositional and predicate logic using the material developed there.

See you in class!