**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*
(5^{th} 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