000			01611 a2200253 4500
003			OSt
005			20240403115753.0
008			181129b xxu||||| |||| 00| 0 eng d
020			_a9780521670265
040			_cIIT Kanpur
041			_aeng
082			_a511.3 _bP933i2
100			_aPriest, Graham
245			_aAn introduction to non-classical logic [2nd ed.] _cGraham Priest _bfrom If to Is
250			_a2nd ed.
260			_bCambridge University Press _aCambridge _c2008
300			_axxxii, 613p
440			_aCambridge introductions to philosophy
520			_aThis 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			_aNonclassical mathematical logic
650			_aLogic, symbolic and mathematical
650			_aNegation (logic)
942			_cBK
999			_c559731 _d559731