Philosophy 201, Introductory Logic
++++++++++++++++++++++++++++++++++++++
.. meta::
:http-equiv=PRAGMA: NO-CACHE
Spring 2006
-----------
`Schedule `__ | `Syllabus `__ | `Handouts `_ | `Links `__
| 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.**
================= ======================== ======================= ===============
_ \ 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
================= ======================== ======================= ===============
.. |date| date:: %a, %b %d, %Y
**Announcements** (last updated: |date|)
- 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 <../phi201_f2001/restricted/review.pdf>`__, from a previous year's course. (A `few solutions `__)
- Here is a `handout <201terms.pdf>`__ 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.
.. _`Marx Hall`: http://www.princeton.edu/cgi/map/bq?building=Marx+Hall
.. _`McCormick Hall`: http://www.princeton.edu/cgi/map/bq?building=McCormick+Hall
.. _`1879 Hall`: http://www.princeton.edu/cgi/map/bq?building=1879+Hall
.. _`McCosh Hall`: http://www.princeton.edu/cgi/map/bq?building=McCosh+Hall