Introduction to Logic

Philosophy 210

Fall 2005, TuTh 11:45-1:05, LC 0021

http://www.fecundity.edu/courses

Professor:   P.D. Magnus

Campus phone x2-4251

Office hours:   W 2:00-3:00, Th 1:15-2:15

and by appointment

Textbook:   The text for the course is available at Shipmates.

Requirements

45% Quizzes

15% Midterm exam 1

15% Midterm exam 2

25% 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.

Schedule

The schedule of topics is an approximation, but the dates of quizzes and exams will not change.

Tu 8/30

Introduction (ch 1)

Th 9/1

Sentential logic (ch 2.1-2)

Tu 9/6

ch 2.3-4

Th 9/8

ch 2, cont.

quiz 1 handed out

Tu 9/13

Truth tables (ch 3)

quiz 1 collected

Th 9/15

ch 3, cont.

Tu 9/20

ch 3, cont.

Th 9/22

Quantified logic (ch 4.1-2)

quiz 2 handed out

Tu 9/27

ch 4.3-4

quiz 2 collected

Th 9/29

ch 4.5

Tu 10/4

NO CLASS

Th 10/6

Identity (ch 4.6)

Tu 10/11

EXAM 1

Th 10/13

NO CLASS

Tu 10/18

Formal semantics (ch 5.1)

Th 10/20

ch 5.2-3

quiz 3 handed out

Tu 10/25

ch 5.4-5

quiz 3 collected

Th 10/27

ch 5, cont.

Tu 11/1

Proofs (ch 6.1)

Th 11/3

Derived rules (ch 6.2)

quiz 4 handed out

Tu 11/8

Proof strategy (ch 6.6)

quiz 4 collected

Th 11/10

Proof theoretic concepts (ch 6.7)

Tu 11/15

EXAM 2

Th 11/17

"E, $I (ch 6.4)

Tu 11/22

"I (ch 6.4, cont.)

Th 11/24

NO CLASS

Tu 11/29

$E (ch 6.4, cont.)

Th 12/1

Rules for identity (ch 6.5)

quiz 5 handed out

Tu 12/6

Proofs and models (ch 6.8-9)

quiz 5 collected

Th 12/8

Conclusion