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 10:10-11:00 AM MW in room G127 Angell Hall

 

Office Hours (Held in 2228 Angell Hall):
Monday 1:30-3:30

Or By Appointment

 

PRACTICE FINAL

PRACTICE FINAL SOLUTIONS

NOTE: I WILL BE GOING OVER THE PRACTICE FINAL SOLUTIONS (AMONG OTHER THINGS) IN THE PROBLEM SESSION

FRIDAY 10 – 12.

 

More examples of recursion and induction

 

The course webpage, with links to problem sets, and where supplementary material will be posted, is at:

http://www-personal.umich.edu/~tappen/303syl00.htm

 

 

 

Here is some material that I will cover in class Wed Oct 5

 

LIST OF INTRO AND ELIM RULES FOR DEDUCTION

 

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.


IMPORTANT DATES


Wednesday October 19 -- Midterm Exam

Oct. 17 – 18 --- Fall Study break

Nov. 24 – 25 --- Thanksgiving break

******MON DEC 12 ---- Final Test (in class) ----***********

 

Required Text: Logic, Algorithms and Formal Languages (chapters 1 – 7)

This book is part of a work in progress. The manuscript is available at this url:

(I will provide the password in class, and email it to the class email list)

 

Chapter II, which we’ll be covering this week and next, is up at:

 

http://www-personal.umich.edu/~tappen/logic-intro.zip

 

 

Chapter III is up at

http://www-personal.umich.edu/~tappen/logic-intro3.zip

 

Same password as before. Note that you are *NOT* responsible for anything in chapter III beyond page 95.

WEEKLY HOMEWORK

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 sets without cost to your grade.

 

 

 

Send e-mail to tappen@umich.edu

 
Last updated Sept. 6 2005.