Tuesday, February 28, 2017

Also, Javeeria just pointed out that I wrote the wrong answer down for the sample question on the model. It's fixed now. Thanks Javeeria.
I made an important clarification to the model that will be used for problem 5 on the test, specifically regarding the meaning of the successor function and the relation 'subsequent to."

Monday, February 27, 2017

Here is the model we will be using for the fifth problem on Wednesday.  The solutions to HW 7 are on the schedule page.

See previous posts for anything you may have missed.


There will be no homework due on Wednesday.  You will get 1 homework credit for showing up for the test and spelling your name correctly on the top of the paper.

Thursday, February 23, 2017

Wednesday, February 22, 2017

On Monday we'll finish working on the most recent homework in preparation for the test on Wednesday.  I'll post the complete solutions to the previous homework by

For Monday do problem 15 from the most recent homework.  I have actually changed it slightly to make it less complicated, so if you downloaded or printed it out already, get the new version.
Here is a link to the homework tally as of the end of last week. Scores are indexed to last four numbers of student id.  This link will also be on the top of the schedule page.

Tuesday, February 21, 2017

See previous two posts for other important stuff.

Here are the solutions to the first 6 problems of Homework 6. We did the first three in class. Study these solutions and bring any questions you have. We'll do a few more on this sheet and then get started on Homework 7 assigned below.


Monday, February 20, 2017

See previous post for Wednesday's homework.

On Wednesday my office hours will be from 8:45-10:45 rather than the usual 9-11.

Also, note that our first test is on March 1, a week from Wednesday. It is an in class test for which you will only require a few good pencils and a good eraser. Do not do it in pen. The test is closed book and you will have the entire period to do it. All of the problems will be drawn directly from the solved homework problems, with the exception of #3 below.  There will be five problems as follows:
1. A refutation tree in propositional logic.
2. A refutation tree in predicate logic.
3. 10 predicate logic formulas to be evaluated as true or false in a model.
4. A natural deduction proof in propositional logic.
5. A natural deduction proof in predicate logic (possibly including identity and functions.)
This is Wednesday's homework.  Turn in #4, 8 and 14.

Wednesday, February 15, 2017

I have posted full solutions to our most recent homework as HW5 on the schedule page. For Monday we move on to what we were previously scheduled to do today, derivations in predicate logic. This is it. Turn in problem 4 and 8.

Tuesday, February 14, 2017

Here is the announcement for the Nammour Symposium Student Essay Contest.  Please refer to the syllabus to see the incentive provided for participating in it. Note that the submission deadline is March 14th.

Monday, February 13, 2017

Correction to previous post. We will spend one more day doing natural deduction in propositional logic. Be sure to take this time to consolidate your memory of the inference rules and equivalences. For Wednesday homework turn in numbers 7 and 8.

I am unable to hold my usual office hours on Wednesday, but I will hold them directly after class from 2:45-4:25.



Sunday, February 12, 2017

Please see below for Monday's homework.

This is Wednesday's homework. Turn in problem 4 and 8.


Thursday, February 9, 2017

Please see yesterday's post.

Next week is natural deduction in predicate logic. On Monday we'll focus on natural deduction in propositional logic.  Make sure you reacquaint yourself with important rules of inference, especially disjunction elimination, conditional elimination and negation elimination.  These are all covered in the PHIL 60 modules indicated on our schedule page, and the rules are all summarized in the course tools section on the bottom of the PHIL 60 schedule page.

This is the homework for Monday. Turn in only problem number 10. We'll review as many as we can and move on to deduction in predicate logic on Wednesday.

Wednesday, February 8, 2017

The full solution to today's homework is available as HW4 on the schedule page.

Monday, February 6, 2017

Full solution to today's homework on evaluating predicate logic formulas in a model are on the schedule page and here. Let me know if you detect any mistakes.

Wednesday's assignment is in the previous post.

Saturday, February 4, 2017

Monday's assignment is below. On Wednesday we will plan to do trees in predicate logic. I do not have an audio lecture for predicate logic trees, but there is a set of slides provided in Module 10 of the philosophy 60 schedule.

This is the homework for Wednesday.  Turn in #6 and #10 in class on Wednesday.

Thursday, February 2, 2017

I have posted the solutions to the last homework as HW 2 in the schedule page. I have commented extensively on some of the ones that we didn't get to and I suggest reviewing it. I will add Monday's homework to this post sometime today.

This is your practice homework, which we will review on Monday.  Your turn in homework is to write down two different predicate logic formulas substantially different from any that occur in the practice homework and which pertain to the same model. Do not create new names or predicates. Evaluate these as true or false in the model and provide reasoning.

The relevant review material for this exercise is to be found in Module 10 on the Philosophy 60 schedule page.