Philosophy 303 is an introduction to modern formal logic that is meant to
be accessible to undergraduate students at all levels. It is taught by Associate
Professor Jamie Tappenden of the Department of Philosophy.
The class meets from MW in room G127 Angell Hall
Office Hours (Held in 2228 Angell
Or By Appointment
Send e-mail to firstname.lastname@example.org
Grades will be assigned using this formula: 40% final, 20% midterm, 40% homework.
The class will be “curved” so final grades may be higher than raw grades (raw grades will not be lowered, though)
The one exception to the formula is: if someone does markedly better in the second half of the course (i.e. shows significant
improvement over the term) then the later grades will be weighted a little more heavily, depending on the degree of improvement, etc.
Wednesday October 17 -- Midterm Exam
Oct. 15 – 16 --- Fall Study break
Nov. 22 – 23 --- Thanksgiving break
******MON DEC 10 ---- Final Test (in class) ----***********
Required Text: Logic, Algorithms and Formal Languages (chapters 1 – 9)
This book is part of a work in progress. The manuscript is available at this url:
(I will provide the password in class.)
Problem sets will be due at the end of nearly every week. (Except the week of the midterm, and the week before the final test.)
Solutions to the problem sets will be posted right after they are due. LATE PROBLEMSETS WILL NOT BE ACCEPTED.
The grades will be calculated in terms of your best ten problem sets (discarding the lowest) so if there is some emergency or conflict, you can miss a problem set without a zero counting toward your grade. If you need to miss more than one, you’ll need a good reason, of the “documented illness or family emergency” variety.
· Midterm Wednesday Oct. 17
Last updated Oct. 31 2007.