Class Notes
41 - Higher-Order Logics
40 - Functions
38 - More on Translation with the Identity Predicate, including 'exactly' and definite descriptions
37 - Translation with the Identity Predicate (solutions)
36 - Color Incompatibility and the Limits of Logic
34 - Relational Predicates and the Rules of Passage (fixed)
30 - Philosophy Friday #6: Quine and Ontological Commitment
29 - Semantics for M
27 - Philosophy Friday #5: On Truth
26 - Quantifier Exchange
23 - Syntax for Monadic Predicate Logic; More Practice with Translation; solutions
22 - Introduction to Predicate Logic
20 - Some Notes on Axioms Systems (slides)
19 - Philosophy Friday #4: Three-Valued Logics
13 - Philosophy Friday #3: Syntax, Semantics, and the Chinese Room
7 - Philosophy Friday #2: Adequate Sets of Connectives
4 - Philosophy Friday #1: Conditionals
2 - Translation