PHIL Syllabus

Printable Version

PHIL 120A Summer 2006 MTWThF 1200-100 BNS 115

Instructor Gabriela Remow

Email angelic1@u.washington.edu

Office SAV 331B

Office Hours Wed Thu 1:10-2:10 p.m.

Course Web site http://staff.washington.edu/angelic1/logic/

Text Beginning Logic, E.J. Lemmon, Hackett, 1978

Requirements In-class quizzes, homework, two hourly exams, and a final exam

Grading In-class quizzes 20%

Homework 20%

Two Hourly Exams 20% each

Final Exam 20%

The aim of this course is that you become acquainted with, and learn to manipulate, a formal system of deduction and acquire some proficiency in the techniques of formally symbolizing and evaluating deductive arguments. The course covers both propositional and quantificational logic. Regular attendance is highly recommended.

Weeks	Topics	Sections	Pages	HW

1-2 June 19-June 30	Definitions, Truth Tables, Safeness, Completeness	1.1, 2.1, 2.3-5	1-5, 8, 11-12, 42-50, 64-91	Online “Handout” Due Wed., June 28

2	*1^st Exam* Fri., June 30

3-5 July 3-21	Rules and Proofs for Propositional Logic	1.2-1.5, 2.2	5-41, 49-64	Online “Handouts” Due Mon., July 10 Due Mon., July 17

5	*2^nd Exam* Fri., July 21

6-9 July 24-Aug. 18	Rules and Translation and Proofs for Predicate Logic	3.1-4.3	92-168	Online “Handouts” Due Fri., Aug. 4 Due Fri., Aug. 11

Final Exam: Last Regular Class Session, Friday, Aug. 18, 2006, 12-1 p.m.

PHIL 120B Home