Quarter: Winter
Instructor: Eric Pacuit
Instructor's Office Location: Room 92B, Building 90
Office Hours: Wednesday, 3:00PM - 4:30PM
Meeting Times: Monday, Wednesday and Friday, 10:00AM - 10:50AM
First Class: Wednesday, January 7, 2009
Location: Building 260, Rm 113
Class Email: philosophy151@lists.stanford.edu (messages will reach the instructor and all TAs)

Email: mdibello AT stanford DOT edu
Section Times: Thursday, 2:15PM - 3:05PM
Section Location: Building 200, Room 32
Office Hours: Tuesday, 2:00PM - 4:00PM
Office: Building 90, Room 92C

Email: wesholliday AT stanford DOT edu
Section Times: Tuesday, 4:15PM - 5:05PM
Section Location: Educ 130
Office Hours: Thursday, 3:15PM - 4:15PM (and by appointment)
Office: Building 100 Room 102K

Email: icard AT stanford DOT edu
Section Times: Monday, 2:15PM - 3:05PM
Section Location: Building 80, Room 115
Office Hours: Wednesday, 2:00PM - 3:00PM
Office: Building 100, Room 102K

Course Description:The aim of the course is to introduce you to the kinds of questions logicians ask about logics, the meta-theory of logic. To illustrate these questions, we will use propositional logic, modal logic and first-order logic. All these logics are important in philosophy, computer science, AI, linguistics and mathematics.

Course Material: Topics to be covered include syntax & semantics of propositional logic, modal logic and first-order logic; logical consequence; axiomatics systems; compactness; definability; completeness and computatability.

Prerequisites: The formal prerequisites are Phil 150, or consent of the instructor.

The course is based on the following textbook. The following texts are recommended for further reading:

Below is a schedule which will be updated as the course proceeds. The reading refers to sections from A Mathematical Introduction to Logic by Herbert Enderton. `vB' refers to the chapters from Johan van Benthem's new textbook on modal logic.

Homework assignments count for 50%, midterm 20% and final exam 30%. The lowest homework assignment will be dropped from the final tally, and you may hand in one homework assignment one class late. Otherwise, late homework will not be accepted. Midterm and final exam are take-home. Homeworks and the midterm are due at the beginning of class on Friday. Solutions will be made available at Tanner Library the following Monday or Wednesday after the assignment is due.

For the midterm and final exams, you may NOT collaborate with others in any way. For the homework assignments, you are encouraged to work in small groups. You may discuss the problems with one another or with me or the TAs as much as you want. But you must always do the final write-up completely on you own. A good strategy when working together is to use a blackboard and erase it completely before writing up your (separate) answers. Please write the name of your discussion partners on the front page of your homework assignments.

Midway Grades: Many students have asked about how to determine their current score for the course. In order to take into account the fact that the midterm and homeworks are weighted differently, use the following formula to calculate your score (out of 50): ((HW1+HW2+HW3)/170)*30 + ((MID/100)*20)
So, if you have received perfect scores on all homeworks and the midterm, you would have a score of 50. The following table gives the number of students in each of the ranges:

Midway Grades

Range	Number of Students
48 - 49	5
39.5 - 47.5	19
34 - 39.5	10
28 - 32	9
13.5 - 27	7