P310 Valid Reasoning II
Professor: Craig DeLancey
Office: CC217
Email: delancey@oswego.edu



Current Assignments
I do not accept homeworks by email (other than the first)!

May 11: exam in class from 10:30 a.m. - 12:30 p.m. Questions can include any of the question on the first quiz, and also questions concerning:
  • What are the axioms of K?
  • What is a model for a quantified logic? What in the model is used to represent the semantics of: a constant (or name); a predicate; a function?
  • Suppose a domain, give examples of the ordered sets in a hypothetical model for some example functions or predicates.
  • What is a conservative extension? If we add something to our language by definition alone, is our language able to do more?
  • What are some interpretations of [] and <>? What do you think are reasonable axioms to propose for different interpretations, and why?
  • What is a Kripke model for a modal logic? Can you explain it to your roommate?
  • Difference between a Leibniz model (where [] means true in all possible worlds) and a Kripke model (where [] means true in all accessible worlds).
  • Proving some very simple things in a given modal system, like S4.
I would like you to know A1 through A5, but will give you A15 through A19. Remember a conservative extension is one that doesn't add anything new; for example, it was a conservative extension to L to add to it "v" ("or") as a connective, because we defined (PvQ) as (~P-->Q) and we already had "~" and "-->" in our language.


Tentative/expected Assignments (subject to revision)