4/7 - Metaphysics and Logic, Part 1: Lambda abstraction, definitely operator, 2nd and 3rd order predicate logics, Leibniz's laws, Evans on vague objects
4/14 - Modal Propositional Logic, Part 1
4/21 - Modal Propositional Logic, Part 2, More Informal Logic, Discuss Final Projects. Project Proposal is Due