Graham Priest on Dialetheism and Paraconsistency

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest's research has had a considerable influen...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Başkent, Can (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ferguson, Thomas Macaulay (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Outstanding Contributions to Logic, 18
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 06031nam a2200505 4500
001 978-3-030-25365-3
003 DE-He213
005 20200101172559.0
007 cr nn 008mamaa
008 200101s2019 gw | s |||| 0|eng d
020 |a 9783030253653  |9 978-3-030-25365-3 
024 7 |a 10.1007/978-3-030-25365-3  |2 doi 
040 |d GrThAP 
050 4 |a BC1-199 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
072 7 |a QDTL  |2 thema 
082 0 4 |a 160  |2 23 
245 1 0 |a Graham Priest on Dialetheism and Paraconsistency  |h [electronic resource] /  |c edited by Can Başkent, Thomas Macaulay Ferguson. 
250 |a 1st ed. 2019. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2019. 
300 |a XI, 704 p. 337 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Outstanding Contributions to Logic,  |x 2211-2758 ;  |v 18 
505 0 |a Section I: Front Matter -- Chapter 1. Introduction Hitoshi Omori, Can Başkent, and Thomas Macaulay Ferguson -- Chapter 2. Scientific Autobiography Graham Priest -- Section II: Paradoxes, Consistency, and Dialetheism -- Chapter 3. Priest on Paradoxes of Truth and Sets Hartry Field -- Chapter 4. Denotation and Paradox Stephen Read -- Chapter 5. Why Are There Paradoxes?: Priest Inclosures, Lawvere Fixed Points, and the Inconsistency of the World Zach Weber -- Chapter 6. Comprehension, Fixed Points and Paradox Greg Restall -- Chapter 7. Inconsistency, Completeness, and Reflection Stewart Shapiro -- Chapter 8. Contradictory Information: Sometimes Better Than Nothing J. Michael Dunn -- Chapter 9. Into the Epistemological Suppositions of Dialetheism Diderik Batens -- Section III: Metaphysics, Ontology, and Noneism -- Chapter 10. On Unity and Oneness Aaron Cotnoir -- Chapter 11. Modal Meinongianism and the Logic of Intentionality Francesco Berto -- Chapter 12. On Non-Transitive « Identity » Heinrich Wansing -- Chapter 13. The Number of Logical Values Ross Brady -- Chapter 14. What Could Be a Falsity Maker for the Principle of Non-Contradiction ? Walter Carnielli and Abilio Rodrigues -- Chapter 15. Dialethic Modal Logic Patrick Girard -- Chapter 16. Propositional Surrogates and Quantifiers Marcelo Coniglio -- Section IV: Meaning, Language, and Logic -- Chapter 17. Consistency and Non-Triviality as Success-Words: Two Perspectives Patrick Allo -- Chapter 18. Assertion, Denial, and the Meaning of Connectives Francesco Paoli -- Chapter 19. Radical Foundations and Verbal Disputes Toby Meadows -- Chapter 20. Ambivalence and Contradiction Paul Egré -- Chapter 21. Hegel and Priest on Revising Logic Elena Ficara -- Chapter 22. Logic is Belief Revision Koji Tanaka -- Chapter 23. Priest on Negation Lloyd Humberstone -- Chapter 24. Deviating from Classical Logic Leon Horsten -- Chapter 25. Logics Need No Passport ! João Marcos -- Section V: Proof Theory, Model Theory, and Paraconsistency -- Chapter 26. On Core Logic Neil Tennant -- Chapter 27. Cut Elimination in Contraction Free Logics Maarten McKubre-Jordens and Erik Istre -- Chapter 28. Annotated Natural Deduction for Adaptive Reasoning Giuseppe Primiero -- Chapter 29. Plurivalence and Paraconsistency by Default Thomas Macaulay Ferguson -- Chapter 30. Implication in LP Barteld Kooi and Allard Tamminga -- Chapter 31. Game Semantics for LPs Can Başkent -- Chapter 32. Relevance and Dialetheism: Separating Truth and Consequences Edwin Mares -- Chapter 33. Relevant Entailment and Deductive Implication for Dialetheists Peter Verdée -- Section VI: Back Matter -- Chapter 34. Replies to Contributions Graham Priest -- Chapter 35. Bibliography of Graham Priest's Work in Logic. 
520 |a This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest's research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism-the thesis that there exist true but inconsistent sentences-and paraconsistency-an account of deduction in which contradictory premises do not entail the truth of arbitrary sentences. Priest's work has regularly challenged researchers to reappraise many assumptions about rationality, ontology, and truth. This book collects original research by some of the most esteemed scholars working in philosophical logic, whose contributions explore and appraise Priest's work on logical approaches to problems in philosophy, linguistics, computation, and mathematics. They provide fresh analyses, critiques, and applications of Priest's work and attest to its continued relevance and topicality. The book also includes Priest's responses to the contributors, providing a further layer to the development of these themes . 
650 0 |a Logic. 
650 0 |a Mathematical logic. 
650 1 4 |a Logic.  |0 http://scigraph.springernature.com/things/product-market-codes/E16000 
650 2 4 |a Mathematical Logic and Foundations.  |0 http://scigraph.springernature.com/things/product-market-codes/M24005 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
700 1 |a Başkent, Can.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Ferguson, Thomas Macaulay.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783030253646 
776 0 8 |i Printed edition:  |z 9783030253660 
776 0 8 |i Printed edition:  |z 9783030253677 
830 0 |a Outstanding Contributions to Logic,  |x 2211-2758 ;  |v 18 
856 4 0 |u https://doi.org/10.1007/978-3-030-25365-3  |z Full Text via HEAL-Link 
912 |a ZDB-2-REP 
950 |a Religion and Philosophy (Springer-41175)