Philosophy 414 is an intermediate course in modern formal logic that is meant to
be accessible to undergraduate students with some philosophy or mathematics background. It is taught by Associate
Professor Jamie Tappenden of the Department of Philosophy.

Some of the grading will be done by Jon Shaheen

The class meets from 1:10-2:30 PM MW in room 2271 Angell Hall



Office Hours (Held in 2228 Angell Hall):
MW 3:00 – 4:00, or by appointment.

Send e-mail to tappen@umich.edu

Grades will be assigned using this formula: 30% final, 20% midterm, 50% homework.

The one exception to the formula is: if someone does markedly better in the second half of the course (i.e. shows significant

improvement over the term) then the later grades will be weighted a little more heavily, depending on the degree of improvement, etc.




IMPORTANT DATES

Monday October 18 – No Class – Fall Study Break


Wednesday October 20 -- Midterm Exam

Nov. 24 – Nov. 28  --- Thanksgiving Break

Dec. 13  --- Final Class

 

Required Texts: Introduction to Mathematical Logic (5th ed.) Eliot Mendelson

Gödel's Theorem: An Incomplete Guide to its Use and Abuse Torkel Franzén

On Formally Undecidable Propositions of Principia Mathematica and

Related Systems Kurt Gödel


More_or_less_EVERY_TWO_WEEKLY HOMEWORK

Problem sets will be due at the end of the weeks that they are due, by 3:00 Friday.

 Solutions to the problem sets will be posted right after they are due. LATE PROBLEMSETS WILL NOT BE ACCEPTED.

Part 1: Covers Chapter 1.1 – 1.5 Chapter 2.1, 2.2, 2.3 (Note: I assume that most of you have seen most or all of this before in Phil. 303 or similar course. So this will go fast. If you haven't seen it before, allow extra time to finish the problem set, and start it early!)

·         Assignment #1 Due Friday Sept. 24 -- Answers


Part 2: Covers Chapter 2.4 – 2.7


·         Assignment #2 Due Friday Oct. 8 -- Answers


Part 3: Covers 2.8 – 2.10, (Week before the test)


Then: 2.13, 2.14 (Week after the test)


·         Assignment #3 Due Friday Oct. 29   -- Answers


Part 4: Covers Chapter 3.1 – 3.3

Read ch. 1 – 3 of Franzén

·         Assignment #4 Due Friday Nov 12 -- Answers


Part 5 Covers 3.4, 3.5, 3.7

Read Ch. 4 – 5 of Franzén


·         Assignment #5 Due Friday Dec. 3 -- Answers


Part 6 Covers 3.6, 5.1, 5.2, 5.3


·         Assignment #6 Due Friday Dec. 10 -- Answers


 

 
Last updated Sept. 8 2010