000 -LEADER |
fixed length control field |
02492cam a22002054a 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9780521670265 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
100 1# - MAIN ENTRY--AUTHOR NAME |
Personal name |
PRIEST, Graham. |
245 13 - TITLE STATEMENT |
Title |
An introduction to non-classical logic : From if to is |
250 ## - EDITION STATEMENT |
Edition statement |
2nd ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Cambridge ; |
-- |
New York : |
Name of publisher |
Cambridge University Press, |
Year of publication |
2008. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
xxxii , 613 p . ; |
Other physical details |
ill . ; 25 cm. |
490 1# - SERIES STATEMENT |
Series statement |
Cambridge introductions to philosophy |
500 ## - GENERAL NOTE |
General note |
includes bibliographical references and index |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Pt 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 -- Pt 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. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Nonclassical mathematical logic. |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://books.google.pl/books?id=rMXVbmAw3YwC |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Books |