An Introduction to Non-Classical Logic
{{Short description|2001 textbook by Graham Priest}}
{{italic title}}
{{Infobox book
| italic title =
| name = An Introduction to Non-Classical Logic
| image = File:Introduction_to_Non-Classical_Logic_Priest_2nd_edition_Cambridge_cover.jpg
| image_size =
| alt =
| caption = Cover of the second edition
| author = Graham Priest
| audio_read_by =
| title_orig =
| orig_lang_code = en
| title_working =
| translator =
| illustrator =
| cover_artist =
| country =
| language = English
| series =
| release_number =
| subject = Non-classical logic
| set_in =
| published = Cambridge University Press
| publisher =
| publisher2 =
| pub_date = 2001
| english_pub_date =
| media_type = Book
| pages =
| awards =
| isbn =
| oclc =
| dewey =
| congress =
| preceded_by =
| followed_by = An Introduction to Non-Classical Logic: From If to Is (2008, expanded 2nd edition)
| native_wikisource =
| wikisource =
| notes =
| exclude_cover =
| website =
}}
An Introduction to Non-Classical Logic is a 2001 mathematics 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
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.{{cite journal | last=Hájek | first=Petr |authorlink=Petr Hájek | title=Graham Priest. An introduction to non-classical logic: From If to Is. Second Edition. Cambridge University Press, Cambridge, United Kingdom, 2008, xxxii + 613 pp. | journal=Bulletin of Symbolic Logic | volume=14 | issue=4 | date=2008 | issn=1079-8986 | doi=10.1017/S1079898600001505 | pages=544–545}} The second edition more than doubled the length of the original text, expanding from 242 to 613 pages. 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.
Contents
The first edition of the book covers many different propositional logics, including classical logic.{{Cite journal |last=Hájek |first=Petr |date=2006 |title=Review of An Introduction to Non-Classical Logic |url=https://www.jstor.org/stable/4617265 |journal=The Bulletin of Symbolic Logic |volume=12 |issue=2 |pages=294–295 |doi=10.1017/S1079898600002730 |jstor=4617265 |issn=1079-8986|url-access=subscription }}{{Cite journal |last=Shapiro |first=Stewart |authorlink=Stewart Shapiro |date=2003 |title=Review of An Introduction to Non-Classical Logic |url=https://www.jstor.org/stable/20131881 |journal=The Review of Metaphysics |volume=56 |issue=3 |pages=670–672 |jstor=20131881 |issn=0034-6632}} The subtitle From If to Is was added because the second edition also deals with predicate calculi. The second edition is organized into two main parts; Propositional Logic, and Quantification and Identity.{{cite journal | last=Yaqub | first=Aladdin M. | title=An Introduction to Non-Classical Logic: From If to Is [book review] | journal=Teaching Philosophy | volume=33 | issue=4 | date=2010 | issn=0145-5788 | doi=10.5840/teachphil201033453 | pages=432–436}}{{Cite journal |last=Hájek |first=Petr |date=2008 |title=Review of An Introduction to Non-Classical Logic: From If to Is |url=https://www.jstor.org/stable/25433856 |journal=The Bulletin of Symbolic Logic |volume=14 |issue=4 |pages=544–545 |doi=10.1017/S1079898600001505 |jstor=25433856 |issn=1079-8986|url-access=subscription }}{{Cite web |title=Document Zbl 1152.03001 - zbMATH Open |url=https://zbmath.org/?format=complete&q=an:1152.03001 |access-date=2025-01-07 |website=zbmath.org| zbl=1152.03001 }}{{cite book
| last = Priest
| first = Graham
| title = An Introduction to Non-Classical Logic: From If to Is
| edition = 2nd
| publisher = Cambridge University Press
| year = 2008
| location = Cambridge
| isbn = 978-0521670265
| pages = xxxii+613
}}
Reception
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.{{cite journal |last=Shapiro |first=Stewart |title=Review: An Introduction to Non-Classical Logic |journal=The Review of Metaphysics |volume=56 |number=3 |year=2003 |pages=670–672 |jstor=20131881}} 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.{{cite journal |last=Hájek |first=Petr |title=Review: An Introduction to Non-Classical Logic by Graham Priest |journal=The Bulletin of Symbolic Logic |volume=12 |number=2 |year=2006 |pages=294–295 |doi=10.1017/S1079898600002730 |jstor=4617265}}
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.
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. 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.{{Cite web |title=Document Zbl 0981.03002 - zbMATH Open |url=https://zbmath.org/?format=complete&q=an:0981.03002 |access-date=2025-01-07 |website=zbmath.org| zbl=0981.03002 }}{{Cite web |title=Document Zbl 1148.03002 - zbMATH Open |url=https://zbmath.org/?format=complete&q=an:1148.03002 |access-date=2025-01-07 |website=zbmath.org| zbl=1148.03002 }}
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.
References
{{reflist}}
Further reading
- {{cite journal | last=Roy | first=Tony | title=Natural Derivations for Priest, An Introduction to Non-Classical Logic | journal=The Australasian Journal of Logic | volume=4 | date=2006-03-20 | issn=1448-5052 | doi=10.26686/ajl.v4i0.1779 | doi-access=free | url=https://ojs.victoria.ac.nz/ajl/article/download/1779/1630 | access-date=2025-01-06 | page=}}
External links
- [https://books.google.com/books?id=rMXVbmAw3YwC An Introduction to Non-Classical Logic: From If to Is] at Google Books (limited preview)
- [https://www.cambridge.org/files/5214/5570/7670/Corrections_12.pdf Errata]
{{DEFAULTSORT:Introduction to Non-Classical Logic, An}}
Category:2001 non-fiction books
Category:2008 non-fiction books
Category:Cambridge University Press books