Additional Product Features
Intended AudienceScholarly & Professional
LCCN00-023609
Dewey Edition21
Reviews"Priest has a lively and entertaining style when presenting technical material. The proofs of various metatheorems are found in separate sections, marked as optional. He admirably provides a good, clear picture of the forest of nonclassical logic." - Stewart Shapiro, The Ohio State University, The University of St. Andrews, "Due to the author's clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and philosophers. It will be useful to students and researchers in various fields of mathematical logic and also a reliable source and reference for professionals in both philosophical and mathematical logic." Mathematical Reviews, "Appropriate for undergraduate and graduate students with some previous acquaintance with logic...sophisticated enough to be useful and informative to philosophers, mathematicians, computer scientists, and linguists who want to learn more about non-classical logic." Philosophy in Review, 'For anyone who wants to explore the non-classical systems, this is the only book of its kind and could not be more highly recommended.' Times Higher Education Supplement, "Priest succeeds in offering a marvelously unified treatment of 11 varieties of logic: classical, basic modal, normal modal, non-normal, conditional, intuitionist, many-valued, first degree entailment, basic relevant, mainstream relevant, and fuzzy....Excellent references support this concise but clear treatment." Choice
TitleLeadingAn
IllustratedYes
Dewey Decimal511.3
Table Of ContentIntroduction; 1. Classical logic and the material conditional; 2. Basic modal logic; 3. Normal modal logics; 4. Non-normal worlds; strict conditionals; 5. Conditional logics; 6. Intuitionist logic; 7. Many-valued logics; 8. First degree entailment; 9. Basic relevant logic; 10. Mainstream relevant logics; 11. Fuzzy logic; 12. Conclusion: a historical perspective.
SynopsisThis book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics. The material is unified by the underlying theme of world-semantics. All of the topics are explained clearly and accessibly, using devices such as tableaux proofs, and their relation to current philosophical issues and debates is discussed. Students with a basic understanding of classical logic will find this an invaluable introduction to an area that has become of central importance in both logic and philosophy, but which, until now, could be studied only through the research literature. It will interest those studying logic, those who need to know about non-classical logics because of their philosophical importance, and, more widely, readers working in mathematics and computer science., This book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics.
LC Classification NumberQA9.4 .P75 2001