Introduction to Logic

Philosophy 210

Fall 2007, TuTh 11:45-1:05

LC-2

http://www.fecundity.com/courses

Professor: P.D. Magnus

Campus phone x2-4251

Office hours: W 11:00-12:00, Th 1:30-2:30, and by appointment

Requirements

The text for the course, forall x, is available at Shipmates in Stuyvesant Plaza.

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 aug28

Introduction (ch 1)

Th aug30

Sentential logic (2.1-2.2)

Tu sep4

continued (2.3-2.4)

Th sep6

continued

QUIZ 1 handed out

Tu sep11

Truth tables (ch 3)

QUIZ 1 collected

Th sep13

NO CLASS

Tu sep18

continued

Th sep20

Quantified logic (4.1)

QUIZ 2 handed out

Tu sep25

QL (4.2)

QUIZ 2 collected

Th sep27

QL (4.3)

Tu oct2

QL (4.4)

Th oct4

QL (4.5)

QUIZ 3 handed out

Tu oct9

QL (4.6)

QUIZ 3 collected

Th oct11

continued

Tu oct16

MIDTERM EXAM

Th oct18

Formal semantics (5.1)

Tu oct23

Models (5.2)

Th oct25

more models (5.3-5.4)

QUIZ 4 handed out

Tu oct30

more models (5.5)

QUIZ 4 collected

Th nov1

Proofs (6.1)

Tu nov6

Derived rules (6.2)

Th nov8

Proof strategy (6.6-6.7)

QUIZ 5 handed out

Tu nov13

more proofs

QUIZ 5 collected

Th nov15

Proofs in QL (6.4)

Tu nov20

more proofs

Th nov22

THANKSGIVING

Tu nov27

more proofs

Th nov29

Proof with identity (6.5)

QUIZ 6 handed out

Tu dec4

Proofs meet semantics (6.8-6.9)

QUIZ 6 collected

Th dec6

Conclusion