Philosophy 159/Linguistics 135
Syllabus
Professors
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)
Office: 92G
Phone: 723-0855; Electronic Mail: etchemendy@csli
Mailbox in 91L Office Hours: W/F 10:00-11:00
Class Meetings
Monday, Wednesday, and Friday: 9:00-9:50 in 60-61H
Course Description
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.
Required Text
Course Requirements
6 sets of homework exercises (50 pts. each)
1 midterm exam (150 pts.)
1 final exam (300 pts.)
COURSE SCHEDULE
NOTE: Students are expected to have read the material by classtime of the day indicated.
October
November
December
Grading Policies
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.