Introduction to Logic

Philosophy 210

Fall 2006, MWF 1:40-2:35

HU-123

http://www.fecundity.com/courses

Professor: P.D. Magnus

Office hours: Tu 11-12, W 2:45-3:45, and by appointment

Requirements

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

There will be four short quizzes throughout the term. Quizzes will be handed out in class. Students are responsible for completing quizzes and handing them in on the date indicated.

20% Quizzes

25% Midterm exam 1

25% Midterm exam 2

30% Final exam

If students can find a substantive error in the textbook, then they are encouraged to send an e-mail mentioning it 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.

W sep6

Introduction (ch 1)

F sep8

Sentential logic (2.1-2.2)

M sep11

continued (2.3)

W sep13

continued (2.4)

F sep15

continued

QUIZ 1 handed out

M sep18

continued

QUIZ 1 collected

W sep20

Truth tables (ch 3)

F sep22

NO CLASS

M sep25

continued

W sep27

continued

F sep29

continued

QUIZ 2 handed out

M oct2

NO CLASS

W oct4

Quantified logic (4.1-4.2)

QUIZ 2 collected

F oct6

QL (4.3)

M oct9

W oct11

QL (4.4)

F oct13

MIDTERM I

M oct16

QL (4.5)

W oct18

QL (4.6)

F oct20

M oct23

Formal semantics (5.1)

W oct25

Models (5.2)

F oct27

more models

QUIZ 3 handed out

M oct30

more models (5.3)

QUIZ 3 collected

W nov1

more models (5.4)

F nov3

more models (5.5)

M nov6

Proofs (6.1)

W nov8

proof

F nov10

Derived rules (6.2)

M nov13

Proof strategy (6.6)

W nov15

strategy (6.7)

F nov17

MIDTERM II

M nov20

et cetera

W nov22

NO CLASS

F nov24

NO CLASS

M nov27

Proofs in QL (6.4)

W nov29

proof

F dec1

proof

QUIZ 4 handed out

M dec4

Proof with identity (6.5)

QUIZ 4 collected

W dec6

Proofs meet semantics (6.8-6.9)

F dec8

more proofs

M dec11

Conclusion