Class Notes

Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Fall 2009

Class Notes

42 - The Right Logic (Friday, December 11)

41 - Second-Order Logic (Wednesday, December 9)

40 - Functions (Monday, December 7)

39 - Derivations Using Identity II (Friday, December 4)

38 - Derivations Using Identity I (Wednesday, December 2)

37 - Translation with the Identity Predicate II (with an extended appendix, in response to Nick's question in class, on how Russell's analysis solves the king-of-America problem) (Monday, 11/30)

36 - Philosophy Friday #6: Modal Logic (Friday 11/20)

35 - Translation with the Identity Predicate I - the Jigsaw (Wednesday, 11/18)

34 - Derivations with Relational Predicates (Monday, 11/16)

33 - Philosophy Friday #6: Quine and Ontological Commitment (Friday, 11/13)

32 - Translation using Relational Predicates II (Rules of Passage) (Wednesday, 11/11)

31 - Translation using Relational Predicates I (Monday, 11/9)

30 - Test #5

29 - Practice Problems for Test #5 (Review Session) (Wednesday, 11/4) and solutions

28 - Semantics for Predicate Logic (Invalidity)

27 - Test #4

26 - Conditional and Indirect Proof, Predicate Logic (Wednesday, 10/28)

25 - Derivations in Predicate Logic II (Monday, 10/26)

24 - Philosophy Friday #5: Truth and Liars (Friday, 10/23)

23 - Derivations in Predicate Logic I (Wednesday, 10/21)

22 - Predicate Logic, Translation II (Monday, 10/19)

21 - Test #3 (Wednesday, 10/14)

20 - Predicate Logic, Translation I (Monday, 10/12)

19 - Philosophy Friday #4: Adequate Sets of Connectives (Friday, 10/9) - Cancelled for a proofs review session (here are the solutions); feel free to come talk to me about the material in this lesson, which includes instructions for eliminating every one of our connectives! All at the same time! Really!

18 - Indirect Proof (Wednesday, 10/7)

17 - Conditional Proof (Monday, 10/5)

16 - Test #2 (Friday, 10/2)

15 - Practice Proofs (Wednesday, 9/30)

14 - Rules of Replacement II (Monday, 9/28)

13 - Philosophy Friday #3: Three-Valued Logics (Friday, 9/25)

12 - Rules of Replacement I (Wednesday, 9/23)

11 - Rules of Inference II (Monday, 9/21)

10 - Test #1 (Friday, 9/18)

9 - Rules of Inference I (Wednesday, 9/16)

8 - Indirect Truth Tables (Monday, 9/14)

7 - Philosophy Friday #2: Syntax and Semantics and the Chinese Room (Friday, 9/11)