Misplaced Pages

An Introduction to Non-Classical Logic: Difference between revisions

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 21:14, 8 January 2025 editGregariousMadness (talk | contribs)Extended confirmed users1,423 edits Topics← Previous edit Latest revision as of 11:41, 13 January 2025 edit undoCitation bot (talk | contribs)Bots5,459,784 edits Altered pages. Add: zbl, jstor, doi. Formatted dashes. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:AlexNewArtBot/MathSearchResult | #UCB_webform_linked 8/199 
(15 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Additional citations|date=January 2025}}

{{Short description|Textbook by Graham Priest}} {{Short description|Textbook by Graham Priest}}
{{italic title}} {{italic title}}
Line 45: Line 43:
| website = | website =
}} }}
'''''An Introduction to Non-Classical Logic''''' is a 2001 textbook by ] and ] ], published by ]. The book provides a systematic introduction to ]s, which are logical systems that differ from standard classical ]. It covers a wide range of topics including ], ], ], ], and ]. '''''An Introduction to Non-Classical Logic''''' is a 2001 textbook by ] and logician ], published by ]. The book provides a systematic introduction to ]s, which are logical systems that differ from standard classical ]. It covers a wide range of topics including ], ], ], ], and ].


==Editions== ==Editions==
The book has been published in two editions by ]. 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''.<ref name=Hajek2nded>{{cite journal | last=Hájek | first=Petr | 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}}</ref> The second edition more than doubled the length of the original text, expanding from 242 to 613 pages.<ref name="Hajek" /><ref name=Hajek2nded /> 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.<ref name=Hajek2nded /> The book has been published in two editions by ]. 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''.<ref name=Hajek2nded>{{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}}</ref> The second edition more than doubled the length of the original text, expanding from 242 to 613 pages.<ref name="Hajek" /><ref name=Hajek2nded /> 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.<ref name=Hajek2nded />


==Contents== ==Contents==
===1st edition=== ===First edition===
It covers many different ]s, including ].<ref name=Hajek1sted>{{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=] |volume=12 |issue=2 |pages=294–295 |issn=1079-8986}}</ref><ref>{{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=] |volume=56 |issue=3 |pages=670–672 |issn=0034-6632}}</ref> The first edition of the book covers many different ]s, including ].<ref name=Hajek1sted>{{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=] |volume=12 |issue=2 |pages=294–295 |doi=10.1017/S1079898600002730 |jstor=4617265 |issn=1079-8986}}</ref><ref>{{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=] |volume=56 |issue=3 |pages=670–672 |jstor=20131881 |issn=0034-6632}}</ref>


===2nd edition=== ===Second edition===
The subtitle ''From If to Is'' was added because the 2nd edition also deals with ]. The second edition is organized into two main parts:<ref>{{cite journal | last=Yaqub | first=Aladdin M. | title=An Introduction to Non-Classical Logic: From If to Is | journal=] | volume=33 | issue=4 | date=2010 | issn=0145-5788 | doi=10.5840/teachphil201033453 | pages=432–436}}</ref><ref>{{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=] |volume=14 |issue=4 |pages=544–545 |issn=1079-8986}}</ref><ref name="Mackenzie1sted">{{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}}</ref><ref name="Mackenzie2nded">{{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}}</ref><ref>{{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}}</ref><ref name="Priest">{{cite book The subtitle ''From If to Is'' was added because the second edition also deals with ]. The second edition is organized into two main parts:<ref>{{cite journal | last=Yaqub | first=Aladdin M. | title=An Introduction to Non-Classical Logic: From If to Is | journal=] | volume=33 | issue=4 | date=2010 | issn=0145-5788 | doi=10.5840/teachphil201033453 | pages=432–436}}</ref><ref>{{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=] |volume=14 |issue=4 |pages=544–545 |doi=10.1017/S1079898600001505 |jstor=25433856 |issn=1079-8986}}</ref><ref>{{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 }}</ref><ref name="Priest">{{cite book
| last = Priest | last = Priest
| first = Graham | first = Graham
Line 65: Line 63:
| isbn = 978-0521670265 | isbn = 978-0521670265
| pages = xxxii+613 | pages = xxxii+613
}}</ref> }}</ref>


{{div col}} {{Col-begin}}
{{Col-break}}
==== Part I: Propositional Logic ==== ==== Part I: Propositional Logic ====
*Chapter 1: ] and the Material Conditional *Chapter 1: ] and the ]
*Chapter 2: Basic ] *Chapter 2: Basic ]
*Chapter 3: Normal Modal Logics *Chapter 3: Normal Modal Logics
Line 77: Line 76:
*Chapter 7: ] *Chapter 7: ]
*Chapter 8: First Degree Entailment *Chapter 8: First Degree Entailment
*Chapter 9: Logics with Gaps, Gluts and Worlds *Chapter 9: ]
*Chapter 10: Relevant Logics *Chapter 10: ]
*Chapter 11: ] *Chapter 11: ]
*Chapter 11a: Appendix: Many-valued Modal Logics *Chapter 11a: Appendix: Many-valued Modal Logics

