PHIL 310 Intermediate Logic

Time:	Mondays, Wednesdays, and Fridays 11:35am-12:25pm
Location:	LEA 15 (Leacock Building)

Instructor:	Dirk Schlimm [dirk.schlimm (at) mcgill.ca]
Office:	LEA 916
Office hour:	Mondays, 4:00-5:00pm (and by appointment)
TA:	Sophia Knight [sophia (at) cs.mcgill.ca]
Office hour:	Thursday, 12:30-2:00pm. McConnell 108

myCourses (WebCT Vista):

Discussion board, assignments, handouts.

What's new?

• The course is over. Thanks to all who participated!
• Exam preparation question have been posted on WebCT (4/15/08).
• See the "Schedule" section for time/place of review session and final exam (4/15/08).
• Handout No. 7: "Gödel's Second Incompleteness Theorem Via Löb's Theorem" is out (4/08/08).
• Assignment No. 12 is out (3/31/08).
• Handout No. 6: "Gödel's First Incompleteness Theorem Via Computability Theory" is out (3/31/08).
• Assignment No. 11 is out (3/31/08).
• Handout No. 5: "Summary of representability results" is out (3/23/08).
• Handout No. 4: "Proofs in first-order Dedekind-Peano Arithmetic" is out (3/23/08).
• Assignment No. 10 is out (3/23/08).
• Assignment No. 9 is out (3/14/08).
• Handout No. 3: "Tarski's Theorem via the Diagonal Lemma" is out (3/14/08).
• Assignment No. 8 is out (3/08/08).
• Assignment No. 7 is out (2/23/08).
• Assignment No. 6 is out (2/15/08).
• Assignment No. 5 is out (2/08/08).
• Handout No. 2: "Extending consistent sets" is out (2/05/08).
• Assignment No. 4 is out (2/04/08).
• Assignment No. 3 is out (1/25/08).
• Assignment No. 2 is out (1/18/08).
• Handout No. 1 on mathematical induction is out (1/08/08).
• Assignment No. 1 is out (1/08/08).
• First lecture: Friday, January 4.