Philosophy 159/Linguistics 135
Prof. Edward N. Zalta, Philosophy Dept. (2/3 of the lectures)
Office: Ventura Hall B1
Phone: 723-0345; Electronic Mail: zalta@csli
Mailboxes in 91L (Philosophy) and in Ventura Hall AB
Office Hours: Tu/Thurs 10:00-11:15
Prof. John Etchemendy, Philosophy Dept. (1/3 of the lectures)
Phone: 723-0855; Electronic Mail: etchemendy@csli
Mailbox in 91L Office Hours: W/F 10:00-11:00
Monday, Wednesday, and Friday: 9:00-9:50 in 60-61H
An informal introduction to the basic concepts and techniques used in mathematical logic: sets, functions, propositional logic, predicate logic, representing English sentences in logical notation, proofs, and mathematical induction.
6 sets of homework exercises (50 pts. each)
1 midterm exam (150 pts.)
1 final exam (300 pts.)
NOTE: Students are expected to have read the material by classtime of the day indicated.
1. The course schedule is tentative and the professors reserve the right to make changes in the schedule. All such changes will be announced in class.
2. NO LATE HOMEWORKS, NO MAKEUP EXAMS and NO INCOMPLETES, unless special permission is granted by one of the professors in advance. Such permission will be granted only in the case of exceptional circumstances (such as a genuine emergencies, etc.), though some leniency for late homeworks can be expected.
3. Participation in class and/or steady improvement will be considered in determining your final grade, especially in borderline cases.
4. Reevaluations: Students may request a reevaluation of any exam or homework set if they feel that it has been incorrectly graded. The work must be resubmitted within two weeks of the date the exam or exercise was graded and returned.