Teaching‎ > ‎2013 Fall‎ > ‎

Phil 450

Intermediate Symbolic Logic

This course will be taught from Boolos, Burgess, and Jeffrey, Computability and Logic

My office hours are Thursday, 2-4 pm.

There will be weekly proofs to write up (listed below), and each student will present proofs in class approximately once a week. There will be no final exam.

The readings and topics we will cover are (in order) the following:

Chapter 1 - enumerability

Chapter 2 - uncountability
Chapter 9 - syntax of first-order logic
Chapter 10 - semantics of first-order logic
Handout on deduction
Chapter 6 - primitive recursive functions
Chapter 7 - recursive functions and relations
Chapter 15 - computability and logic
Chapter 16 - representation of recursive functions in logic
Chapter 17 - the first incompleteness theorem

If you want a second source on any of this material, ask me for other notes.

Written homework assignments:

All exercises are from the Boolos, Burgess, and Jeffrey book unless otherwise mentioned.

Tuesday, September 3: Exercise 1.4
Tuesday, September 17: Exercise 2.2
Tuesday, September 24: Exercise 2.11
Tuesday, October 1: Show that every term has a formation sequence in which only sub-terms of that term appear.
Tuesday, October 8: Exercises 10.2, 10.3
Tuesday, October 15: Exercises 1 and 2 from section 1.4 of the handout on deductions
Tuesday, October 22: The Negation Theorem, section 3.2.4 of the handout on deductions
Tuesday, October 29: Exercises 6.7, 6.8
Tuesday, November 6: Exercises 7.5, 7.6, 7.7
Tuesday, November 12 (no assignment)
Tuesday, November 19: Exercises 15.6, 15.7
Tuesday, November 26: Exercise 17.8

Solutions to exercises that have already been turned in.