An Introduction to Non-Classical Logic
Author | Graham Priest |
---|---|
Language | English |
Subject | Non-classical logic |
Genre | Textbook |
Published | Cambridge University Press |
Publication date | 2001 |
Media type | Book |
Followed by | An Introduction to Non-Classical Logic: From If to Is (2008, expanded 2nd edition) |
An Introduction to Non-Classical Logic is a 2001 textbook by philosopher and logician Graham Priest, published by Cambridge University Press. The book provides a systematic introduction to non-classical propositional logics, which are logical systems that differ from standard classical propositional logic. It covers a wide range of topics including modal logic, intuitionistic logic, many-valued logic, relevant logic, and fuzzy logic.
Editions
[edit]The book has been published in two editions by Cambridge University Press. The first edition, published in 2001, was titled simply An Introduction to Non-Classical Logic. In 2008, Priest published a substantially expanded and revised second edition under the title An Introduction to Non-Classical Logic: From If to Is.[1] The second edition more than doubled the length of the original text, expanding from 242 to 613 pages.[2][1] This expansion reflected both revisions to existing content, such as the chapter on fuzzy logic which had been critiqued in reviews of the first edition, as well as the addition of new material not covered in the first edition.[1]
Contents
[edit]1st edition
[edit]The first edition of the book covers many different propositional logics, including classical logic.[3][4]
2nd edition
[edit]The subtitle From If to Is was added because the 2nd edition also deals with predicate calculi. The second edition is organized into two main parts:[5][6][7][8][9][10]
Part I: Propositional Logic
[edit]- Chapter 1: Classical Logic and the Material Conditional
- Chapter 2: Basic Modal Logic
- Chapter 3: Normal Modal Logics
- Chapter 4: Non-normal Modal Logics; Strict Conditionals
- Chapter 5: Conditional Logics
- Chapter 6: Intuitionist Logic
- Chapter 7: Many-valued Logics
- Chapter 8: First Degree Entailment
- Chapter 9: Logics with Gaps, Gluts and Worlds
- Chapter 10: Relevant Logics
- Chapter 11: Fuzzy Logics
- Chapter 11a: Appendix: Many-valued Modal Logics
| class="col-break " |
Part II: Quantification and Identity
[edit]- Chapter 12: Classical First-order Logic
- Chapter 13: Free Logics
- Chapter 14: Constant Domain Modal Logics
- Chapter 15: Variable Domain Modal Logics
- Chapter 16: Necessary Identity in Modal Logic
- Chapter 17: Contingent Identity in Modal Logic
- Chapter 18: Non-normal Modal Logics
- Chapter 19: Conditional Logics
- Chapter 20: Intuitionist Logic
- Chapter 21: Many-valued Logics
- Chapter 22: First Degree Entailment
- Chapter 23: Logics with Gaps, Gluts and Worlds
- Chapter 24: Relevant Logics
- Chapter 25: Fuzzy Logics
Reception
[edit]Intended audience
[edit]An Introduction to Non-Classical Logic was designed for multiple audiences. According to American professor of philosophy Stewart Shapiro, the book is accessible to readers with a first or second undergraduate course in symbolic logic, though its optional metatheory sections require graduate-level knowledge.[11] Czech professor of mathematics and philosophy Petr Hájek noted that while Priest included a brief "mathematical prolegomenon" covering set-theoretic notation and proof by induction, advanced material on metatheory would still require graduate-level coursework.[2]
Critical reception
[edit]The book received positive reviews from academic philosophers. In The Review of Metaphysics: A Philosophical Quarterly, Shapiro praised it as "a very good" introduction, noting that it filled an important gap given the "extensive interest in nonclassical logics" and the typical focus on classical logic in university courses. He commended Priest's "lively and entertaining style when presenting technical material" and the book's balance between overview and technical detail, concluding that it well-served both "casual and diligent" readers.[11]
In The Bulletin of Symbolic Logic, Hájek described it as "a very valuable source in many directions" despite some criticisms of its treatment of fuzzy logic. He noted that Priest acknowledged the book's limitations, quoting the author's preface: "If one waited for perfection one would wait forever." Following discussion with Hájek, Priest indicated plans to revise the fuzzy logic chapter in a future edition.[2]
According to J. Mackenzie, the first edition of the book "deserves to become the standard textbook in its field", which he reiterated for the second edition.[7][8]
Reviewers particularly noted the book's utility as either a supplement to standard logic textbooks or as a primary text for courses on non-classical logic. However, some limitations were identified, including its restriction to propositional logic and relatively brief treatment of some philosophical issues underlying different logical systems. Shapiro encouraged Priest to write a companion volume covering quantification in non-classical logics.[11]
References
[edit]- ^ a b c Hájek, Petr (2008). "Graham Priest. An introduction to non-classical logic: From If to Is. Second Edition. Cambridge University Press, Cambridge, United Kingdom, 2008, xxxii + 613 pp". Bulletin of Symbolic Logic. 14 (4): 544–545. doi:10.1017/S1079898600001505. ISSN 1079-8986.
- ^ a b c Hájek, Petr (2006). "Review: An Introduction to Non-Classical Logic by Graham Priest". The Bulletin of Symbolic Logic. 12 (2): 294–295. JSTOR 4617265.
- ^ Hájek, Petr (2006). "Review of An Introduction to Non-Classical Logic". The Bulletin of Symbolic Logic. 12 (2): 294–295. ISSN 1079-8986.
- ^ Shapiro, Stewart (2003). "Review of An Introduction to Non-Classical Logic". The Review of Metaphysics. 56 (3): 670–672. ISSN 0034-6632.
- ^ Yaqub, Aladdin M. (2010). "An Introduction to Non-Classical Logic: From If to Is [book review]". Teaching Philosophy. 33 (4): 432–436. doi:10.5840/teachphil201033453. ISSN 0145-5788.
- ^ Hájek, Petr (2008). "Review of An Introduction to Non-Classical Logic: From If to Is". The Bulletin of Symbolic Logic. 14 (4): 544–545. ISSN 1079-8986.
- ^ a b "Document Zbl 0981.03002 - zbMATH Open". zbmath.org. Retrieved 2025-01-07.
- ^ a b "Document Zbl 1148.03002 - zbMATH Open". zbmath.org. Retrieved 2025-01-07.
- ^ "Document Zbl 1152.03001 - zbMATH Open". zbmath.org. Retrieved 2025-01-07.
- ^ Priest, Graham (2008). An Introduction to Non-Classical Logic: From If to Is (2nd ed.). Cambridge: Cambridge University Press. pp. xxxii+613. ISBN 978-0521670265.
- ^ a b c Shapiro, Stewart (2003). "Review: An Introduction to Non-Classical Logic". The Review of Metaphysics. 56 (3): 670–672. JSTOR 20131881.
Further reading
[edit]- Roy, Tony (2006-03-20). "Natural Derivations for Priest, An Introduction to Non-Classical Logic". The Australasian Journal of Logic. 4. doi:10.26686/ajl.v4i0.1779. ISSN 1448-5052. Retrieved 2025-01-06.
External links
[edit]- An Introduction to Non-Classical Logic: From If to Is at Google Books: https://books.google.com/books?id=rMXVbmAw3YwC (with limited preview).
- Errata: https://www.cambridge.org/files/5214/5570/7670/Corrections_12.pdf