{{col-break}}
{{Col-break}}
==== Part II: Quantification and Identity ==== ==== Part II: Quantification and Identity ====
*Chapter 12: Classical First-order Logic *Chapter 12: Classical First-order Logic
Line 97: Line 97:
*Chapter 24: Relevant Logics *Chapter 24: Relevant Logics
*Chapter 25: Fuzzy Logics *Chapter 25: Fuzzy Logics
{{div col end}} {{Col-end}}


==Reception== ==Reception==
=== Intended audience === === Intended audience ===
''An Introduction to Non-Classical Logic'' was designed for multiple audiences. According to ] professor of philosophy ], the book is accessible to readers with a first or second ] course in ], though its optional ] sections require graduate-level knowledge.<ref name="Shapiro">{{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}}</ref> ] professor of mathematics and philosophy ] noted that while Priest included a brief "mathematical ]" covering ] and ], advanced material on metatheory would still require graduate-level coursework.<ref name="Hajek">{{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 |jstor=4617265}}</ref> ''An Introduction to Non-Classical Logic'' was designed for multiple audiences. According to American professor of philosophy ], the book is accessible to readers with a first or second ] course in ], though its optional ] sections require graduate-level knowledge.<ref name="Shapiro">{{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}}</ref> Czech professor of mathematics and philosophy ] noted that while Priest included a brief "mathematical ]" covering ] and ], advanced material on metatheory would still require graduate-level coursework.<ref name="Hajek">{{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}}</ref>


=== Critical reception === === Critical reception ===
Line 108: Line 108:
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.<ref name="Hajek"/> 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.<ref name="Hajek"/>


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.<ref name="Mackenzie1sted" /><ref name="Mackenzie2nded" /> 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.<ref name="Mackenzie1sted">{{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 }}</ref><ref name="Mackenzie2nded">{{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 }}</ref>


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 ] in non-classical logics.<ref name="Shapiro"/> 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 ] in non-classical logics.<ref name="Shapiro"/>
Line 119: Line 119:


==External links== ==External links==
*''An Introduction to Non-Classical Logic: From If to Is'' at ]: https://books.google.com/books?id=rMXVbmAw3YwC (with limited preview). *'''' at ] (limited preview)
*Errata: https://www.cambridge.org/files/5214/5570/7670/Corrections_12.pdf *


] ]

Latest revision as of 11:41, 13 January 2025

Textbook by Graham Priest

An Introduction to Non-Classical Logic
AuthorGraham Priest
LanguageEnglish
SubjectNon-classical logic
GenreTextbook
PublishedCambridge University Press
Publication date2001
Media typeBook
Followed byAn 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

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. 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

First edition

The first edition of the book covers many different propositional logics, including classical logic.

Second edition

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:

Part I: Propositional Logic


Part II: Quantification and Identity

  • 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

Intended audience

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. 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.

Critical reception

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.

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

  1. ^ 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.
  2. ^ Hájek, Petr (2006). "Review: An Introduction to Non-Classical Logic by Graham Priest". The Bulletin of Symbolic Logic. 12 (2): 294–295. doi:10.1017/S1079898600002730. JSTOR 4617265.
  3. Hájek, Petr (2006). "Review of An Introduction to Non-Classical Logic". The Bulletin of Symbolic Logic. 12 (2): 294–295. doi:10.1017/S1079898600002730. ISSN 1079-8986. JSTOR 4617265.
  4. Shapiro, Stewart (2003). "Review of An Introduction to Non-Classical Logic". The Review of Metaphysics. 56 (3): 670–672. ISSN 0034-6632. JSTOR 20131881.
  5. Yaqub, Aladdin M. (2010). "An Introduction to Non-Classical Logic: From If to Is ". Teaching Philosophy. 33 (4): 432–436. doi:10.5840/teachphil201033453. ISSN 0145-5788.
  6. 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. doi:10.1017/S1079898600001505. ISSN 1079-8986. JSTOR 25433856.
  7. "Document Zbl 1152.03001 - zbMATH Open". zbmath.org. Zbl 1152.03001. Retrieved 2025-01-07.
  8. 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.
  9. ^ Shapiro, Stewart (2003). "Review: An Introduction to Non-Classical Logic". The Review of Metaphysics. 56 (3): 670–672. JSTOR 20131881.
  10. "Document Zbl 0981.03002 - zbMATH Open". zbmath.org. Zbl 0981.03002. Retrieved 2025-01-07.
  11. "Document Zbl 1148.03002 - zbMATH Open". zbmath.org. Zbl 1148.03002. Retrieved 2025-01-07.

Further reading

External links

Categories:
An Introduction to Non-Classical Logic: Difference between revisions Add topic