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 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
[Chapter Preview: Semantics, Tableaux...]
[Chapter Preview: Problems]
[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).
12.1.2
[Chapter Preview: Problems]
After that, we discuss philosophical problems involved in this systematization (263).
12.1.3
[Chapter Preview: Technical Matters]
And lastly we examine certain technical issues involved in first-order logic (263).
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