Introduction to Logic

Philosophy 210
Spring 2011, TuTh 10:15-11:35
Room: LC-20
http://www.fecundity.com/courses
Professor:   P.D. Magnus
Campus phone: x2-4251
Office: HU-258B
Office hours: M noon-1:00, Th noon-1:00, and by appointment
TA:   Chris Andreski
Campus phone: x2-4257
Office hours to be determined

Requirements

The text for the course, forall x, is available at Mary Jane Books 215 Western Avenue (the corner of Western and Quail); 465-2238.
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.
Th jan20
Introduction (ch 1)
Tu jan25
Sentential logic (2.1-2.2)
Th jan27
continued (2.3-2.4)
QUIZ 1 handed out
Tu feb1
continued
QUIZ 1 collected
Th feb3
Truth tables (ch 3)
QUIZ 2 handed out
Tu feb8
continued
QUIZ 2 collected
Th feb10
Quantified logic (4.1)
QUIZ 3 handed out
Tu feb15
QL (4.2)
QUIZ 3 handed out
Th feb17
QL (4.3)
feb22,24
WINTER BREAK
Tu mar1
QL (4.4)
Th mar3
QL (4.5)
QUIZ 4 handed out
Tu mar8
QL (4.6)
QUIZ 4 collected
Th mar10
Review
Tu mar15
MIDTERM EXAM
Th mar17
Formal semantics (5.1)
Tu mar22
Models (5.2)
Th mar24
more models (5.3-5.4)
QUIZ 5 handed out
Tu mar29
more models (5.5)
QUIZ 5 collected
Th mar31
Proofs (6.1)
Tu apr5
Derived rules (6.2)
Th apr7
Proof strategy (6.6-6.7)
QUIZ 6 handed out
Tu apr12
more proofs
QUIZ 6 collected
Th apr14
Proofs in QL (6.4)
apr19,21
SPRING BREAK
Tu apr26
more proofs
Th apr28
more proofs
Tu may3
Proofs meet semantics (6.8-6.9)
Th may12, 1:00-3:00
Final exam