Philosophy 0690: Handouts
Problem sets have their own page.
Readings
- Richard Heck, "Formal Background for Theories of Truth"
(PDF)
- Kurt Gödel, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I"
(DJVU)
- George Boolos, The Logic of Provability, Ch. 2.
(DJVU)
- Solomon Feferman, "Arithmetization of Metamathematics in a General Setting"
(PDF)
Logic Background
If you have not previously had any logic, you will need to do some catch-up along the way, and definitely when we get to that material. Here are some online textbooks, or something of the sort, that might help.