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: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.
- 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.
Tentative/expected Assignments (subject to revision)