Philosophy 201, Introductory Logic ++++++++++++++++++++++++++++++++++++++ Spring 2005 ----------- `Schedule `_ | `Syllabus `__ | `Handouts `_ | `Links `_ | Professor Hans Halvorson | E-mail: hhalvors | Phone: 8-1494 | Office hour: Monday 3-4pm in `Marx Hall`_, Room 210. **Assistants in Instruction.** ============== ======================== ======================= =============== _ \ at princeton Office (`1879 Hall`_) Office Hours -------------- ------------------------ ----------------------- --------------- David Gordon dagordon 114 TBA -------------- ------------------------ ----------------------- --------------- Jozef Muller jmuller 126 TBA ============== ======================== ======================= =============== **Announcements** - The final exam is on Thursday, May 19 at 1:30pm in `McCosh Hall`_, Room 10. - Professor Halvorson's office hours during final exams: Wednesday, May 18, 3-4pm. - Here is a `practice final exam`_. Here are `solutions`_, and `more solutions`_. - If you still don't understand how to figure out if a collection of "pure monadic" sentences is consistent, you might want to read `"Fun with Algorithms"`_. - Here is the handout on `semantics for the predicate calculus`_. (Revised on Fri, Apr 08) The original handout said to read the handout on disjunctive normal form. By "handout", I meant Appendix A of Lemmon's book. - Here are some `comments on how proofs are graded`_. .. _`more solutions`: handouts/practice-final.doc .. _`solutions`: http://www.princeton.edu/~dagordon/practicefinalkey.pdf .. _`practice final exam`: handouts/final-practice.pdf .. _`"Fun with Algorithms"`: handouts/algorithms.pdf .. _`practice midterm exam`: handouts/midterm-practice.pdf .. _`Homework 9`: handouts/hw9.pdf .. _`Homework 8`: handouts/hw8.pdf .. _`precept assignments`: http://www.princeton.edu/~dagordon/201precepts.html .. _`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 .. _`comments on how proofs are graded`: grading_proofs.html .. _`semantics for the predicate calculus`: handouts/semantics.pdf