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 I. Propositional Logic
7. Many-valued Logics
7.1. Introduction
Brief summary:
Many-valued logics have more than two truth values. We will examine the semantics of propositional many-valued logics in this chapter along with other philosophical and logical issues related to many-valuedness.
Summary
7.1.1
[Many-valued logics have more than two truth values.]
This chapter is about propositional many-valued logics, which are “logics in which there are more than two truth values” (120).
7.1.2
[In this chapter we focus on the semantics of many-valued logics.]
In this chapter we look mostly at the semantics of many-valued logics and not at proof procedures. We study tableaux in the next chapter (120).
7.1.3
[We also will examine other related philosophical and logical issues related to many-valuedness.]
In this chapter we also examine “some of the philosophical issues that have motivated many-valued logics, how many-valuedness affects the issue of the conditional, and a few other noteworthy issues” (120).
Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.
.
No comments:
Post a Comment