8 Jan 2018

Priest (12.1) Introduction to Non-Classical Logic, ‘Introduction [to ch.12 ‘Classical First-order 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 II

Quantification and Identity

 

12

Classical First-order Logic

 

12.1

Introduction

 

 

 

Brief summary:

In this chapter, we examine the semantics and tableaux of classical first-order logic, along with problems and certain technical issues involved in it.

 

 

 

Contents

 

12.1.1

[Chapter Preview: Semantics, Tableaux...]

 

12.1.2

[Chapter Preview: Problems]

 

12.1.3

[Chapter Preview: Technical Matters]

 

 

 

Summary

 

12.1

Introduction

 

12.1.1

[Chapter Preview: Semantics, Tableaux...]

 

Priest explains that in this chapter, our first tasks are to examine the semantics and the tableaux for classical first-order logic, which here will not involve function symbols. Also, while we will begin without dealing with identity, we later will add it (263).

[contents]

 

 

12.1.2

[Chapter Preview: Problems]

 

After that, we discuss philosophical problems involved in this systematization (263).

[contents]

 

 

12.1.3

[Chapter Preview: Technical Matters]

 

And lastly we examine certain technical issues involved in first-order logic (263).

[contents]

 

 

 

 

From:

 

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

 

 

.

No comments:

Post a Comment