14 Jul 2017

Priest (2.1) An Introduction to Non-Classical Logic, ‘Introduction [to 2 Basic Modal Logic]’, summary


by Corry Shores


[Search Blog Here. Index-tags are found on the bottom of the left column.]


[Central Entry Directory]

[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


2. Basic Modal Logic


2.1. Introduction




Brief summary:

We will examine possible-world semantics and the most basic modal logic, K.







[We will examine possible-world semantics.]


Possible-world semantics is a technique we will examine in this chapter. In later chapters we examine variations on it (20).




[We will also examine the most basic modal logic, which is called K.]


Our study of possible-world semantics will lead us to modal logic. In this chapter we examine “the most basic modal logic, K (after Kripke)” (20)





Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.





No comments:

Post a Comment