Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Fall 2008

Class Notes

42: The Right Logic? (12/12)

41: Derivations in Identity Theory (12/10)

40: More Identity Theory Translations (12/8)

39: Identity Theory (The Jigsaw Lesson) (12/5)

38: Derivations with Relations (12/3)

37S: Supplemental Notes on Translating with Relations and Prenex Normal Form

37: Translation with Relations, II (12/1)

36: Test #6 (11/21)

35: Translation with Relations, I (11/19)

34: Invalidity in Predicate Logic (11/17)

33: Quine and Ontological Commitment (11/14)

32: Conditional and Indirect Proof in Predicate Logic (11/12)

31: Changing Quantifiers (11/10)

30: Test #5 (11/7)

29: Quantifier Introduction and Elimination II (11/5)

28: Quantifier Introduction and Elimination I (11/3)

27: Adequate Sets of Connectives (10/31)

26: Translation to Predicate Logic I (10/29)

25: Translation to Predicate Logic I (10/27)

24: Test #4 (10/24)

23: Modal Logic (10/22) (There is (much) more here than we discussed in class, and what we did discuss is revised and improved.)

22: Logical Truths (10/20)

21: Indirect Proof (10/15)

20: Conditional Proof (10/13)

19: Test #3 (10/10)

18: Practice Proofs (10/8)

17: Rules of Replacement II (10/6)

16: Propositions and Logical Truths (10/3)

15: Rules of Replacement I (10/1)

14: Rules of Inference II (9/29)

13: Test #2 (9/26)

12: Rules of Inference I (9/24)

11: Invalidity and Consistency (9/22)

10: Three-Valued Logics (9/19)

9: Truth Tables for Arguments (9/17)

8: Truth Tables for Propositions (9/15)

7: Test 1 (9/12)

6: More Truth Functions (9/10)

5: Conditionals (9/8)

4: Truth Functions (9/5)

3: Translation and Wffs (9/3)

2: Validity and Translation (9/1)

1: Arguments (8/29)