PHI 340, Philosophical Logic / Handouts

General

• Final exam review
• Final exam

Classical propositional logic

• Natural deduction for classical propositional logic (Sep 18)
• CPL practice (Sep 18)
• Some worked proofs in CPL
• Solutions to some problems in Lemmon, Beginning Logic.

Baby set theory and category theory

• Chapter 1 from Lawvere's Sets for Mathematics (basic set theory from the category theory point of view).

Modal logic

• Graeme Forbes, Modern Logic chapter on modal logic
• E. J. Lemmon, "Is there only one correct system of modal logic?"

Intuitionistic logic

• Homework 5
• The Goedel translation (Nov 27)
• Intuitionistic logic is inconsistent with finite functional semantics (Dec 4)

Relevance logic

• Reading and homework for relevance logic
• Relevance logics (Dec 6; revised Dec 16)
• E. J. Lemmon, appendix on conjunctive and disjunctive normal form
• Edwin Mares and Robert K. Meyers, "Relevant Logics"
• John Burgess, "No requirement of relevance"

Quantum logic

• Hilary Putnam, "How to think quantum logically"
• Robert Matthews, "Impossible things for breakfast"