Philosohy 330 - Logic of necessity

Philosohy 330 - Logic of necessity - KMMS (Third Edition)...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: KMMS (Third Edition) Chapter 7, Must and Might . Draft 3/28/2006 1 Chapter 7. The Logic of Necessity and Possibility: Must and Might . I know what youre thinking about, said Tweedledum; but it isnt so, nohow. Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isnt, it aint. Thats logic. LEWIS CARROLL Alice in Wonderland Chapter Outline 1. Modes of Truth and Modal Logics.........................................................................................................................1 2. The Symbolic Language for Modal Propositional Logic. ......................................................................................4 3. Translation and Symbolization. The English sentence..........................................................................................6 Exercises.................................................................................................................................................................7 4. Axioms for Modal Logics. .....................................................................................................................................8 Exercises.................................................................................................................................................................9 5. Modal Inference Rules. ........................................................................................................................................11 Exercises...............................................................................................................................................................12 6. Natural Deduction for (T), (B), (S4), and (S5).....................................................................................................12 Exercises...............................................................................................................................................................20 7. Fallacies................................................................................................................................................................21 Exercises...............................................................................................................................................................25 8. Possible World Semantics. ...................................................................................................................................27 Exercises...............................................................................................................................................................33 8. Theorems..............................................................................................................................................................34 Exercises...............................................................................................................................................................39 Exercises....
View Full Document

This note was uploaded on 01/27/2011 for the course PHI 330 taught by Professor Mar during the Fall '10 term at SUNY Stony Brook.

Page1 / 56

Philosohy 330 - Logic of necessity - KMMS (Third Edition)...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online