An Introduction to Non-Classical Logic
From If to Is

This book clearly introduces the major topics in logic and their relation to current philosophical issues.

Graham Priest (Author)

9780521854337, Cambridge University Press

Hardback, published 10 April 2008

646 pages
24.4 x 17 x 3.5 cm, 1.22 kg

'I am teaching an introduction to logic course. This is an excellent textbook for an upper division contemporary logic class or a graduate course on non-classical logic.' R. Andrew Krema, Loyola University Chicago -- Water Tower Campus

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Preface to the first edition
Preface to the second edition
Mathematical prolegomenon
Part I. Propositional Logic: 1. Classical logic and the material conditional
2. Basic modal logic
3. Normal modal logics
4. Non-normal modal logics
strict conditionals
5. Conditional logics
6. Intuitionist logic
7. Many-valued logics
8. First degree entailment
9. Logics with gaps, gluts, and worlds
10. Relevant logics
11. Fuzzy logics
11a. Appendix: many valued modal logics
Postscript: an historical perspective on conditionals
Part II. Qualification and Identity: 12. Classical logic
13. Free logic
14. Constant domain modal logics
15. Variable domain modal logics
16. Necessary identity in modal logic
17. Contingent identity in modal logic
18. Non-normal modal logics
19. Conditional logics
20. Intuitionist logic
21. Many-valued logics
22. First degree entailment
23. Logics with gaps, gluts, and worlds
24. Relevant logics
25. Fuzzy logics
Postscript: a methodological coda.

Subject Areas: Philosophy of science [PDA], Mathematical logic [PBCD], Philosophy: logic [HPL], Analytical philosophy & Logical Positivism [HPCF5], Philosophy [HP]