P310 Valid Reasoning II
Professor: Craig DeLancey
Office: Marano 212A
Email: craig.delancey@oswego.edu



Current Assignments
6 May
Let's review our homework and any other questions you may have. Here are the overheads of our recent discussions.
9 May
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.

Tentative assignments
Frolic.