Class Notes
42 - Second-Order Logic
40 - More Derivations with Identity
39 - Derivations with Identity
38 - Translation with Identity II (Slides)
37 - Translation Using the Identity Predicate I (the jigsaw lesson, with solutions)
36 - Philosophy Friday #7: The Color Incompatiblity Problem (Slides)
35 - Derivations with Relations
34 - Translation with Relations, II (Rules of Passage) (Slides)
33 - Test #5
32 - Translation into Full First-Order Logic (Slides)
31 - Invalidity in Predicate Logic
30 - Philosophy Friday #6: Quine and Ontological Commitment (Slides)
29 - Semantics for Predicate Logic (Slides) (Note: These slides and notes do not precisely reflect what we did in class; I edited them, and, I hope, improved them, after class.)
28 - Predicate CP and IP
27 - Philosophy Friday #5: Truth and Liars (Slides)
26 - More Predicate Derivations and Changing Quantifiers
25 - Test #4
23 - Translation into Predicate Logic II (slides)
22 - Translation into Predicate Logic I (slides)
21 - Test #3
20 - HW Handout #3- Review for Test #3 (Solutions)
19 - Philosophy Friday #4: Three-Valued Logics (Slides)
18 - Indirect Proof
17 - Conditional Proof
16 - Test #2
15 - Review Proofs (with solutions)
13 - Philosophy Friday #3: Adequate Sets of Connectives (Slides)
10 - Test #1
7 - Philosophy Friday #2: Syntax, Semantics, and the Chinese Room (Slides)
6 - Translation, Logical Equivalence, and Truth Tables for Arguments
5 - Truth Tables for Propositions
4 - Philosophy Friday #1: Conditionals (Slides)
3 - Truth Functions
2 - Translation and Wffs (slides)
1 - Introduction, Arguments, and Validity (Slides)