__or__problems worked out in the notes, and this will be the case on the actual test as well. The other problems will be similar, but not identical. The essay questions listed are the ones that will be used for the final. You will have two hours to do this test.

# Philosophy 160 Deductive Logic II

## Monday, December 4, 2017

## Friday, December 1, 2017

*The Infinite*, by A.W. Moore which is available as an e-text through our library, though the accompanying slides should be adequate. Thursday we will cover Gödel's incompleteness results. Slides on this draw mostly from Chapter 12 of the same book.

Tuesday turn-in homework is the following question:

State the specific contradictions implied by (a) Russell's Paradox and (b) The Burali-Forti Paradox. In what interesting sense do theproofsof these results resemble each other?

Thursday's turn-in homework is the following question:

Clearly identifythreesignificant errors in the following.

Church's theorem shows that predicate logic is incomplete. This means that there will never come a time when we can be sure that it is finished. Gödel proved the same thing about math, showing that there are mathematical truths that we will never be able to prove.

## Tuesday, November 28, 2017

Tuesday we will focus on the last half of Lecture slides 2.4 (beginning with the first slide with the heading: Cardinality of sets. We will work as many problems on this sheet as we have time for.

Thursday we will move on to mathematical induction, focusing on the lecture slides and section 4.1 of the text. Turn in problems 1 & 3 from this sheet.

## Sunday, November 19, 2017

## Friday, November 17, 2017

Subscribe to:
Posts (Atom)