Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2009

Handouts

Course Bibliography

pdf Syllabus

Homework Handout #1: Translating from Propositional Logic

Homework Handout #2: Rules of Implication

Homework Handout #3: Practice Problems for Test #3

Homework Handout #4: Translating from Predicate Logic

Homework Handout #5: Translating from Relations

Homework Handout #6: Functions

Homework Handout #7: Second-Order Quantifiers

Note: See here for solutions to the HW Handouts

Class 1 Handout: Arguments

Class 2 Handout: Translation

Class 4 Handout: Philosophy Friday #1: Conditionals

Class 13 Handout: Philosophy Friday #3: Three-Valued Logics

Class 19 Handout: Philosophy Friday #4: Adequate Sets of Connectives

Class 20 Handout: Translation to Predicate Logic, I

Class 22 Handout: Translation to Predicate Logic, II

Class 24 Handout: Philosophy Friday #5: Truth and Liars

Class 25 Handout: Changing Quantifiers

Class 31 Handout: Relations I

Class 32 Handouts: Relations II

Class 33 Handout: Philosophy Friday #6: Quine and Ontological Commitment

Class 35 Handouts: The Identity Jigsaw

Except
Only
Superlatives
At Least
At Most

Class 36 Handout: Philosophy Friday #7: Modal Logic

Class 37 Handout: Identity Translations

Class 40 Handout: Functions

Class 41 Handout: Second-Order Logic

Class 42 Handout: Philosophy Friday #8: The Right Logic?