Introduction to Logic

Philosophy 210

Spring 2009, TuTh 10:15-11:35

Room: LC-22

http://www.fecundity.com/courses

Professor:   P.D. Magnus

Campus phone: x2-4251

Office: HU-258B

Office hours: M 11:00-noon, Tu 2:45-3:45, and by appointment

TAs:   Ed DuBois, John Milanese

Campus phone: x2-4257

Office hours to be determined

Requirements

The text for the course, forall x, is available at the bookstore.

There will be five 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 jan22
Introduction (ch 1)
Tu jan27
Sentential logic (2.1-2.2)
Th jan29
continued (2.3-2.4)

QUIZ 1 handed out

Tu feb3
continued

QUIZ 1 collected

Th feb5
Truth tables (ch 3)
Tu feb10
continued

QUIZ 2 handed out

Th feb12
Quantified logic (4.1)

QUIZ 2 collected

Tu,Th feb16,19
WINTER BREAK
Tu feb24
QL (4.2)
Th feb26
QL (4.3)

QUIZ 3 handed out

Tu mar3
QL (4.4)

QUIZ 3 collected

Th mar5
QL (4.5)
Tu mar10
QL (4.6)
Th mar12
Review
Tu mar17
MIDTERM EXAM
Th mar19
Formal semantics (5.1)
Tu mar24
Models (5.2)
Th mar26
more models (5.3-5.4)

QUIZ 4 handed out

Tu mar31
more models (5.5)
Th apr2
Proofs (6.1)

QUIZ 4 collected

Tu apr7
Derived rules (6.2)
Th apr9
SPRING BREAK
Tu apr14
Proof strategy (6.6-6.7)
Th apr16
more proofs

QUIZ 5 handed out

Tu apr21
Proofs in QL (6.4)

QUIZ 5 collected

Th apr23
more proofs
Tu apr28
more proofs
Th apr30
Proofs meet semantics (6.8-6.9)
Tu may5
Conclusion
We may13, 1:00pm-3:00pm
FINAL EXAM




File translated from TEX by TTH, version 3.38.
On 26 Jan 2009, 23:25.