Introduction to Logic

Philosophy 210
Fall 2009, TuTh 10:15AM - 11:35AM
Room: LC 1
http://www.fecundity.com/courses
Professor:   P.D. Magnus
Campus phone: x2-4251
Office: HU-258B
Office hours: M 11:00-12:00, W noon-1:00, and by appt.
TAs:  
Elliot Cross
John Milanese
Campus phone: x2-4257
Office hours to be determined

Requirements

The text for the course, forall x, is available at Copies Plus on the first floor of the Campus Center.
There will be six short quizzes throughout the term. Quizzes will be handed out in class. Students are responsible for completing quizzes and handing them in on or before the meeting indicated.

30% Quizzes
30% Midterm exam
40% Final exam

If students can find a substantive error in the textbook, then they are encouraged to point it out to the professor. The first student to report any particular error will receive a bonus equal to 1 point on a midterm exam.

Policies

No make-up exams or quizzes will be permitted without a documented medical excuse. Students who miss an exam with a legitimate excuse should e-mail me as soon as possible.

Cheating will not be tolerated.

Logic sits on the cusp of humanistic and formal disciplines. As such, this course may be used to fulfill the general education requirement for Humanities or for Mathematics. For more about General Education courses, see http://www.albany.edu/undergraduate_bulletin/general_education.html

Schedule

The schedule of topics is an approximation, but the dates of quizzes and exams will not change.
Tu Sep 1
Introduction (ch 1)
Th Sep 3
Sentential logic (2.1-2.2)
Tu Sep 8
continued (2.3-2.4)
Th Sep 10
continued
QUIZ 1 handed out
Tu Sep 15
Truth tables (ch 3)
QUIZ 1 collected
Th Sep 17
continued
QUIZ 2 handed out
Tu Sep 22
Quantified logic (4.1)
QUIZ 2 collected
Th Sep 24
QL (4.2)
Tu Sep 29
QL (4.3)
Th Oct 1
QL (4.4)
QUIZ 3 handed out
Tu Oct 6
QL (4.5)
QUIZ 3 due
Th Oct 8
QL (4.6)
Tu Oct 13
Review
Th Oct 15
MIDTERM EXAM
Tu Oct 20
Formal semantics (5.1)
Th Oct 22
Models (5.2)
last day to drop with a W
Tu Oct 27
more models (5.3-5.4)
Th Oct 29
more models (5.5)
QUIZ 4 handed out
Tu Nov 3
Proofs (6.1)
QUIZ 4 collected
Th Nov 5
Derived rules (6.2)
Tu Nov 10
Proof strategy (6.6-6.7)
Th Nov 12
more proofs
QUIZ 5 handed out
Tu Nov 17
Proofs in QL (6.4)
QUIZ 5 collected
Th Nov 19
more proofs
Tu Nov 24
more proofs
QUIZ 6 handed out
Th Nov 26
THANKSGIVING
Tu Dec 1
Proofs meet semantics (6.8-6.9)
QUIZ 6 collected
Th Dec 3
Conclusion
Fr Dec 11 10:30-12:30
FINAL EXAM