by Corry Shores
[Search Blog Here. Index-tags are found on the bottom of the left column.]
[Logic and Semantics, entry directory]
[Graham Priest, entry directory]
[Priest, Introduction to Non-Classical Logic, entry directory]
[The following is summary of Priest’s text, which is already written with maximum efficiency. Bracketed commentary and boldface are my own, unless otherwise noted. I do not have specialized training in this field, so please trust the original text over my summarization. I apologize for my typos and other distracting mistakes, because I have not finished proofreading.]
Summary of
Graham Priest
An Introduction to Non-Classical Logic: From If to Is
Part I. Propositional Logic
3. Normal Modal Logics
3.1 Introduction [to Ch.3, Normal Modal Logics]
Brief summary:
In this chapter, we examine some extensions of the modal logic K. We also address the question of which modal logics are most suitable for certain sorts of necessity, and we end by examining tense logics with more than one pair of modal operators.
Summary
3.1.1
[In this chapter we examine extensions of the modal logic system K.]
[Recall the modal semantics we examined in section 2.3. We said in section 2.1 that this modal logic is called K (for Kripke). Now] “In this chapter we look at some well-known extensions of K, the system of modal logic that we considered in the last chapter” (36).
3.1.2
[We also will look at the issue of determining which sorts of modal logics are most suitable for certain notions of necessity.]
We will also examine “the question of which systems of modal logic are appropriate for which notions of necessity” (36).
3.1.3
[We lastly look at tense logics with more than one pair of modal operators.]
At the end of the chapter we examine briefly “logics with more than one pair of modal operators, in the shape of tense logic” (36).
Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.
No comments:
Post a Comment