P310 Valid Reasoning II
Professor: Craig DeLancey
Office: Marano 212A
Let's review our homework and any other questions you may have.
are the overheads of our recent discussions.
Final exam 10:30 am - 12:30 pm.
Questions will concern:
- proofs in FOL with just the axioms;
- Cantor's theorem;
- simple proofs in arithmetic;
- simple proofs in modal logic;
- conceptual questions about modality;
- essentialism, de dicto vs. de re.