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.

 

 

 

Summary

 

2.1.1

[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).

 

 

2.1.2

[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.

 

 

 

.