PHIL512 Agenda

Agenda 4/14

1. Discuss Project Proposal
2. Higher-order logic
3. Leibniz's Laws
4. Break
5. Predicate abstraction
6. Definitely and indefinitely
7. Vague Objects: Evans

Current Schedule

• 4/21 - Modal Propositional Logic
• 4/28 - Presentations
• 5/3 - Final Project Due (submit via Canvas)