Philosophy 201, Introductory Logic

Spring 2006

Professor Hans Halvorson
E-mail: hhalvors
Phone: 8-1494
Office Hours during Reading Period and Exams: Friday, May 12 (2-3pm), Wednesday, May 17 (2-3pm), and Thursday, May 18 (2-3pm). In Marx Hall, Room 210.

Assistants in Instruction.

_	<email> at princeton	Office (1879 Hall)	Office Hours
Lara Buchak	lbuchak	227	Wed 1:30-3pm
Mark Budolfson	mbudolfs	126	Tue 5-6pm
Su Kim	sukim	108	Tue 12noon-1pm
Juan Srodek	jsrodek	227	Tue 11am-12noon
Cecilia Tilli	ctilli	114	TBA

Announcements (last updated: Wed, May 17, 2006)

Here are solutions and more solutions to the second half of the practice final exam.
Here are answers to the first few problems of the practice final exam.
Update: The second review session will be at 3pm on Wednesday, May 17, instead of 1pm as originally announced.
Answer keys to all homeworks have been posted on the Handouts page.
Two Review Sessions to go over the practice final exam, and to answer other questions: Session 1: Thursday (5/11) 1pm at McCosh Hall 2 (We'll be going over the Short Answer section, the Translation section, and problems 1 and 2 of the Proofs and Counterexamples section.) Session 2: Wednesday (5/17) 3pm at McCosh Hall 2 (We'll be going over problems 3 and 4 of the Proofs and Counterexamples section and the Metatheory section.) The sessions should run about an hour each. Send additional requests for the review sessions to Su Kim (sukim@).
Here is a practice final exam. Solutions will be discussed during the review sessions.
Homework 9 will be the last homework assignment of the semester.
Here are some notes on the completeness theorem.
Here are some notes on the soundness theorem.
Homework 9. Note: Your answers in part B will be propositional functions, not wffs.
Here are some predicate logic practice proofs.
Here is a handout for the week of April 11.
Here is the grade curve at midsemester.
Here are more practice problems, from a previous year's course. (A few solutions)
Here is a handout to help with terms and definitions for the midterm exam.
Here is a practice midterm exam (some solutions).
Here are some notes on the criteria we apply in grading proofs.
Here are some practice proofs, and some hints.
Here is a handout on proof strategies, by Mark Budolfson.
Some of the precept times are listed incorrectly in the Blackboard system: Precept 11 (Budolfson) should be Tue 11am, not Tue 3:30pm, and Precept 12 (Halvorson) should be Tue 11am, not Wed 10am. It is possible that some email notifications were incorrect because of this glitch.
Precept room assignments. Please direct queries about your precept assignment to Mark Budolfson (mbudolfs).
Here is the handout covering the "Stage 1" rules of inference.