Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2008

Handouts

Course Bibliography

pdf Syllabus

Class 1 Handout (Premises and Conclusions) (8/28)

Class 2 Handout (Validity and Translation) (9/1)

Class 3 Handout (Wffs and Translation) (9/3)

Homework Handout 1: Translating from Propositional Logic

Class 5 Handout (Conditionals) (9/8)

Class 10 Handout (Three-Valued Logics) (9/19)

Class 14 Handout (Rules of Implication) (9/29)

Class 16 Handout (Propositions and Logical Truths) (10/3)

Class 23 Handout (Modal Logic) (10/22) (Note, this handout is exactly the one we used in class; the notes are revised and improved.)

Class 25 Handout (Translation to Propositional Logic, I) (10/27)

Class 26 Handout (Translation to Propositional Logic, II)(10/29)

Class 27 Handout (Adequate Sets of Connectives) (10/31)

Homework Handout 2: Translating from Predicate Logic

Class 35 Handout (11/19)

Class 37 Handout (12/1)

Homework Handout 3: Translating from Relations

Class 39 Handouts (12/5):

Except
Only
Superlatives
At Least
At Most

Class 40 Handout (12/8)