Philosophy 340, Philosophical Logic
Main page
Handouts
Definitions: functions; languages and logics
Sample solutions
for first problem set.
More sample solutions
for second problem set.
Lemmon style natural deduction for S5
Counterexample to a conjecture about extensions
Deontic logic
Midterm exam study guide
Midterm exam practice problems
Lemmon appendix on
conjunctive and disjunctive normal forms
(password protected)
Relevance logic
Final exam study guide
Linked articles
Kripke paper on possible worlds semantics for intuitionistic logic (
PDF
)
J.Slaney, "A general logic" (
PDF
)
J.Burgess, "No requirement of relevance" (
PDF
)