Authors:
- Is the first book in the field to offer a comprehensive overview of the subject
- Offers insights into paraconsistent logic as a tool for reasoning under contradictoriness
- Covers topics ranging from the history of paraconsistent logic and applications to information processing, databases, and quantum computation
- Includes supplementary material: sn.pub/extras
Part of the book series: Logic, Epistemology, and the Unity of Science (LEUS, volume 40)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency
This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
Reviews
Authors and Affiliations
-
Dpt. of Phil. and CLE and His. of Sci., State University of Campinas –UNICA, Campinas, Brazil
Walter Carnielli
-
Dpt. of Phil. and CLE and His. of Sci., Univ Estadual Campinas Zeferino Vaz, Campinas, Brazil
Marcelo Esteban Coniglio
Bibliographic Information
Book Title: Paraconsistent Logic: Consistency, Contradiction and Negation
Authors: Walter Carnielli, Marcelo Esteban Coniglio
Series Title: Logic, Epistemology, and the Unity of Science
DOI: https://doi.org/10.1007/978-3-319-33205-5
Publisher: Springer Cham
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Hardcover ISBN: 978-3-319-33203-1Published: 21 June 2016
Softcover ISBN: 978-3-319-81453-7Published: 30 May 2018
eBook ISBN: 978-3-319-33205-5Published: 14 June 2016
Series ISSN: 2214-9775
Series E-ISSN: 2214-9783
Edition Number: 1
Number of Pages: XXIV, 398
Number of Illustrations: 2 b/w illustrations
Topics: Logic, Epistemology