## Tuesday, February 28, 2017

## Monday, February 27, 2017

See previous posts for anything you may have missed.

## 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.

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

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

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.)

## Wednesday, February 15, 2017

## Tuesday, February 14, 2017

## Monday, February 13, 2017

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

## Thursday, February 9, 2017

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

## Monday, February 6, 2017

Wednesday's assignment is in the previous post.

## Saturday, February 4, 2017

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

## Thursday, February 2, 2017

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.

Subscribe to:
Posts (Atom)