Priest (6.1) An Introduction to Non-Classical Logic, ‘Introduction [to Ch.6, Intuitionistic 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

 

Part I. Propositional Logic

 

6. Intuitionistic Logic

 

6.1 Introduction [to Ch.6, Intuitionistic Logic]

 

 

 

Brief summary:

In this chapter we will examine intuitionistic logic. It arose from intuitionism in mathematics, and it has a natural possible world semantics. We will also examine its philosophical foundations and its account of the conditional.

 

 

 

 

Summary

 

6.1.1

[Intuitionistic logic arose from intuitionism in mathematics, and it has a natural possible world semantics.]

 

Priest says that we will examine intuitionistic logic, which “has a natural possible world semantics” and which “arose originally out of certain views in the philosophy of mathematics called intuitionism.”

 

 

6.1.2

[We will examine the philosophical foundations of intuitionism and also its account of the conditional.]

 

Priest says that in this chapter “We will also look briefly at the philosophical foundations of intuitionism, and at the distinctive account of the conditional that intuitionist logic provides” (103).

 

 

 

 

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

 

 

 

.