An introduction to non-classical logic [2nd ed.] : from If to Is
By: Priest, Graham.
Series: Cambridge introductions to philosophy. Publisher: Cambridge Cambridge University Press 2008Edition: 2nd ed.Description: xxxii, 613p.ISBN: 9780521670265.Subject(s): Nonclassical mathematical logic | Logic, symbolic and mathematical | Negation (logic)DDC classification: 511.3 | P933i2 Summary: 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.| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 511.3 P933i2 cop.1 (Browse shelf) | Copy 1 | Checked out to Mohua Banerjee (E0478100) | 01/07/2024 | A184041 | |
Text Books
|
PK Kelkar Library, IIT Kanpur | TEXT | 511.3 P933i2 cop.2 (Browse shelf) | Copy 2 | Available | A186413 | ||
|
Text Books
|
PK Kelkar Library, IIT Kanpur | TEXT | 511.3 P933i2 cop.3 (Browse shelf) | Copy 3 | Available | A186414 | ||
|
Text Books
|
PK Kelkar Library, IIT Kanpur | TEXT | 511.3 P933i2 cop.4 (Browse shelf) | Copy 4 | Available | A186415 | ||
|
Text Books
|
PK Kelkar Library, IIT Kanpur | TEXT | 511.3 P933i2 cop.5 (Browse shelf) | Copy 5 | Available | A186416 |
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.
There are no comments for this item.